4524 search results - page 622 / 905 » The Complexity of Global Constraints |
204
Voted
ISMVL
2000
IEEE
15 years 12 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
194
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In constraint networks, the efficiency of a search algorithm is strongly related to the local consistency maintained during search. For a long time, it has been consider...
214
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe a framework for time-critical rendering of graphics scenes composed of a large number of objects having complex geometric descriptions. Our technique relies upon a sce...
195
click to vote
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
A head tracking system for automatically detecting and tracking human heads in complex backgrounds is developed. In this paper, two issues are addressed: the detection ofhumanhead...
224
Voted
VLSID
1997
IEEE
15 years 11 months ago
1997
IEEE
The problem of test generation belongs to the class of NP-complete problems and it is becoming more and more di cult as the complexity of VLSI circuits increases, and as long as e...