Sciweavers

2609 search results - page 24 / 522
» Models for Global Constraint Applications
Sort
View
77
Voted
IROS
2007
IEEE
136views Robotics» more  IROS 2007»
15 years 3 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
105
Voted
ATAL
2011
Springer
13 years 9 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...
80
Voted
ECRTS
2000
IEEE
15 years 1 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...
69
Voted
IJSM
2007
85views more  IJSM 2007»
14 years 9 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
15 years 4 months 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...