2131 search results - page 145 / 427 » Stochastic Process Creation |
135
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
149
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o...
135
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
A Bayesian formulation of quickest change detection in multiple onoff processes is obtained within a decision-theoretic framework. For geometrically distributed busy and idle time...
142
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Here we present a new approach to automatically detect and count breeding Greater Flamingos (Phoenicopterus Roseus) on aerial photographsof their colonies. We consider a stochasti...
139
click to vote
SIPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Modern microprocessor technology is migrating from simply increasing clock speeds on a single processor to placing multiple processors on a die to increase throughput and power pe...