532 search results - page 51 / 107 » Process Algebras for Quantitative Analysis |
113
Voted
MICCAI
2007
Springer
15 years 12 months ago
2007
Springer
We present a novel automatic multiscale algorithm applied to segmentation of anatomical structures in brain MRI. The algorithm which is derived from algebraic multigrid, uses a gra...
90
Voted
PPSC
1989
15 years 3 days ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
CSCW
2008
ACM
15 years 22 days ago
2008
ACM
This paper describes an ethnographic study conducted to explore the possibilities for future design and development of technological support for trauma teams. We videotaped 10 tra...
101
Voted
TSD
2010
Springer
14 years 8 months ago
2010
Springer
This paper presents a quantitative performance analysis of two different approaches to the lemmatization of the Czech text data. The first one is based on manually prepared diction...
81
Voted
IWFM
2003
15 years 9 days ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...