6456 search results - page 160 / 1292 » Constraint Solving on Terms |
130
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
177
click to vote
AI
2004
Springer
15 years 11 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
179
click to vote
CVPR
1996
IEEE
16 years 8 months ago
1996
IEEE
A least-squares method simultaneously solves for the model-to-sensor-suite pose and sensor-to-sensor registration. The development is for a sensor-suite containing separate range ...
160
click to vote
ICRA
2005
IEEE
16 years 18 hour ago
2005
IEEE
- The two dominant forms of SLAM are based on Extended Kalman Filtering and Consistent Pose Estimation. We show that these are particular subsets of a more general view of the SLAM...
144
click to vote
AIIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The O-OSCAR software architecture is a problem solving environment for complex scheduling problem that is based on a constraintbased representation. On top of this core r...