Sciweavers

4636 search results - page 137 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
MICCAI
2010
Springer
15 years 4 months ago
Synthetic MRI Signal Standardization: Application to Multi-atlas Analysis
From the image analysis perspective, a disadvantage of MRI is the lack of image intensity standardization. Differences in coil sensitivity, pulse sequence and acquisition parameter...
Juan Eugenio Iglesias, Ivo D. Dinov, Jaskaran Sing...
ESEC
1997
Springer
15 years 10 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
RTSS
2007
IEEE
16 years 25 days ago
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
Marko Bertogna, Michele Cirinei
IADIS
2008
15 years 8 months ago
A Case-Based Reasoning System to Forecast the Presence Of Oil Slicks
After an oil spill it is essential to know if an area is going to be affected by the oil slicks generated. The system presented here forecasts the presence or not of oil slicks in...
Juan M. Corchado, Aitor Mata, Juan Francisco de Pa...
CAIP
1999
Springer
143views Image Analysis» more  CAIP 1999»
15 years 10 months ago
Frame-Relative Critical Point Sets in Image Analysis
Abstract. We propose a new computational method for segmenting topological sub-dimensional point-sets in scalar images of arbitrary spatial dimensions. The technique is based on co...
Stiliyan Kalitzin, Joes Staal, Bart M. ter Haar Ro...