4192 search results - page 217 / 839 » Efficient testing of groups |
151
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
156
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...
133
Voted
PAA
2006
15 years 3 months ago
2006
Abstract In this paper, an efficient K-medians clustering (unsupervised) algorithm for prototype selection and Supervised K-medians (SKM) classification technique for protein seque...
119
Voted
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
We present a novel approach to the causal temporal analysis of event data from video content. Our key observation is that the sequence of visual words produced by a space-time dic...
121
Voted
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Hand jitters result in unintentional fluctuation of image sequences taken by hand-held video cameras. Stabilization of the foreground object of interest in pictures is essential f...