Sciweavers

239 search results - page 25 / 48
» Using Event Semantics for Modeling Contracts
Sort
View
CLIMA
2010
14 years 11 months ago
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
Robert A. Kowalski, Fariba Sadri
71
Voted
PVLDB
2010
89views more  PVLDB 2010»
14 years 8 months ago
Recognizing Patterns in Streams with Imprecise Timestamps
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
Haopeng Zhang, Yanlei Diao, Neil Immerman
ENTCS
2006
135views more  ENTCS 2006»
14 years 9 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
64
Voted
ECWEB
2004
Springer
100views ECommerce» more  ECWEB 2004»
15 years 3 months ago
Use of Semantic Tools for a Digital Rights Dictionary
RDDOnto is an ontology that translates the MPEG-21 RDD (Rights Data Dictionary) specification into a hierarchical set of definitions with semantic content included. In the event th...
Jaime Delgado, Isabel Gallego, Roberto Garcí...
IJISTA
2006
113views more  IJISTA 2006»
14 years 9 months ago
Extraction of mid-level semantics from gesture videos using a Bayesian network
In this paper a method for extraction of mid-level semantics from sign language videos is proposed, by employing high level domain knowledge. The semantics concern labeling of the ...
Dimitrios I. Kosmopoulos, Ilias Maglogiannis