1159 search results - page 168 / 232 » Binary Decision Graphs |
MMB
2010
Springer
14 years 5 days ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
ACSD
2007
IEEE
13 years 12 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
CONEXT
2008
ACM
13 years 12 months ago
2008
ACM
Distributed Denial of Service (DDoS) attack mitigation systems usually generate a list of filter rules in order to block malicious traffic. In contrast to this binary decision we ...
COST
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Human machine interaction is one of the emerging fields for the coming years. Interacting with others in our daily life is a face to face interaction. Faces are the natur...
CVPR
2008
IEEE
13 years 12 months ago
2008
IEEE
Most digital still color cameras use a single electronic sensor (CCD or CMOS) overlaid with a color filter array. At each pixel location only one color sample is taken, and the ot...