Sciweavers

105 search results - page 6 / 21
» First order properties on nowhere dense structures
Sort
View
83
Voted
BSL
2000
153views more  BSL 2000»
14 years 11 months ago
Combinatorics with definable sets: Euler characteristics and Grothendieck rings
We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially or...
Jan Krajícek, Thomas Scanlon
77
Voted
JUCS
2002
84views more  JUCS 2002»
14 years 11 months ago
The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
Florence Le Ber, Amedeo Napoli
103
Voted
CP
2008
Springer
15 years 1 months ago
Model Restarts for Structural Symmetry Breaking
ctural abstractions that were introduced in [17]. Compared with other symmetry-breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodate dynami...
Daniel S. Heller, Aurojit Panda, Meinolf Sellmann,...
3DPVT
2004
IEEE
119views Visualization» more  3DPVT 2004»
15 years 3 months ago
The Influence of Shape on Image Correspondence
We examine the implications of shape on the process of finding dense correspondence and half-occlusions for a stereo pair of images. The desired property of the depth map is that ...
Abhijit S. Ogale, Yiannis Aloimonos
DAS
2006
Springer
15 years 1 months ago
XCDF: A Canonical and Structured Document Format
Accessing the structured content of PDF document is a difficult task, requiring pre-processing and reverse engineering techniques. In this paper, we first present different methods...
Jean-Luc Bloechle, Maurizio Rigamonti, Karim Hadja...