59 search results - page 10 / 12 » Parametric Representations of Boolean Constraints |
140
click to vote
CONSTRAINTS
2010
15 years 28 days 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...
115
Voted
DAC
1995
ACM
15 years 7 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...
142
Voted
AAAI
1990
15 years 4 months 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. ...
130
Voted
ICCV
2009
IEEE
16 years 8 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...
128
click to vote
ICRA
2009
IEEE
15 years 10 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...