5216 search results - page 362 / 1044 » Planning as Model Checking |
147
Voted
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
150
click to vote
WSC
2008
15 years 7 months ago
2008
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
143
click to vote
AIPS
2000
15 years 6 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
152
Voted
ADS
2004
Springer
15 years 10 months ago
2004
Springer
In affective dialog simulation, recognition and interpretation of the affective state of the user should be integrated with display of empathy by the system and with dialog plannin...
132
click to vote
BDA
2004
15 years 6 months ago
2004
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...