2059 search results - page 93 / 412 » Interactive Sensor Planning |
CHI
2006
ACM
14 years 8 months ago
2006
ACM
We introduce a disaster simulation system that supports collaborative planning of disaster measures. While several simulation tools are available for examination and evaluation of...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
WIDM
1999
ACM
14 years 6 days ago
1999
ACM
Recent work on information integration has yielded novel and efficient solutions for gathering data from the World Wide Web. However, there has been little attention given to the ...
AAAI
2000
13 years 9 months ago
2000
Graphplan and heuristic state space planners such as HSP-R and UNPOP are currently two of the most effective approaches for solving classical planning problems. These approaches h...
DAGSTUHL
2010
13 years 9 months ago
2010
Computer support for intervention planning is a two-stage process: In a first stage, the relevant segmentation target structures are identified and delineated. In a second stage, ...