Sciweavers

2556 search results - page 439 / 512
» The Triconnected Abstraction of Process Models
Sort
View
DAC
2004
ACM
16 years 7 months ago
Worst-case circuit delay taking into account power supply variations
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...
Dionysios Kouroussis, Rubil Ahmadi, Farid N. Najm
MICCAI
2006
Springer
16 years 7 months ago
Boosting and Nonparametric Based Tracking of Tagged MRI Cardiac Boundaries
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...
Zhen Qian, Dimitris N. Metaxas, Leon Axel
IPMI
1999
Springer
16 years 7 months ago
Continuous Time Dynamic PET Imaging Using List Mode Data
Abstract. We describe a method for computing a continuous time estimate of dynamic changes in tracer density using list mode PET data. The tracer density in each voxel is modeled a...
Thomas E. Nichols, Jinyi Qi, Richard M. Leahy
WWW
2004
ACM
16 years 6 months ago
HPG: a tool for presentation generation in WIS
Web Information Systems (WIS) support the process of retrieving information from sources on the Web and of presenting them as a hypermedia presentation. Most WIS design ogies focu...
Bas Rutten, Peter Barna, Flavius Frasincar, Geert-...
RECOMB
2009
Springer
16 years 6 months ago
Haplotype Inference in Complex Pedigrees
Abstract. Despite the desirable information contained in complex pedigree datasets, analysis methods struggle to efficiently process these datasets. The attractiveness of pedigree ...
Bonnie Kirkpatrick, Javier Rosa, Eran Halperin, Ri...