Sciweavers

955 search results - page 150 / 191
» Tractable Temporal Reasoning
Sort
View
ICDE
2008
IEEE
164views Database» more  ICDE 2008»
15 years 6 months ago
Modelling traceability in the forestry wood supply chain
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...
Antti Sirkka
ISCC
2007
IEEE
104views Communications» more  ISCC 2007»
15 years 6 months ago
Chronicle Recognition for Mobility Management Triggers
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
Christophe Dousson, Kostas Pentikousis, Tiia Sutin...
SEMCO
2007
IEEE
15 years 6 months ago
Semantic annotation and retrieval of video events using multimedia ontologies
Effective usage of multimedia digital libraries has to deal with the problem of building efficient content annotation and retrieval tools. In this paper Multimedia Ontologies, th...
Andrew D. Bagdanov, Marco Bertini, Alberto Del Bim...
LICS
2006
IEEE
15 years 5 months ago
Two-Variable Logic on Words with Data
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentic...
FM
2003
Springer
98views Formal Methods» more  FM 2003»
15 years 5 months ago
Generating Counterexamples for Multi-valued Model-Checking
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
Arie Gurfinkel, Marsha Chechik