3169 search results - page 479 / 634 » Robust Timed Automata |
92
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
118
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
130
click to vote
MICCAI
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
118
Voted
MICCAI
2004
Springer
16 years 3 months ago
2004
Springer
This paper introduces the progressive attenuation field (PAF), a method to speed up computation of digitally reconstructed radiograph (DRR) images during intensity-based 2D-3D regi...
106
click to vote
MICCAI
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. This paper presents a robust and fully automated registration algorithm for registration of images of Quadrature Tomographic Microscopy (QTM), which is an optical interfe...