1403 search results - page 142 / 281 » Set cover algorithms for very large datasets |
149
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
143
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: We propose a multiple sequence alignment (MSA) algorithm and compare the alignment-quality and execution-time of the proposed algorithm with that of existing algorithm...
131
click to vote
COCOON
2010
Springer
15 years 9 months ago
2010
Springer
We study algorithms for clustering data that were recently proposed by Balcan, Blum and Gupta in SODA’09 [4] and that have already given rise to two follow-up papers. The input f...
172
click to vote
CVPR
2009
IEEE
16 years 12 months ago
2009
IEEE
In many image and video collections, we have access
only to partially labeled data. For example, personal photo
collections often contain several faces per image and a caption
t...
154
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We address the problem of segmenting 3D scan data into objects or object classes. Our segmentation framework is based on a subclass of Markov Random Fields (MRFs) which support ef...