Sciweavers

2609 search results - page 24 / 522
» Models for Global Constraint Applications
Sort
View
IROS
2007
IEEE
136views Robotics» more  IROS 2007»
15 years 11 months ago
Task-induced symmetry and reduction in kinematic systems with application to needle steering
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
Vinutha Kallem, Dong Eui Chang, Noah J. Cowan
ATAL
2011
Springer
14 years 5 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
ECRTS
2000
IEEE
15 years 9 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
IJSM
2007
85views more  IJSM 2007»
15 years 5 months ago
Constraint Modeling for Curves and Surfaces in CAGD: a Survey
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
Vincent Cheutet, Marc Daniel, Stefanie Hahmann, Ra...
ICDAR
2009
IEEE
16 years 4 days ago
Locally Developable Constraint for Document Surface Reconstruction
This article presents a global optimization approach to reconstruct surfaces from a single document image. Instead of assuming globally developable in previous works which restric...
Yuanlong Shao, Xinguo Liu, Xueying Qin, Yi Xu, Huj...