250 search results - page 6 / 50 » Fixed Argument Pairings |
103
Voted
JAR
2006
15 years 1 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
AAAI
2006
15 years 3 months ago
2006
Decision making under uncertainty is usually based on the comparative evaluation of different alternatives by means of a decision criterion. In a qualitative setting, pessimistic ...
131
Voted
ICML
2001
IEEE
16 years 2 months ago
2001
IEEE
Direct policy search is a practical way to solve reinforcement learning problems involving continuous state and action spaces. The goal becomes finding policy parameters that maxi...
122
Voted
PAMI
2007
15 years 1 months ago
2007
—This paper presents a novel approach for estimating the parameters for MRF-based stereo algorithms. This approach is based on a new formulation of stereo as a maximum a posterio...
111
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...