955 search results - page 92 / 191 » Tractable Temporal Reasoning |
147
Voted
EXACT
2008
15 years 5 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
112
Voted
AIIDE
2006
15 years 4 months ago
2006
Flight simulators are becoming more sophisticated and realistic, and the requirements of those using them are becoming more demanding. Air traffic control simulation for such simu...
164
Voted
ATAL
2011
Springer
14 years 2 months ago
2011
Springer
Narrative time has an important role to play in Interactive Storytelling (IS) systems. In contrast to prevailing IS approaches which use implicit models of time, in our work we ha...
120
Voted
FLAIRS
2007
15 years 5 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
120
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...