2845 search results - page 302 / 569 » Constraints over Ontologies |
83
Voted
MP
2007
15 years 8 days 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...
131
click to vote
CP
2010
Springer
14 years 11 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...
119
Voted
JAIR
2011
14 years 7 months 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 ...
102
click to vote
CVPR
2005
IEEE
16 years 2 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...
CVPR
2006
IEEE
16 years 2 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...