1021 search results - page 164 / 205 » Concepts in Proof Planning |
UIST
2003
ACM
15 years 5 months ago
2003
ACM
Classroom BRIDGE supports activity awareness by facilitating planning and goal revision in collaborative, project-based middle school science. It integrates largescreen and deskto...
110
click to vote
CP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...
105
click to vote
MICCAI
2001
Springer
15 years 4 months ago
2001
Springer
We introduce a new paradigm for automatic medical image analysis that adopts concepts from the field of Artificial Life. Our approach prescribes deformable organisms, autonomous ag...
ISORC
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
DARS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The connectivity of the con guration space has been a valuable concept in the motion planning for single robots in both known and unknown terrains. We show here that n-co...