Sciweavers

1403 search results - page 139 / 281
» Quantitative Interprocedural Analysis
Sort
View
BILDMED
2008
174views Algorithms» more  BILDMED 2008»
13 years 11 months ago
Detection of Focal Cortical Dysplasia Lesions in MRI Using Textural Features
Abstract. Focal cortical dysplasia (FCD) is a frequent cause of medically refractory partial epilepsy. The visual identification of FCD lesions on magnetic resonance images (MRI) i...
Christian Loyek, Friedrich G. Woermann, Tim W. Nat...
BILDMED
2008
138views Algorithms» more  BILDMED 2008»
13 years 11 months ago
Level Set Segmentation of Lumbar Vertebrae Using Appearance Models
For the planning of surgical interventions of the spine exact knowledge about 3D shape and the local bone quality of vertebrae are of great importance in order to estimate the anch...
Karl D. Fritscher, Stefan Leber, Werner Schmö...
CDES
2006
78views Hardware» more  CDES 2006»
13 years 11 months ago
The Impact of Cache Organization in Optimizing Microprocessor Power Consumption
In the recent years, power consumption has become increasingly an important design concern as silicon area and performance in modern computer systems design. Several factors have ...
Nagm Mohamed, Nazeih Botros, Wei Zhang
MASCOTS
2004
13 years 11 months ago
Performance Characterisation and Verification of JavaSpaces Based on Design of Experiments
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
Frederic Hancke, Tom Dhaene, Jan Broeckhove
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
13 years 10 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker