12265 search results - page 2182 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
170
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
The unsupervised nature of cluster analysis means that objects can be clustered in many different ways. This means that different clustering algorithms can lead to vastly different...
183
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
190
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
The performance of timing-driven placement methods depends strongly on the choice of the net model. In this paper a more precise net model is presented that does not increase nume...
166
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Data security is well-recognized a vital issue in an information system that is supported in an outsource environment. However, most of conventional XML encryption propos...
195
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...