532 search results - page 51 / 107 » Process Algebras for Quantitative Analysis |
151
Voted
MICCAI
2007
Springer
16 years 4 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...
152
click to vote
PPSC
1989
15 years 4 months 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...
108
Voted
CSCW
2008
ACM
15 years 5 months 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...
140
Voted
TSD
2010
Springer
15 years 1 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...
119
Voted
IWFM
2003
15 years 5 months 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...