Sciweavers

2144 search results - page 91 / 429
» Exact Flow Analysis
Sort
View
BILDMED
2009
230views Algorithms» more  BILDMED 2009»
15 years 5 months ago
Analysis of 2D Phase Contrast MRI in Renal Arteries by Self Organizing Maps
We present an approach based on self organizing maps to segment renal arteries from 2D PC Cine MR images to measure blood velocity and flow. Such information are important in gradi...
Frank Zöllner, Lothar R. Schad
JCIT
2010
98views more  JCIT 2010»
14 years 11 months ago
Reliability Analysis of the MAP/M/c Queue with Server Breakdowns
We consider the MAP/M/c queue with markovian flow of breakdowns. There are K waiting positions for arrival customers in the system. The system we consider comprises c servers, of ...
Zonghao Zhou, Yijuan Zhu
CCS
2008
ACM
15 years 6 months ago
Dependent link padding algorithms for low latency anonymity systems
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...
Wei Wang 0002, Mehul Motani, Vikram Srinivasan
CCA
2009
Springer
15 years 10 months ago
Realisability and Adequacy for (Co)induction
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
Ulrich Berger
ACTA
1998
69views more  ACTA 1998»
15 years 3 months ago
Asymptotic Expansions of the Mergesort Recurrences
This note provides exact formulæ for the mean and variance of the cost of top-down recursive mergesort. These formulæ improve upon earlier results of Flajolet and Golin. Key wor...
Hsien-Kuei Hwang