2478 search results - page 19 / 496 » Quadtrees as an Abstract Domain |
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
JNSM
2000
13 years 7 months ago
2000
Abstract-A mechanism for the estimation of the available bandwidth between two end-points of a best-effort network is presented. The estimation is obtained by a simple statistical ...
JCP
2008
13 years 7 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
CSUR
2000
13 years 7 months ago
2000
t abstractions of a particular domain. Any system built from components