4155 search results - page 436 / 831 » External Memory Algorithms |
165
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
176
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
198
click to vote
FIMI
2003
15 years 8 months ago
2003
We will discuss , the depth first implementation of APRIORI as devised in 1999 (see [8]). Given a database, this algorithm builds a trie in memory that contains all frequent item...
159
click to vote
NIPS
2000
15 years 8 months ago
2000
We present an expressive agent design language for reinforcement learning that allows the user to constrain the policies considered by the learning process.The language includes s...
167
click to vote
CAL
2008
15 years 7 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...