Sciweavers

1381 search results - page 96 / 277
» Structural signatures for tree data structures
Sort
View
ICIP
1997
IEEE
16 years 5 months ago
Using the Fourier Slice Theorem for Representation of Object Views and Models with application to Face Recognition
A novel method unifying viewer and model centered approaches for representing structurally complex 3-D objects like human faces is presented. The uni ed 3D frequency-domain repres...
Dibyendu Nandy, Jezekiel Ben-Arie
ENTCS
2008
121views more  ENTCS 2008»
15 years 3 months ago
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
David Pichardie
ACTA
2010
191views more  ACTA 2010»
15 years 4 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
TFS
2011
194views Education» more  TFS 2011»
14 years 10 months ago
Top-Down Induction of Fuzzy Pattern Trees
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
R. Senge, Eyke Hüllermeier
122
Voted
SAMT
2007
Springer
123views Multimedia» more  SAMT 2007»
15 years 10 months ago
Region-based Annotation Tool using Partition Trees
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
Xavier Giro, Neus Camps, Ferran Marqués