2196 search results - page 108 / 440 » Practical Reasoning Using Values |
133
click to vote
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
123
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
137
click to vote
AIPS
2007
15 years 4 months ago
2007
In this paper, we propose an extended local search framework to solve combinatorial optimization problems with data uncertainty. Our approach represents a major departure from sce...
145
click to vote
AAAI
2006
15 years 3 months ago
2006
Reinforcement learning problems are commonly tackled with temporal difference methods, which attempt to estimate the agent's optimal value function. In most real-world proble...
125
click to vote
DMSN
2010
ACM
15 years 2 months ago
2010
ACM
As sensor networks are being increasingly deployed in decisionmaking infrastructures such as battlefield monitoring systems and SCADA(Supervisory Control and Data Acquisition) sys...