12265 search results - page 2053 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
211
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
While we expect to discover knowledge in the texts available on the Web, such discovery usually requires many complex analysis steps, most of which require different text handling...
289
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
369
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...
323
click to vote
CP
2009
Springer
16 years 8 months ago
2009
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
211
click to vote
RECOMB
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. Despite the desirable information contained in complex pedigree datasets, analysis methods struggle to efficiently process these datasets. The attractiveness of pedigree ...