Sciweavers

2351 search results - page 28 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
MICCAI
2003
Springer
15 years 10 months ago
Automated Segmentation of Abdominal Aortic Aneurysms in Multi-spectral MR Images
Abstract. An automated method for segmenting the outer boundary of abdominal aortic aneurysms in MR images is presented. The method is based on the well known Active Shape Models (...
Marleen de Bruijne, Bram van Ginneken, Lambertus W...
ECCV
1998
Springer
15 years 11 months ago
The Role of Total Least Squares in Motion Analysis
Abstract. The main goal of this paper is to put well-established techniques for two-view motion analysis in the context of the theory of Total Least Squares and to make clear that ...
Matthias Mühlich, Rudolf Mester
NLDB
2007
Springer
15 years 3 months ago
Treatment of Passive Voice and Conjunctions in Use Case Documents
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
Leonid Kof
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 3 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
DSN
2006
IEEE
15 years 3 months ago
Dependability Analysis of Virtual Memory Systems
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
Lakshmi N. Bairavasundaram, Andrea C. Arpaci-Dusse...