9067 search results - page 1697 / 1814 » Adaptive Model Checking |
178
click to vote
JMM2
2007
15 years 6 months ago
2007
— The Bath University Matching Pursuit (BUMP) project aims at developing new matching pursuit (MP) algorithms for still image and video compression. Compared to traditional MP co...
155
click to vote
AIEDU
2004
15 years 6 months ago
2004
We propose and evaluate a decision-theoretic approach for selecting tutorial actions by looking ahead to anticipate their effects on the student and other aspects of the tutorial s...
143
click to vote
TVCG
2008
15 years 6 months ago
2008
Grid-based methods have difficulty resolving features on or below the scale of the underlying grid. Although adaptive methods (e.g., RLE, octrees) can alleviate this to some degree...
156
click to vote
ASC
2004
15 years 6 months ago
2004
In this paper, we describe development of a mobile robot which does unsupervised learning for recognizing an environment from action sequences. We call this novel recognition appr...
173
click to vote
AROBOTS
2002
15 years 6 months ago
2002
We present an approach to path planning for humanoid robots that computes dynamically-stable, collision-free trajectories from full-body posture goals. Given a geometric model of t...