Sciweavers

2167 search results - page 89 / 434
» Stochastic Process Algebras
Sort
View
AMAST
1998
Springer
15 years 9 months ago
Scheduling Algebra
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
Rob J. van Glabbeek, Peter Rittgen
ICDM
2005
IEEE
165views Data Mining» more  ICDM 2005»
15 years 11 months ago
A Bernoulli Relational Model for Nonlinear Embedding
The notion of relations is extremely important in mathematics. In this paper, we use relations to describe the embedding problem and propose a novel stochastic relational model fo...
Gang Wang, Hui Zhang, Zhihua Zhang, Frederick H. L...
AAAI
2006
15 years 7 months ago
On the Difficulty of Achieving Equilibrium in Interactive POMDPs
We analyze the asymptotic behavior of agents engaged in an infinite horizon partially observable stochastic game as formalized by the interactive POMDP framework. We show that whe...
Prashant Doshi, Piotr J. Gmytrasiewicz
WSC
2000
15 years 7 months ago
A framework for Response Surface Methodology for simulation optimization
We develop a framework for automated optimization of stochastic simulation models using Response Surface Methodology. The framework is especially intended for simulation models wh...
H. Gonda Neddermeijer, Gerrit J. van Oortmarssen, ...
139
Voted
CALCO
2005
Springer
105views Mathematics» more  CALCO 2005»
15 years 11 months ago
Bisimilarity Is Not Finitely Based over BPA with Interrupt
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...