Sciweavers

1491 search results - page 157 / 299
» Training Linear Discriminant Analysis in Linear Time
Sort
View
IBPRIA
2007
Springer
15 years 4 months ago
Unidimensional Multiscale Local Features for Object Detection Under Rotation and Mild Occlusions
Abstract. In this article, scale and orientation invariant object detection is performed by matching intensity level histograms. Unlike other global measurement methods, the presen...
Michael Villamizar, Alberto Sanfeliu, Juan Andrade...
ICPR
2010
IEEE
14 years 8 months ago
Learning Image Anchor Templates for Document Classification and Data Extraction
Image anchor templates are used in document image analysis for document classification, data localization, and other tasks. Current tools allow human operators to mark out small s...
Prateek Sarkar
ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
15 years 4 months ago
Parallel Model Checking and the FMICS-jETI Platform
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
Jiri Barnat, Lubos Brim, Martin Leucker
3DIM
1999
IEEE
15 years 2 months ago
On-Line Hand-Eye Calibration
In this paper, we address the problem of hand-eye calibration of a robot mounted video camera. In a rst time, we derive a new linear formulation of the problem. This allows an alg...
Nicolas Andreff, Radu Horaud, Bernard Espiau
ESOP
2010
Springer
15 years 4 months ago
Amortized Resource Analysis with Polynomial Potential
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
Jan Hoffmann 0002, Martin Hofmann