4224 search results - page 729 / 845 » Reasoning about Choice |
ESOP
2012
Springer
13 years 8 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
131
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
120
Voted
VSTTE
2012
Springer
13 years 8 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
120
Voted
JMLR
2012
13 years 3 months ago
2012
We study the problem of learning a group of principal tasks using a group of auxiliary tasks, unrelated to the principal ones. In many applications, joint learning of unrelated ta...
150
Voted
KDD
2012
ACM
13 years 3 months ago
2012
ACM
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...