Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
NAR
2006
156views more  NAR 2006»
11 years 1 months ago
VOMBAT: prediction of transcription factor binding sites using variable order Bayesian trees
Variable order Markov models and variable order Bayesian trees have been proposed for the recognition of transcription factor binding sites, and it could be demonstrated that they...
Jan Grau, Irad E. Ben-Gal, Stefan Posch, Ivo Gross...
DATE
2004
IEEE
148views Hardware» more  DATE 2004»
11 years 5 months ago
MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions
This paper presents a new decision diagram (DD), called MODD, for multiple output binary and multiple-valued functions. This DD is canonic and can be made minimal with respect to ...
Abusaleh M. Jabir, Dhiraj K. Pradhan
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
11 years 5 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
APN
2007
Springer
11 years 7 months ago
Improving Static Variable Orders Via Invariants
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqi...
books