9166 search results - page 1399 / 1834 » A framework for comparing models of computation |
257
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
188
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the way they cope with variability, present-day methodologies are onerous, pessimistic and risky, all at the same time! Dealing with variability is an increasingly important as...
139
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
179
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we extend the recently proposed Core Vector Machine algorithm to the regression setting by generalizing the underlying minimum enclosing ball problem. The resultant...
182
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
In this contribution we introduce adaptive finite element methods for forward modeling in fluorescence optical tomography. Adaptive local mesh refinement increases the accuracy of...