5216 search results - page 749 / 1044 » Planning as Model Checking |
178
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
The detection of people is one of the foremost problems for indexing, browsing and retrieval of video. The main difficulty is the large appearance variations caused by action, clot...
165
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...
185
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
— Recently, the acquisition of three-dimensional maps has become more and more popular. This is motivated by the fact that robots act in the three-dimensional world and several t...
185
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
To provide Quality of Service (QoS) guarantee in distributed services, it is necessary to reserve multiple computing and communication resources for each service session. Meanwhile...
173
click to vote
IUI
1999
ACM
15 years 11 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...