647 search results - page 5 / 130 » Generation of BDDs from hardware algorithm descriptions |
DICTA
2003
13 years 9 months ago
2003
This paper describes a novel approach to the problem of recovering information from an image set by comparing the radiance of hypothesised point correspondences. This method is app...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
DATE
1997
IEEE
14 years 20 hour ago
1997
IEEE
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the...
MM
2006
ACM
14 years 1 months ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
RECSYS
2009
ACM
14 years 2 months ago
2009
ACM
We propose a recommendation technique that works by collecting text descriptions of items and using this textual aura to compute the similarity between items using techniques draw...