32032 search results - page 6103 / 6407 » Verified programming in Guru |
215
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
251
click to vote
AVBPA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Ensuring the security of medical records is becoming an increasingly important problem as modern technology is integrated into existing medical services. As a consequence...
189
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
164
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
187
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...