612 search results - page 72 / 123 » Bounded model checking for knowledge and real time |
152
Voted
CGF
2000
15 years 10 days ago
2000
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since a complete mental model based on vision...
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
85
Voted
AMC
2005
15 years 13 days ago
2005
ARIMA is a popular method to analyze stationary univariate time series data. There are usually three main stages to build an ARIMA model, including model identification, model est...
153
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
113
Voted
KBS
2002
15 years 5 days ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...