Sciweavers

2131 search results - page 175 / 427
» Stochastic Process Creation
Sort
View
VMCAI
2010
Springer
16 years 1 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
BIOCOMP
2007
15 years 5 months ago
Interaction Models for Biochemical Reactions
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...
Mila E. Majster-Cederbaum, Nils Semmelrock, Verena...
138
Voted
ENTCS
2006
155views more  ENTCS 2006»
15 years 4 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
TASLP
2002
109views more  TASLP 2002»
15 years 3 months ago
Particle methods for Bayesian modeling and enhancement of speech signals
This paper applies time-varying autoregressive (TVAR) models with stochastically evolving parameters to the problem of speech modeling and enhancement. The stochastic evolution mod...
Jaco Vermaak, Christophe Andrieu, Arnaud Doucet, S...
CVPR
2012
IEEE
13 years 6 months ago
Detecting regions of interest in dynamic scenes with camera motions
We present a method to detect the regions of interests in moving camera views of dynamic scenes with multiple moving objects. We start by extracting a global motion tendency that ...
Kihwan Kim, Dongryeol Lee, Irfan A. Essa