12981 search results - page 2187 / 2597 » Model Checking (Abstract) |
152
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
The use of Support Vector Machines (SVMs) to represent the performance space of analog circuits is explored. In abstract terms, an analog circuit maps a set of input design parame...
146
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
129
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. In radiotherapy, the constant margin taken around the visible tumor is a very coarse approximation of the invasion margin of cancerous cells. In this article, a new formu...
139
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
140
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Accurate patient registration and referencing is a key element in navigated surgery. Unfortunately all existing methods are either invasive or very time consuming. In thi...