Sciweavers

5592 search results - page 468 / 1119
» On Random Betweenness Constraints
Sort
View
CVPR
2003
IEEE
16 years 8 months ago
Visual Landmarks Detection and Recognition for Mobile Robot Navigation
This article describes visual functions dedicated to the extraction and recognition of planar quadrangles detected from a single camera. Extraction is based on a relaxation scheme...
Frédéric Lerasle, Jean-Bernard Hayet...
CVPR
2005
IEEE
16 years 8 months ago
Mercer Kernels for Object Recognition with Local Features
A new class of kernels for object recognition based on local image feature representations are introduced in this paper. These kernels satisfy the Mercer condition and incorporate...
Siwei Lyu
185
Voted
ICIP
1998
IEEE
16 years 8 months ago
A Fast and Robust Point Tracking Algorithm
We present an algorithm that efficiently tracks a predefined set of landmark points in a time sequence of images. The algorithm iteratively optimizes the correspondences between t...
Cor J. Veenman, Emile A. Hendriks, Marcel J. T. Re...
ICCD
2003
IEEE
98views Hardware» more  ICCD 2003»
16 years 3 months ago
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
ISMVL
2009
IEEE
78views Hardware» more  ISMVL 2009»
16 years 1 months ago
Frozen Boolean Partial Co-clones
We introduce and investigate the concept of frozen partial co-clones. Our main motivation for studying frozen partial co-clones is that they have important applications in complex...
Gustav Nordh, Bruno Zanuttini