3677 search results - page 529 / 736 » Is a probabilistic modeling |
160
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
146
click to vote
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
This article describes an application of the partially observable Markov (POM) model to the analysis of a large scale commercial web search log. Mathematically, POM is a variant o...
212
click to vote
JUCS
2010
14 years 11 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
158
click to vote
ICVS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...
160
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...