955 search results - page 174 / 191 » Tractable Temporal Reasoning |
GIS
2009
ACM
14 years 10 days ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...
ECRTS
1999
IEEE
14 years 22 hour ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
COSIT
1997
Springer
13 years 12 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...