1939 search results - page 78 / 388 » Dynamic Lex Constraints |
149
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
112
click to vote
ICONS
2008
IEEE
15 years 9 months ago
2008
IEEE
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
150
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
The objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to find an instantiation which minimizes the number of constraint violations in a constraint network. In t...
97
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— A hybrid controller that induces stable running gaits on a monopedal robot is developed. The robot features a rigid leg with a revolute knee and a heavy torso with center of ma...
123
click to vote
ICARCV
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper describes the dynamic modeling of linear object deformation considering geometrical constraints and contact with obstacles. Deformable linear objects such as cables ...