Sciweavers

1029 search results - page 95 / 206
» Compact representations of ordered sets
Sort
View
ECAI
2004
Springer
15 years 8 months ago
A Semantics for Abstraction
ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is mode...
Chiara Ghidini, Fausto Giunchiglia
128
Voted
JSAT
2008
89views more  JSAT 2008»
15 years 2 months ago
Towards a Classification of Hamiltonian Cycles in the 6-Cube
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representati...
Yury Chebiryak, Daniel Kroening
156
Voted
PAMI
2010
274views more  PAMI 2010»
14 years 9 months ago
3D Face Recognition Using Isogeodesic Stripes
In this paper, we present a novel approach to 3D face matching that shows high effectiveness in distinguishing facial differences between distinct individuals from differences indu...
Stefano Berretti, Alberto Del Bimbo, Pietro Pala
127
Voted
DLOG
2007
15 years 4 months ago
Action Based ABox Update: an Example from the Chemical Compound Formulation
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
Alessandro Mosca, Matteo Palmonari
CVPR
2004
IEEE
16 years 4 months ago
Reconstructing Open Surfaces from Unorganized Data Points
In this paper a method for fitting open surfaces to an unorganized set of data points is presented using a level set representation of the surface. This is done by tracking a curv...
Jan Erik Solem, Anders Heyden