3808 search results - page 429 / 762 » Artificial Intelligence: A Modern Approach |
178
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Simple Temporal Networks (STNs) are frequently used in scheduling applications, as they provide a powerful and general tool for managing temporal constraints. One obstacle to thei...
200
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Current studies have demonstrated that the representational power of predictive state representations (PSRs) is at least equal to the one of partially observable Markov decision p...
333
click to vote
ABIALS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Prediction and Planning are essential elements of successful human driving, making them equally important for autonomously driving systems. Many approaches achieve planni...
175
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Graph-based representations have been used with considercess in computer vision in the abstraction and recognition of object shape and scene structure. Despite this, the ...
191
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...