Sciweavers

31 search results - page 3 / 7
» Quantification of Integrity
Sort
View
ICDE
2009
IEEE
202views Database» more  ICDE 2009»
14 years 9 months ago
Tracking High Quality Clusters over Uncertain Data Streams
Recently, data mining over uncertain data streams has attracted a lot of attentions because of the widely existed imprecise data generated from a variety of streaming applications....
Chen Zhang, Ming Gao, Aoying Zhou
IWSM
2007
Springer
14 years 1 months ago
Non-Functional Requirements Size Measurement Method (NFSM) with COSMIC-FFP
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
Mohamad Kassab, Olga Ormandjieva, Maya Daneva, Ala...
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
13 years 5 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer
ICPR
2008
IEEE
14 years 8 months ago
Quantitative abdominal fat estimation using MRI
This paper introduces a new method for automatic quantification of subcutaneous, visceral and nonvisceral internal fat from MR-images acquired using the two point Dixon technique ...
Olof Dahlqvist Leinhard, Andreas Johansson, Joakim...
MICCAI
2007
Springer
14 years 8 months ago
Phase Sensitive Reconstruction for Water/Fat Separation in MR Imaging Using Inverse Gradient
This paper presents a novel method for phase unwrapping for phase sensitive reconstruction in MR imaging. The unwrapped phase is obtained by integrating the phase gradient by solvi...
Joakim Rydell, Hans Knutsson, Johanna Pettersson, ...