231 search results - page 35 / 47 » A Brief Overview of PVS |
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
HT
1997
ACM
13 years 11 months ago
1997
ACM
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
AAAI
2007
13 years 10 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 9 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 9 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...