Results 51 to 60 of about 191,947 (115)

The Polysemy in Georges Perec’s Crossword: Culioli’s Modelling Approach

Digital Presentation and Preservation of Cultural and Scientific Heritage
This article presents a discussion on polysemy in a crossword by Perec. We apply Culioli’s modelling approach in terms of operation of location and construction of a notion and its notional domain.
Yasena Chantova
doaj   +1 more source

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

, 2010
This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models.
A. Al-Nayeem, A. Boronat, C. Brooks, C. P. Cheng, E. A. Lee, E. A. Lee, H. Ding, J. E. Rivera, J. Eker, J. Meseguer, K. Bae, K. Bae, Kyungmin Bae, M. AlTurki, M. AlTurki, M. Clavel, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky, S. Edwards, SAE AADL Team, Sz. Gyapay, T. Denton   +25 more
core   +2 more sources

Improving next location prediction with inferred activity semantics in mobile phone data

International Journal of Digital Earth
Accurately predicting the next location of mobile phone users is essential for various applications such as personalized location-based services and mobile marketing. While previous models have relied primarily on spatiotemporal sequences (e.g.
Shen Liang, Qiuping Li, Li Zhuo, Dan Zou, Yang Xu, Suhong Zhou   +5 more
doaj   +1 more source

Liveness-Based Garbage Collection for Lazy Languages

, 2016
We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data.
Appel A. W., Asati R., Karkare A., Mohri M., Peyton Jones S. L., Shaham R., Wadler P.   +6 more
core   +1 more source

Beam Damage Detection and Characterization Using Rotation Response from a Moving Load and Damage Candidate Grid Search (DCGS)

Applied Sciences
Structural health monitoring (SHM) increasingly contributes to the safety and durability of key infrastructure, especially bridges. This research introduces a rotation-based approach for damage detection and quantification using a damage candidate grid ...
Muath Y. Alhumaidi, Brett A. Story
doaj   +1 more source

An Operational Petri Net Semantics for the Join-Calculus

, 2012
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Mennicke, Stephan
core   +2 more sources

Towards Universal Semantic Tagging [PDF]

, 2017
The paper proposes the task of universal semantic tagging---tagging word tokens with language-neutral, semantically informative tags. We argue that the task, with its independent nature, contributes to better semantic analysis for wide-coverage ...
Abzianidze, Lasha, Bos, Johan
core   +1 more source

Success semantics: the sequel [PDF]

, 2013
The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief.
Nanay, Bence
core  

Inferring Room Semantics Using Acoustic Monitoring

, 2017
Having knowledge of the environmental context of the user i.e. the knowledge of the users' indoor location and the semantics of their environment, can facilitate the development of many of location-aware applications.
Harras, Khaled A., Raj, Bhiksha, Shah, Muhammad A.   +2 more
core   +1 more source

Predicting the Next Location of Urban Individuals via a Representation-Enhanced Multi-View Learning Network

ISPRS International Journal of Geo-Information
Accurately predicting the next location of urban individuals is a central issue in human mobility research. Human mobility exhibits diverse patterns, requiring the integration of spatiotemporal contexts for location prediction.
Maoqi Lun, Peixiao Wang, Sheng Wu, Hengcai Zhang, Shifen Cheng, Feng Lu   +5 more
doaj   +1 more source