4962 search results - page 833 / 993 » Stochastic Model Checking |
AUTOMATICA
2007
13 years 7 months ago
2007
This paper deals with state estimation problem for linear systems with state equality constraints. Using noisy measurements which are available from the observable system, we cons...
COMPUTER
2002
13 years 7 months ago
2002
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
ML
2002
ACM
13 years 7 months ago
2002
ACM
An issue that is critical for the application of Markov decision processes MDPs to realistic problems is how the complexity of planning scales with the size of the MDP. In stochas...
MT
1998
13 years 7 months ago
1998
Sentence alignment is the problem of making explicit the relations that exist between the sentences of two texts that are known to be mutual translations. Automatic sentence align...
SIAMCO
2002
13 years 7 months ago
2002
We consider a market model with one riskfree and one risky asset, in which the dynamics of the risky asset is governed by a geometric Brownian motion. In this market we consider a...