Sciweavers

1186 search results - page 129 / 238
» Progressive Modeling
Sort
View
MICCAI
2009
Springer
15 years 6 months ago
A Dynamical Shape Prior for LV Segmentation from RT3D Echocardiography
Real-time three-dimensional (RT3D) echocardiography is the newest generation of three-dimensional (3-D) echocardiography. Segmentation of RT3D echocardiographic images is essential...
Yun Zhu, Xenophon Papademetris, Albert J. Sinusas,...
127
Voted
LOGCOM
2002
116views more  LOGCOM 2002»
15 years 1 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....
119
Voted
ICCD
2007
IEEE
125views Hardware» more  ICCD 2007»
15 years 11 months ago
Low-cost run-time diagnosis of hard delay faults in the functional units of a microprocessor
This paper addresses the run-time diagnosis of delay faults in functional units of microprocessors. Despite the popularity of the stuck-at fault model, it is no longer the only re...
Sule Ozev, Daniel J. Sorin, Mahmut Yilmaz
109
Voted
ICCAD
2003
IEEE
123views Hardware» more  ICCAD 2003»
15 years 11 months ago
A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
Peng Li, Xin Li, Yang Xu, Lawrence T. Pileggi
129
Voted
ISORC
2009
IEEE
15 years 8 months ago
On the Semantics of UML/MARTE Clock Constraints
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
Frédéric Mallet, Charles André...