5592 search results - page 335 / 1119 » On Random Betweenness Constraints |
187
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
207
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
In the Stochastic Orienteering problem, we are given a metric, where each node also has a job located there with some deterministic reward and a random size. (Think of the jobs as...
147
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we show that several well-known nonlinear surface registration algorithms can be put in an ICP-like framework, and thus boil down to the successive estimation of po...
179
click to vote
EMMCVPR
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the concept of complementarity between data and smoothness term in modern variational optic flow methods. First we design a sophisticated data term that incorporates ...
177
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...