Sciweavers

1760 search results - page 286 / 352
» Connected Set Cover Problem and Its Applications
Sort
View
IANDC
2010
84views more  IANDC 2010»
13 years 6 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman
ICDE
2005
IEEE
139views Database» more  ICDE 2005»
14 years 9 months ago
Compressing Bitmap Indices by Data Reorganization
Many scientific applications generate massive volumes of data through observations or computer simulations, bringing up the need for effective indexing methods for efficient stora...
Ali Pinar, Tao Tao, Hakan Ferhatosmanoglu
ICCV
2009
IEEE
15 years 23 days ago
Weakly supervised discriminative localization and classification: a joint learning process
Visual categorization problems, such as object classification or action recognition, are increasingly often approached using a detection strategy: a classifier function is first ...
Minh Hoai Nguyen, Lorenzo Torresani, Fernando de l...
ECCV
2006
Springer
14 years 9 months ago
A Learning Based Approach for 3D Segmentation and Colon Detagging
Abstract. Foreground and background segmentation is a typical problem in computer vision and medical imaging. In this paper, we propose a new learning based approach for 3D segment...
Zhuowen Tu, Xiang Zhou, Dorin Comaniciu, Luca Bogo...
ICIP
2009
IEEE
14 years 8 months ago
Bim: Image Matching Using Biological Gene Sequence Alignment
Matching two images with similar contents is one of the most fundamental tasks in image processing. Due to its importance, in recent years, many novel techniques have been propose...