105 search results - page 8 / 21 » First order properties on nowhere dense structures |
176
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
Although propositional satisfiability (SAT) is NP-complete, state-of-the-art SAT solvers are able to solve large, practical instances. The concept of backdoors has been introduced...
167
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
145
click to vote
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
197
click to vote
PKDD
2010
Springer
15 years 3 months ago
2010
Springer
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...
137
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a novel nonrigid 2D image registration method that establishes dense and accurate correspondences across images without the need of any manual intervention. Our key in...