1684 search results - page 116 / 337 » The lexicographic decision function |
166
click to vote
AIPS
2006
15 years 5 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
164
Voted
FSTTCS
1992
Springer
15 years 7 months ago
1992
Springer
Levin introduced an average-case complexity measure, based on a notion of \polynomialon average," and de ned \average-case polynomial-time many-one reducibility" amongra...
110
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
140
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
We consider learning in a Markov decision process where we are not explicitly given a reward function, but where instead we can observe an expert demonstrating the task that we wa...
148
Voted
UAI
2000
15 years 5 months ago
2000
Decision theory does not traditionally include uncertainty over utility functions. We argue that the a person's utility value for a given outcome can be treated as we treat o...