5216 search results - page 942 / 1044 » Planning as Model Checking |
155
click to vote
GIS
1995
ACM
15 years 7 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
151
click to vote
SIGMOD
1995
ACM
15 years 7 months ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...
117
Voted
SIGGRAPH
1991
ACM
15 years 6 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
124
click to vote
AAAI
2007
15 years 5 months ago
2007
Planning under uncertainty involves two distinct sources of uncertainty: uncertainty about the effects of actions and uncertainty about the current state of the world. The most wi...
114
click to vote
AIIDE
2008
15 years 5 months ago
2008
Petri Nets can be used for a retrospective analysis of a computer game story, for representing plots in serious games as well as for monitoring the course of the story, as recentl...