4117 search results - page 158 / 824 » On the Satisfiability of Complex Constraints |
147
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
We present an algorithm for solving a general min-cut, twoway partitioning problem subject to timing constraints. The problem is formulated as a constrained programming problem an...
154
click to vote
ORL
2002
15 years 6 months ago
2002
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...
164
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We present an algorithm for collision-free navigation of multiple flying robots in three-dimensional workspace. Our approach extends the model of a simple car to a sim...
153
click to vote
PVLDB
2010
15 years 4 months ago
2010
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
188
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a methodology based on a variation of the Quintic Pythagorean Hodographs curves for generating smooth feasible paths for autonomous vehicles in three-dimensiona...