59 search results - page 10 / 12 » Parametric Representations of Boolean Constraints |
CONSTRAINTS
2010
13 years 8 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
DAC
1995
ACM
14 years 2 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
AAAI
1990
14 years 13 hour ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
Deformable model fitting has been actively pursued in the computer vision
community for over a decade. As a result, numerous approaches have
been proposed with varying degrees of...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper presents Tiji, a trajectory generation scheme, ie an algorithm that computes a feasible trajectory between a start and a goal state, for a given robotic system. Tiji...