3678 search results - page 181 / 736 » On the Stable Paths Problem |
141
Voted
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
117
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
Existing high-level BIST synthesis methods focus on one objective, minimizing either area overhead or test time. Hence, those methods do not render exploration of large design spa...
136
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
129
Voted
ACTA
2002
15 years 3 months ago
2002
In the constraint database community, FO+poly and FO+linear have been proposed as foundations for spatial database query languages. One of the strengths of this approach is that t...
124
Voted
RAS
2002
15 years 3 months ago
2002
In this paper, we address the problem of generating trajectories of some image features in order to control efficiently a robotic system using an image-based control strategy. Firs...