8671 search results - page 300 / 1735 » A generator for hierarchical problems |
143
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we address the problem of energyoptimal gait generation for biped robots. Using a simpli ed robot dynamics that ignores the e ects of centripetal forces, we obtain u...
172
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This article addresses the problem of real-time visual tracking in presence of complex motion blur. Previous authors have observed that efficient tracking can be obtained by match...
210
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Usually, performance of classifiers is evaluated on real-world problems that mainly belong to public repositories. However, we ignore the inherent properties of these data and how...
132
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
182
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Creating exercises for learners requires significant time. This is one reason, beside difficulties of discussing individualized tasks in a classroom setting, why often ...