Sciweavers

901 search results - page 111 / 181
» Analyzing linear mergers
Sort
View
DAC
2003
ACM
16 years 5 hour ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
99
Voted
MICCAI
2007
Springer
15 years 12 months ago
High Throughput Analysis of Breast Cancer Specimens on the Grid
Breast cancer accounts for about 30% of all cancers and 15% of all cancer deaths in women in the United States. Advances in computer assisted diagnosis (CAD) holds promise for earl...
Lin Yang, Wenjin Chen, Peter Meer, Gratian Salaru,...
ICML
2008
IEEE
15 years 12 months ago
On multi-view active learning and the combination with semi-supervised learning
Multi-view learning has become a hot topic during the past few years. In this paper, we first characterize the sample complexity of multi-view active learning. Under the expansion...
Wei Wang, Zhi-Hua Zhou
SIGSOFT
2005
ACM
15 years 11 months ago
Performance data collection using a hybrid approach
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
Edu Metz, Raimondas Lencevicius, Teofilo F. Gonzal...
81
Voted
ISBI
2004
IEEE
15 years 11 months ago
Covariance of Kinetic Parameter Estimators Based on Time Activity Curve Reconstructions: Preliminary Study on 1D Dynamic Imaging
We provide approximate expressions for the covariance matrix of kinetic parameter estimators based on time activity curve (TAC) reconstructions when TACs are modeled as a linear c...
Sangtae Ahn, Jeffrey A. Fessler, Thomas E. Nichols...