3965 search results - page 272 / 793 » Effectivity of Regular Spaces |
182
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
165
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
A counting Bloom filter (CBF) generalizes a Bloom filter data structure so as to allow membership queries on a set that can be changing dynamically via insertions and deletions. As...
187
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
202
click to vote
RIVF
2007
15 years 8 months ago
2007
— Results of queries by personal names often contain documents related to several people because of the namesake problem. In order to differentiate documents related to different...
169
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a new algorithm that reduces the space complexity of heuristic search. It is most effective for problem spaces that grow polynomially with problem size, but contain lar...