Sciweavers

1645 search results - page 161 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
FIMH
2003
Springer
15 years 3 months ago
Spatio-temporal Alignment of 4D Cardiac MR Images
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
Dimitrios Perperidis, Anil Rao, Maria Lorenzo-Vald...
AIME
2009
Springer
15 years 4 months ago
Causal Probabilistic Modelling for Two-View Mammographic Analysis
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
Marina Velikova, Maurice Samulski, Peter J. F. Luc...
JSAC
2011
108views more  JSAC 2011»
14 years 5 months ago
A Model-Based Approach to Cognitive Radio Design
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
Jorg Lotze, Suhaib A. Fahmy, Juanjo Noguera, Linda...
APN
2008
Springer
15 years 4 days ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
IEEESP
2006
108views more  IEEESP 2006»
14 years 10 months ago
Defining Misuse within the Development Process
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
Gunnar Peterson, John Steven