3169 search results - page 479 / 634 » Robust Timed Automata |
DAC
2000
ACM
14 years 11 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...
DAC
2006
ACM
14 years 11 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...
MICCAI
2002
Springer
14 years 11 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...
MICCAI
2004
Springer
14 years 11 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...
MICCAI
2005
Springer
14 years 11 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...