1179 search results - page 98 / 236 » Programming in Hybrid Constraint Languages |
107
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
CP
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
108
click to vote
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a 3-level hierarchical model for localizing human bodies in still images from arbitrary viewpoints. We first fit a simple tree-structured model defined on a small landm...
DFT
2003
IEEE
15 years 6 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The stable marriage problem (SM) and the Hospital / Residents problem (HR) are both stable matching problems. They consist of two sets of objects that need to be matched ...