1368 search results - page 137 / 274 » Personality-Based Practical Reasoning |
108
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Approximate Linear Programming (ALP) is a reinforcement learning technique with nice theoretical properties, but it often performs poorly in practice. We identify some reasons for...
249
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
144
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...
114
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Listening to music on personal, digital devices while mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigatio...
223
Voted
POPL
2002
ACM
16 years 3 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...