Sciweavers

2107 search results - page 171 / 422
» Computing Small Search Numbers in Linear Time
Sort
View
146
Voted
SODA
1998
ACM
157views Algorithms» more  SODA 1998»
15 years 5 months ago
A Polynomial Time Approximation Scheme for Minimum Routing Cost Spanning Trees
Given an undirected graph with nonnegative costs on the edges, the routing cost of any of its spanning trees is the sum over all pairs of vertices of the cost of the path between t...
Bang Ye Wu, Giuseppe Lancia, Vineet Bafna, Kun-Mao...
141
Voted
BMCBI
2006
141views more  BMCBI 2006»
15 years 3 months ago
Asymptotic behaviour and optimal word size for exact and approximate word matches between random sequences
Background: The number of k-words shared between two sequences is a simple and effcient alignment-free sequence comparison method. This statistic, D2, has been used for the cluste...
Sylvain Forêt, Miriam R. Kantorovitz, Conrad...
138
Voted
ECCV
2004
Springer
16 years 5 months ago
A Visual Category Filter for Google Images
We extend the constellation model to include heterogeneous parts which may represent either the appearance or the geometry of a region of the object. The parts and their spatial co...
Robert Fergus, Pietro Perona, Andrew Zisserman
116
Voted
FM
1994
Springer
113views Formal Methods» more  FM 1994»
15 years 7 months ago
Abstract Model Checking of Infinite Specifications
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
Daniel Jackson
176
Voted
CP
2003
Springer
15 years 9 months ago
A SAT-Based Approach to Multiple Sequence Alignment
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
Steven David Prestwich, Desmond G. Higgins, Orla O...