231 search results - page 36 / 47 » A Brief Overview of HOL4 |
AAAI
2007
13 years 11 months ago
2007
In designing Markov Decision Processes (MDP), one must define the world, its dynamics, a set of actions, and a reward function. MDPs are often applied in situations where there i...
EUROSSC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In recent years, the deteriorations of living habits like immobilization or unhealthy diet are becoming serious social problems in many developed countries. Even if we kn...
APCCM
2008
13 years 10 months ago
2008
Over the last few years, the web is establishing increased importance in society with the rise of social networking sites and the semantic web, facilitated and driven by the popul...
DAGSTUHL
2010
13 years 10 months ago
2010
This article is intended as an update of the major survey by Max [40] on optical models for direct volume rendering. It provides a brief overview of the subject scope covered by [...
DAGSTUHL
2007
13 years 10 months ago
2007
The elderly is characterized by age related capabilities and handicaps. Whereas age related capabilities like plasticity and adaptability on changing living conditions can lead to ...