3228 search results - page 364 / 646 » Computationally Sound Proofs |
137
click to vote
AIPS
2007
15 years 6 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...
133
click to vote
AIIDE
2008
15 years 6 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...
117
click to vote
APLAS
2005
ACM
15 years 6 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...
151
click to vote
DAGM
2008
Springer
15 years 5 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...
101
click to vote
GRAPHICSINTERFACE
2007
15 years 5 months ago
2007
Isochords is a visualization of music that aids in the classification of musical structure. The Isochords visualization highlights the consonant intervals between notes and commo...