94 search results - page 10 / 19 » Boolean Function Representation Based on Disjoint-Support De... |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Though implicit representations of surfaces have often been used for various computer graphics tasks like modeling and morphing of objects, it has rarely been used for registratio...
ICCAD
1997
IEEE
13 years 11 months ago
1997
IEEE
In many veri cation techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams BDDs for functional simulatio...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
A novel approach to measure the interdependence of time series is proposed, based on the alignment (“matching”) of their Huang-Hilbert spectra. The method consists of three st...
ECCV
2010
Springer
14 years 17 days ago
2010
Springer
Based on the Lagrangian framework for fluid dynamics, a streakline
representation of flow is presented to solve computer vision
problems involving crowd and traffic flow. Streakl...