Sciweavers

5393 search results - page 102 / 1079
» Spatial Computing with Labels
Sort
View
CVPR
2012
IEEE
11 years 11 months ago
Leveraging category-level labels for instance-level image retrieval
In this article, we focus on the problem of large-scale instance-level image retrieval. For efficiency reasons, it is common to represent an image by a fixed-length descriptor w...
Albert Gordo, José A. Rodríguez-Serr...
CAV
1993
Springer
127views Hardware» more  CAV 1993»
14 years 1 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
STACS
2007
Springer
14 years 3 months ago
Compact Forbidden-Set Routing
We study the following problem. Given a weighted planar graph G, assign labels L(v) to vertices so that given L(u), L(v) and L(x) for x ∈ X for any X ⊂ V (G), compute the dist...
Bruno Courcelle, Andrew Twigg
CVPR
2008
IEEE
14 years 11 months ago
From appearance to context-based recognition: Dense labeling in small images
Traditionally, object recognition is performed based solely on the appearance of the object. However, relevant information also exists in the scene surrounding the object. As supp...
Devi Parikh, C. Lawrence Zitnick, Tsuhan Chen
ECCV
2008
Springer
14 years 10 months ago
Saliency Based Opportunistic Search for Object Part Extraction and Labeling
We study the task of object part extraction and labeling, which seeks to understand objects beyond simply identifiying their bounding boxes. We start from bottom-up segmentation of...
Yang Wu, Qihui Zhu, Jianbo Shi, Nanning Zheng