2584 search results - page 190 / 517 » On the Forward Checking Algorithm |
103
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
136
click to vote
AIMS
2010
Springer
15 years 7 months ago
2010
Springer
We present a new paradigm for multicasting. Our paradigm combines two ideas: a simple distributed algorithm for automatically numbering network links with a small amount of numbers...
119
click to vote
DAGM
2008
Springer
15 years 4 months ago
2008
Springer
In this paper a novel and generic approach for model-based data clustering in a boosting framework is presented. This method uses the forward stagewise additive modeling to learn t...
106
Voted
CAL
2008
15 years 2 months ago
2008
We present a pipelined approach to hardware implementation of the Aho-Corasick (AC) algorithm for string matching called P-AC. By incorporating pipelined processing, the state grap...
108
click to vote
TCS
2010
15 years 19 days ago
2010
Abstract. Core computation in data exchange is concerned with materializing the minimal target database for a given source database. Gottlob and Nash have recently shown that the c...