Sciweavers

1162 search results - page 95 / 233
» Monotonic Semantic Interpretation
Sort
View
ATAL
2005
Springer
15 years 4 months ago
Law-governed Linda as a semantics for agent dialogue protocols
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
Sylvie Doutre, Peter McBurney, Michael Wooldridge
EUROCAST
2005
Springer
102views Hardware» more  EUROCAST 2005»
15 years 4 months ago
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance
Similarity queries in traditional databases work directly on attribute values. But, often similar attribute values do not indicate similar meanings. Semantic background information...
Josef Küng, Roland Wagner
CONCUR
2004
Springer
15 years 4 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 3 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
BMVC
2001
15 years 1 months ago
Learning Pixel-Wise Signal Energy for Understanding Semantics
Visual interpretation of events requires both an appropriate representation of change occurring in the scene and the application of semantics for differentiating between different...
Jeffrey Ng, Shaogang Gong