154 search results - page 8 / 31 » The PER Model of Abstract Non-interference |
PKDD
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Bayesian reinforcement learning (RL) is aimed at making more efficient use of data samples, but typically uses significantly more computation. For discrete Markov Decis...
FASE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. This paper considers the dynamic tree (DT) model, first introduced in [1]. A dynamic tree specifies a prior over structures of trees, each of which is a forest of one or ...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...