Sciweavers

1242 search results - page 130 / 249
» The Theory of Grammar Constraints
Sort
View
CDC
2010
IEEE
100views Control Systems» more  CDC 2010»
14 years 8 months ago
On the internal dynamics of formations of unicycle robots
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
Luca Consolini, Fabio Morbidi, Domenico Prattichiz...
STTT
2010
92views more  STTT 2010»
14 years 7 months ago
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
Andreas Bauer 0002, Martin Leucker, Christian Scha...
CVPR
2005
IEEE
16 years 3 months ago
Visibility Constrained Surface Evolution
The problem of feature-based surface reconstruction is considered in this paper. Our main contribution is the ability to handle visibility constraints, obtained from the projectio...
Jan Erik Solem, Fredrik Kahl, Anders Heyden
213
Voted
ICDE
2007
IEEE
146views Database» more  ICDE 2007»
16 years 2 months ago
Conditional Functional Dependencies for Data Cleaning
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...
Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei ...
PADL
2010
Springer
15 years 9 months ago
Automating Mathematical Program Transformations
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
Ashish Agarwal, Sooraj Bhat, Alexander Gray, Ignac...