209 search results - page 18 / 42 » Inductive Reasoning and Programming Visualization, an Experi... |
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Visual tracking, in essence, deals with non-stationary data streams that change over time. While most existing algorithms are able to track objects well in controlled environments,...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. In particular, the so-calle...
BMVC
2010
13 years 5 months ago
2010
Simultaneous localization and mapping (SLAM) is a basic prerequisite in autonomous mobile robotics. Most existing visual SLAM approaches either assume a static environment, or sim...
CASES
2006
ACM
14 years 1 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...