9359 search results - page 546 / 1872 » Generalization Algorithms for Second-Order Terms |
178
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Recent progress in EDA tools allows IC designs to be accurately verified with consequent improvements in yield and performance through reduced guard bands. This paper will present...
171
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
154
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
189
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute i...
170
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We consider support vector machines for binary classification. As opposed to most approaches we use the number of support vectors (the "L0 norm") as a regularizing term ...