74 search results - page 4 / 15 » A statistical analysis approach to assist model transformati... |
FM
2006
Springer
14 years 6 days ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
MIA
2011
13 years 3 months ago
2011
Accurate bone modeling from medical images is essential in the diagnosis and treatment of patients because it supports the detection of abnormal bone morphology, which is often re...
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
The benefits of impact analysis in the maintenance and evolution of software systems are well known, and many forms of impact analysis, over different software life cycle objects...
JCNS
2000
13 years 8 months ago
2000
We explore a computationally efficient method of simulating realistic networks of neurons introduced by Knight, Manin, and Sirovich (1996) in which integrate-and-fire neurons are ...
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
We propose an original approach for the segmentation of three-dimensional fields of probability density functions. This presents a wide range of applications in medical images proc...