521 search results - page 51 / 105 » Reduction Strategies and Acyclicity |
140
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
152
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
155
click to vote
CAV
2003
Springer
15 years 11 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...
124
click to vote
SPIN
2000
Springer
15 years 9 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...
164
click to vote
MEDIAFORENSICS
2010
15 years 7 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...