132 search results - page 27 / 27 » Total Correctness by Local Improvement in Program Transforma... |
AI
1998
Springer
13 years 4 months ago
1998
Springer
Reinforcement Learning (RL) is the study of programs that improve their performance by receiving rewards and punishments from the environment. Most RL methods optimize the discoun...
ISSTA
2010
ACM
13 years 8 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...