955 search results - page 150 / 191 » Tractable Temporal Reasoning |
ICDE
2008
IEEE
15 years 6 months ago
2008
IEEE
—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...
ISCC
2007
IEEE
15 years 6 months ago
2007
IEEE
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...
100
click to vote
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
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...
102
click to vote
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
— 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...
FM
2003
Springer
15 years 5 months ago
2003
Springer
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...