5216 search results - page 501 / 1044 » Planning as Model Checking |
154
click to vote
SARA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
172
click to vote
ICRA
2006
IEEE
16 years 27 days ago
2006
IEEE
— A legged robot walking on uneven terrain can avoid falling only by applying contact forces with its feet on the ground that compensate for gravity without causing slip. To plan...
221
Voted
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
202
click to vote
LREC
2010
15 years 8 months ago
2010
Herein, we present the process of developing the first Hungarian Dependency TreeBank. First, short references are made to dependency grammars we considered important in the develo...
199
Voted
IJCV
2002
15 years 6 months ago
2002
Abstract-- This paper presents an efficient implementation for correlation based stereo. Research in this area can roughly be divided in two classes: improving accuracy regardless ...