Sciweavers

1664 search results - page 104 / 333
» Testing in the Component Age
Sort
View
ICS
2010
Tsinghua U.
16 years 1 months ago
Space-Efficient Estimation of Robust Statistics and Distribution Testing
: The generic problem of estimation and inference given a sequence of i.i.d. samples has been extensively studied in the statistics, property testing, and learning communities. A n...
Steve Chien, Katrina Ligett, Andrew McGregor
147
Voted
RTCSA
1999
IEEE
15 years 8 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
122
Voted
CVPR
1999
IEEE
16 years 5 months ago
Model-Guided Segmentation of Corpus Callosum in MR Images
Magnetic resonance imaging (MRI) of the brain, followed by automated segmentation of the corpus callosum (CC) in midsagittal sections have important applications in both clinical ...
Arvid Lundervold, Torfinn Taxt, Nicolae Duta, Anil...
ICPR
2008
IEEE
16 years 4 months ago
On averaging face images for recognition under pose variations
Recently, psychological studies showed that averaging human face images greatly improves the performance of face recognition under various pose, illumination, expression, and/or a...
Sanqiang Zhao, Xiaozheng Zhang, Yongsheng Gao
115
Voted
DAC
2006
ACM
16 years 4 months ago
FLAW: FPGA lifetime awareness
Aggressive scaling of technology has an adverse impact on the reliability of VLSI circuits. Apart from increasing transient error susceptibility, the circuits also become more vul...
Suresh Srinivasan, Prasanth Mangalagiri, Yuan Xie,...