2583 search results - page 285 / 517 » On the Representation of Timed Polyhedra |
188
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
142
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
An efficient low-cost, low-power hardware implementation of a novel run-time pixel coverage mask generation algorithm for embedded 3-D graphics antialiasing purposes is presented....
160
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basi...
160
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
153
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensi...