2702 search results - page 74 / 541 » constraints 2008 |
139
Voted
PVLDB
2010
15 years 3 months ago
2010
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...
135
click to vote
CONSTRAINTS
1998
15 years 4 months ago
1998
Most current graph layout technology does not lend itself to interactive applications such as animation or advanced user interfaces. We introduce the constrained graph layout model...
157
Voted
CONSTRAINTS
2008
15 years 4 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
123
click to vote
TROB
2002
15 years 4 months ago
2002
Dynamic control of constrained mechanical systems, such as robotic manipulators under end-effector constraints, parallel manipulators, and multifingered robotic hands under closure...
139
Voted
TCS
2008
15 years 4 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...