1968 search results - page 344 / 394 » The Complexity of Valued Constraint Models |
SIGSOFT
2000
ACM
14 years 25 days ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
HYBRID
1997
Springer
14 years 19 days ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
ISER
1997
Springer
14 years 19 days ago
1997
Springer
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
ICLP
2010
Springer
14 years 11 days ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
3DPVT
2004
IEEE
14 years 7 days ago
2004
IEEE
This paper describes methods for segmenting planar surfaces from noisy 3D data obtained from correlation stereo vision. We make use of local planar surface elements called patchle...