2109 search results - page 322 / 422 » Solving Necklace Constraint Problems |
147
click to vote
JAR
2000
15 years 4 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
129
click to vote
IJCV
2002
15 years 4 months ago
2002
We are interested in regularizing fields of orthonormal vector sets, using constraint-preserving anisotropic diffusion PDE's. Each point of such a field is defined by multiple...
143
click to vote
TVLSI
1998
15 years 4 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
143
click to vote
RAS
2007
15 years 4 months ago
2007
The purpose of this study is to investigate a variational formulation of the problem of three-dimensional (3D) interpretation of temporal image sequences based on the 3D brightnes...
118
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...