Sciweavers

1861 search results - page 21 / 373
» Pattern Databases
Sort
View
108
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 9 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
ACNS
2006
Springer
86views Cryptology» more  ACNS 2006»
15 years 7 months ago
Efficient Memory Bound Puzzles Using Pattern Databases
CPU bound client puzzles have been suggested as a defense mechanism against connection depletion attacks. However, the wide disparity in CPU speeds prevents such puzzles from being...
Sujata Doshi, Fabian Monrose, Aviel D. Rubin
83
Voted
AIPS
2010
15 years 6 months ago
Pattern Database Heuristics for Fully Observable Nondeterministic Planning
Robert Mattmüller, Manuela Ortlieb, Malte Hel...