Sciweavers

581 search results - page 4 / 117
» Abstract Semantics by Observable Contexts
Sort
View
JAISE
2010
182views Algorithms» more  JAISE 2010»
13 years 2 months ago
Exploring semantics in activity recognition using context lattices
Studying human activities has significant implication in human beneficial applications such as personal healthcare. This research has been facilitated by the development of sensor ...
Juan Ye, Simon Dobson
SAMT
2009
Springer
116views Multimedia» more  SAMT 2009»
13 years 12 months ago
Incremental Context Creation and Its Effects on Semantic Query Precision
Abstract. We briefly describe the results of an experimental study on the incremental creation of context out of the results of targeted queries, and discuss the increase in retri...
Alexandra Dumitrescu, Simone Santini
LICS
2009
IEEE
14 years 2 months ago
Trace Semantics is Fully Abstract
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
Sumit Nain, Moshe Y. Vardi
CONTEXT
1999
Springer
13 years 11 months ago
The Context-Dependency of Temporal Reference in Event Semantics
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
Fabio Pianesi, Achille C. Varzi
FMCO
2004
Springer
14 years 23 days ago
Observability, Connectivity, and Replay in a Sequential Calculus of Classes
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
Erika Ábrahám, Marcello M. Bonsangue...