Sciweavers

6059 search results - page 325 / 1212
» A Technique for Verifying Measurements
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Time-varying lung ventilation analysis of 4DCT using image registration
Imaging techniques for measuring lung ventilation are essential tools to study lung tissue response to radiation therapy. Most of the existing CT and image registration based vent...
Kai Ding, Kaifang Du, Kunlin Cao, Gary E. Christen...
TKDE
2012
278views Formal Methods» more  TKDE 2012»
13 years 9 months ago
Data Cube Materialization and Mining over MapReduce
—Computing interesting measures for data cubes and subsequent mining of interesting cube groups over massive datasets are critical for many important analyses done in the real wo...
Arnab Nandi, Cong Yu, Philip Bohannon, Raghu Ramak...
MSR
2006
ACM
16 years 23 days ago
Mining refactorings in ARGOUML
In this paper we combine the results of our refactoring reconstruction technique with bug, mail and release information to perform process and bug analyses of the ARGOUML CVS arch...
Peter Weißgerber, Stephan Diehl, Carsten G&o...
HICSS
2003
IEEE
130views Biometrics» more  HICSS 2003»
16 years 3 days ago
Attack Recognition for System Survivability: A Low-level Approach
This paper extends and builds on previous work that presented a signature-based attack recognition technique. We present general requirements for “survivable attack recognitionâ...
Carol Taylor, Jim Alves-Foss
165
Voted
ITC
1998
IEEE
126views Hardware» more  ITC 1998»
15 years 10 months ago
A comprehensive approach to the partial scan problem using implicit state enumeration
This paper presents a novel technique to evaluate the noncontrollability measures of state registers for partial scan design. Our model uses implicit techniques for finite state ma...
Priyank Kalla, Maciej J. Ciesielski