2989 search results - page 317 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
203
click to vote
CP
2010
Springer
15 years 5 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...
215
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
170
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We introduce a linearly weighted variant of the total
variation for vector fields in order to formulate regularizers
for multi-class labeling problems with non-trivial interclass...
180
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We propose an object detection method using particle filters. Our approach estimates the probability of object presence in the current image given the history of observations up t...
163
click to vote
TAMC
2009
Springer
16 years 1 months ago
2009
Springer
We provide polynomial time data reduction rules for Connected Dominating Set in planar graphs and analyze these to obtain a linear kernel for the planar Connected Dominating Set pr...