2501 search results - page 221 / 501 » Obligations and Their Interaction with Programs |
147
click to vote
ERCIMDL
2008
Springer
15 years 7 months ago
2008
Springer
Placeholders in physical documents provide critical support for the human reader in relocating material and their place in the text. However, the equivalent tools in digital docume...
147
click to vote
UAI
2003
15 years 7 months ago
2003
Symbolic representations have been used successfully in off-line planning algorithms for Markov decision processes. We show that they can also improve the performance of online p...
172
click to vote
IJET
2008
15 years 6 months ago
2008
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
163
Voted
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
We describe a statistical approach to software debugging in the presence of multiple bugs. Due to sparse sampling issues and complex interaction between program predicates, many g...
139
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...