373 search results - page 26 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
107
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—In this paper, two general algorithms for the automatic generation of instruction-set extensions are presented. The basic instruction set of a reconfigurable architectu...
125
click to vote
NIPS
2003
15 years 2 months ago
2003
Density estimation with Gaussian Mixture Models is a popular generative technique used also for clustering. We develop a framework to incorporate side information in the form of e...
120
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
122
click to vote
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...