4117 search results - page 104 / 824 » On the Satisfiability of Complex Constraints |
176
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
— Quasistatic multi-legged locomotion consists of a sequence of equilibrium postures where the mechanism supports itself against gravity while moving free limbs to new positions....
186
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
170
click to vote
CA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents an interactive hierarchical motion control system dedicated to the animation of human figure locomotion in virtual environments. As observed in gait experiment...
175
click to vote
VLDB
1999
ACM
15 years 10 months ago
1999
ACM
On-Line Analytical Processing (OLAP) based on a dimensional view of data is being used increasingly for the purpose of analyzing very large amounts of data. To improve query perfo...
178
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...