2845 search results - page 302 / 569 » Constraints over Ontologies |
136
click to vote
MP
2007
15 years 5 months ago
2007
Given a primal-dual pair of linear programs, it is well known that if their optimal values are viewed as lying on the extended real line, then the duality gap is zero, unless both...
190
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conflict driven clause learning. W...
192
click to vote
JAIR
2011
15 years 21 days ago
2011
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build ...
157
Voted
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
We present a class of statistical models for part-based object recognition that are explicitly parameterized according to the degree of spatial structure they can represent. These...
145
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We propose a craniofacial growth model that characterizes growth related shape variations observed in human faces during formative years. The model draws inspiration from the `rev...