Sciweavers

2609 search results - page 171 / 522
» Models for Global Constraint Applications
Sort
View
IJCSA
2007
84views more  IJCSA 2007»
15 years 6 months ago
Real Time Model Checking Using Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
Wiktor B. Daszczuk
GIS
2007
ACM
16 years 7 months ago
Exploiting automatically inferred constraint-models for building identification in satellite imagery
The building identification (BID) problem is based on a process that uses publicly available information to automatically assign addresses to buildings in satellite imagery. In pr...
Martin Michalowski, Craig A. Knoblock, Kenneth M. ...
ECCV
1992
Springer
16 years 8 months ago
Hierarchical Model-Based Motion Estimation
This paper describesa hierarchicalestimation framework for the computation of diverserepresentationsof motion information. The key features of the resulting framework (or family of...
James R. Bergen, P. Anandan, Keith J. Hanna, Rajes...
CA
2000
IEEE
15 years 11 months ago
Accurate Collision Response on Polygonal Meshes
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
Pascal Volino, Nadia Magnenat-Thalmann
TROB
2002
106views more  TROB 2002»
15 years 6 months ago
A dual neural network for bi-criteria kinematic control of redundant manipulators
A dual neural network is presented for the bi-criteria kinematic control of redundant manipulators. To diminish the discontinuity of minimum infinity-norm solutions, the kinematicc...
Yunong Zhang, Jun Wang, Yangsheng Xu