1614 search results - page 143 / 323 » Planning as Temporal Reasoning |
193
click to vote
EXACT
2008
15 years 8 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...
165
click to vote
AIIDE
2006
15 years 8 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...
191
click to vote
CP
2005
Springer
16 years 21 hour ago
2005
Springer
Many problems used in AI planning including Blocks, Logistics, Gripper, Satellite, and others lack the interactions that characterize puzzles and can be solved nonoptimally in low...
208
click to vote
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a proximity query algorithm for the exact minimum distance computation between arbitrarily shaped objects. Special characteristics of the Gilbert-Johnson-Keer...
180
click to vote
IWPSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Predicting the defects in the next release of a large software system is a very valuable asset for the project manger to plan her resources. In this paper we argue that temporal f...