980 search results - page 103 / 196 » A Sequential Reduction Strategy |
CAV
2003
Springer
15 years 3 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
MEDIAFORENSICS
2010
14 years 11 months ago
2010
In this paper, we consider a forensic multimodal authentication framework based on binary hypothesis testing in random projections domain. We formulate a generic authentication pr...
ICASSP
2010
IEEE
14 years 4 months ago
2010
IEEE
Pure frequency-based audio fingerprint systems have the capacity of handling very short fingerprints while being highly robust to perturbations such as additive noise or compressi...
105
click to vote
ESA
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. In this paper we address the problem of building a compressed self-index that, given a distribution for the pattern queries and a bound on the space occupancy, minimizes ...