4341 search results - page 521 / 869 » Quantitative Model checking |
221
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
In this paper we present a fully automated approach to the segmentation of pediatric brain tumors in multi-spectral 3-D magnetic resonance images. It is a top-down segmentation app...
212
click to vote
SIGMETRICS
2006
ACM
16 years 20 days ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
199
click to vote
VALUETOOLS
2006
ACM
16 years 20 days ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
152
click to vote
MMMACNS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
213
click to vote
EGC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...