1546 search results - page 204 / 310 » Context-Aware Computing with Sound |
161
Voted
AIPS
2007
15 years 8 months ago
2007
High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive action sequences. Correct descriptions of the ef...
151
Voted
AIIDE
2008
15 years 8 months ago
2008
As the non-playable characters (NPCs) of squad-based shooter computer games share a common goal, they should work together in teams and display cooperative behaviours that are tac...
153
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
137
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
181
click to vote
DAGM
2008
Springer
15 years 7 months ago
2008
Springer
The design of inference algorithms for discrete-valued Markov Random Fields constitutes an ongoing research topic in computer vision. Large state-spaces, none-submodular energy-fun...