Sciweavers

2415 search results - page 158 / 483
» Markov Processes on Curves
Sort
View
FORTE
2004
15 years 2 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
98
Voted
MASCOTS
2003
15 years 2 months ago
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. ...
91
Voted
ICCV
2009
IEEE
16 years 5 months ago
Boundary Ownership by Lifting to 2.5D
This paper addresses the “boundary ownership” problem, also known as the figure/ground assignment problem. Estimating boundary ownerships is a key step in perceptual organiz...
Ido Leichter and Michael Lindenbaum
136
Voted
CVPR
2004
IEEE
16 years 2 months ago
Bayesian Assembly of 3D Axially Symmetric Shapes from Fragments
We present a complete system for the purpose of automatically assembling 3D pots given 3D measurements of their fragments commonly called sherds. A Bayesian approach is formulated...
Andrew R. Willis, David B. Cooper
95
Voted
IWQOS
2005
Springer
15 years 6 months ago
Analysis of Stochastic Service Guarantees in Communication Networks: A Server Model
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
Yuming Jiang, Peder J. Emstad