1179 search results - page 98 / 236 » Programming in Hybrid Constraint Languages |
145
click to vote
AMAST
2004
Springer
15 years 10 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...
128
click to vote
CP
2003
Springer
15 years 10 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 ...
152
click to vote
CVPR
2006
IEEE
16 years 7 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...
134
click to vote
DFT
2003
IEEE
15 years 10 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...
111
click to vote
CP
2005
Springer
15 years 10 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 ...