Sciweavers

1611 search results - page 5 / 323
» Stochastic Analysis of Dynamic Processes
Sort
View
ICALP
2000
Springer
15 years 1 months ago
A Matrix-based Method for Analysing Stochastic Process Algebras
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
Jeremy T. Bradley, N. J. Davies
ICARCV
2008
IEEE
193views Robotics» more  ICARCV 2008»
15 years 4 months ago
Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
Quang-Cuong Pham
75
Voted
ICMCS
2006
IEEE
219views Multimedia» more  ICMCS 2006»
15 years 3 months ago
Analysis of Multi-User Congestion Control for Video Streaming Over Wireless Networks
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
Xiaoqing Zhu, Bernd Girod
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
15 years 1 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...