2850 search results - page 457 / 570 » On Timed Models and Full Abstraction |
110
click to vote
IUI
2012
ACM
13 years 8 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
119
Voted
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. An optimal probabilistic-planning algorithm solves a problem, usually modeled by a Markov decision process, by finding its optimal policy. In this paper, we study the k ...
104
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
108
Voted
SIGSOFT
2006
ACM
15 years 6 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
105
click to vote
STACS
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We advocate to analyze the average complexity of learning problems. An appropriate framework for this purpose is introduced. Based on it we consider the problem of learni...