4962 search results - page 474 / 993 » Stochastic Model Checking |
190
Voted
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
156
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
177
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider a physical model of ultrafast evolution of an initial electron distribution in a quantum wire. The electron evolution is described by a quantum-kinetic equati...
151
click to vote
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
— Calibration is the procedure of quantifying mechanical deficiencies of machines and compensating them by appropriate adjustment. This paper introduces a modelbased measurement...
212
Voted
CLOR
2006
15 years 10 months ago
2006
We introduce a stochastic model to characterize the online computational process of an object recognition system based on a hierarchy of classifiers. The model is a graphical netwo...