Sciweavers

3747 search results - page 459 / 750
» Generalized Quotient Image
Sort
View
ICALP
2000
Springer
15 years 9 months ago
Decidable First-Order Transition Logics for PA-Processes
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
Denis Lugiez, Ph. Schnoebelen
DAGSTUHL
2007
15 years 7 months ago
Relevance Matrices in LVQ
Abstract. We propose a new matrix learning scheme to extend Generalized Relevance Learning Vector Quantization (GRLVQ). By introducing a full matrix of relevance factors in the dis...
Petra Schneider
DICTA
2003
15 years 7 months ago
FNS, CFNS and HEIV: Extending Three Vision Parameter Estimation Methods
Estimation of parameters from image tokens is a central problem in computer vision. FNS, CFNS and HEIV are three recently developed methods for solving special but important cases ...
Wojciech Chojnacki, Michael J. Brooks, Anton van d...
BMVC
2000
15 years 7 months ago
Invariant Characterization of the Hough Transform for Pose Estimation of Arbitrary Shapes
We develop a new formulation for including invariance in a general form of the Hough transform. We first develop a formal definition of the Hough transform mapping for arbitrary s...
Alberto S. Aguado, Eugenia Montiel, Mark S. Nixon
MM
2010
ACM
238views Multimedia» more  MM 2010»
15 years 6 months ago
Vlfeat: an open and portable library of computer vision algorithms
VLFeat is an open and portable library of computer vision algorithms. It aims at facilitating fast prototyping and reproducible research for computer vision scientists and student...
Andrea Vedaldi, Brian Fulkerson