1159 search results - page 7 / 232 » Binary Decision Graphs |
ASIAMS
2009
IEEE
14 years 24 days ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Computation time is an important performance characteristic of computer vision algorithms. This paper shows how existing (slow) binary-valued decision algorithms can be a...
IJON
2006
13 years 7 months ago
2006
In this paper, we introduce a neural network -based decision table algorithm. We focus on the implementation details of the decision table algorithm when it is constructed using t...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
CCL
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...