Sciweavers

1029 search results - page 5 / 206
» Compact representations of ordered sets
Sort
View
BSL
2005
106views more  BSL 2005»
13 years 7 months ago
Compactness and independence in non first order frameworks
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
Itay Ben-Yaacov
ANOR
2008
89views more  ANOR 2008»
13 years 7 months ago
Ordered sets with interval representation and ( m , n )-Ferrers relation
: Semiorders may form the simplest class of ordered sets with a not necessarily transitive indifference relation. Their generalization has given birth to many other classes of orde...
Meltem Öztürk
WACV
2012
IEEE
12 years 3 months ago
CompactKdt: Compact signatures for accurate large scale object recognition
We present a novel algorithm, Compact Kd-Trees (CompactKdt), that achieves state-of-the-art performance in searching large scale object image collections. The algorithm uses an or...
Mohamed Aly, Mario E. Munich, Pietro Perona
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 7 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
ICPR
2008
IEEE
14 years 8 months ago
Beyond SVD: Sparse projections onto exemplar orthonormal bases for compact image representation
We present a new method for compact representation of large image datasets. Our method is based on treating small patches from an image as matrices as opposed to the conventional ...
Ajit Rajwade, Anand Rangarajan, Arunava Banerjee, ...