1738 search results - page 141 / 348 » Local Consistency and SAT-Solvers |
ECCV
2006
Springer
15 years 6 days ago
2006
Springer
Abstract. Figure/ground assignment is a key step in perceptual organization which assigns contours to one of the two abutting regions, providing information about occlusion and all...
ICDE
2004
IEEE
14 years 11 months ago
2004
IEEE
XML and other types of semi-structured data are typically represented by a labeled directed graph. To speed up path expression queries over the graph, a variety of structural inde...
MFCS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
ICDCS
2010
IEEE
14 years 2 months ago
2010
IEEE
—Aspnes et al [2] introduced an innovative game for modeling the containment of the spread of viruses and worms (security breaches) in a network. In this model, nodes choose to i...
JMLR
2008
13 years 10 months ago
2008
The computational complexities arising in motor control can be ameliorated through the use of a library of motor synergies. We present a new model, referred to as the Greedy Addit...