12265 search results - page 184 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
114
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
146
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
135
Voted
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
—Statistical analysis is widely used for countless scientific applications in order to analyze and infer meaning from data. A key challenge of any statistical analysis package a...
145
click to vote
TALG
2010
15 years 2 months ago
2010
We describe an automata-theoretic approach for the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in...
131
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we describe a synthetic database composed of 273,452 handwritten touching digits pairs to assess segmentation algorithms. It contains several different kinds of touc...