752 search results - page 62 / 151 » A Markov Chain Model Checker |
MKWI
2008
13 years 10 months ago
2008
: In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chai...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper proposes a general framework called Markov stationary features (MSF) to extend histogram based features. The MSF characterizes the spatial co-occurrence of histogram pa...
NIPS
2003
13 years 10 months ago
2003
Despite the popularity of connectionist models in cognitive science, their performance can often be difficult to evaluate. Inspired by the geometric approach to statistical model ...
MASCOTS
2003
13 years 10 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
CHI
2009
ACM
13 years 9 months ago
2009
ACM
In this paper, we propose a model to predict the performance of selection techniques using Brain-Computer Interfaces based on P300 signals. This model is based on Markov theory an...