Sciweavers

3765 search results - page 149 / 753
» Qualitative Action Systems
Sort
View
IPMI
2003
Springer
15 years 9 months ago
Knowledge-Driven Automated Extraction of the Human Cerebral Ventricular System from MR Images
This work presents an efficient and automated method to extract the human cerebral ventricular system from MRI driven by anatomic knowledge. The ventricular system is divided into ...
Yan Xia, Qingmao Hu, Aamer Aziz, Wieslaw Lucjan No...
NSDI
2008
15 years 6 months ago
NetComplex: A Complexity Metric for Networked System Designs
The systems and networking community treasures "simple" system designs, but our evaluation of system simplicity often relies more on intuition and qualitative discussion...
Byung-Gon Chun, Sylvia Ratnasamy, Eddie Kohler
MIE
2008
141views Healthcare» more  MIE 2008»
15 years 5 months ago
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
Helena Lindgren
IEICET
2008
113views more  IEICET 2008»
15 years 4 months ago
Classification of Hash Functions Suitable for Real-Life Systems
Cryptographic hash functions have been widely studied and are used in many current systems. Though much research has been done on the security of hash functions, system designers ...
Yasumasa Hirai, Takashi Kurokawa, Shin'ichiro Mats...
ENTCS
2006
99views more  ENTCS 2006»
15 years 4 months ago
Metrics for Action-labelled Quantitative Transition Systems
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun...