8917 search results - page 429 / 1784 » Abstraction in Algorithm Animation |
186
click to vote
ITP
2010
15 years 5 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
185
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
168
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. This paper introduces a novel groupwise data-driven algorithm for non-rigid registration. The motivation behind the algorithm is to enable the analysis of groups of regis...
194
click to vote
ACAL
2009
Springer
16 years 1 months ago
2009
Springer
The Information Fusion Panel within The Technical Cooperation Program (TTCP) is developing algorithms to perform machine-based situation assessment to assist human operators in co...
284
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...