3040 search results - page 170 / 608 » Independent Natural Extension |
AUSAI
2009
Springer
14 years 5 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
CSL
2009
Springer
14 years 5 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
DAGM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The (Extended) Kalman filter has been established as a standard method for object tracking. While a constraining motion model stabilizes the tracking results given noisy...
EMO
2009
Springer
14 years 5 months ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
VRCAI
2009
ACM
14 years 5 months ago
2009
ACM
Terrain maps, commonly used for updating elevation values of a moving object (i.e., a traveler), may be conveniently used for detecting and preventing collisions between the trave...