8486 search results - page 420 / 1698 » Ordered Enumeration Method |
182
Voted
CP
2006
Springer
15 years 11 months ago
2006
Springer
This paper deals with methods exploiting tree-decomposition approaches for solving constraint networks. We consider here the practical efficiency of these approaches by defining fi...
192
Voted
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learn...
199
Voted
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
When a manipulator interacts with objects with poorly damped oscillatory modes, undesired oscillations and bouncing may result. In this paper, we present a method for observer-base...
171
Voted
FLOPS
2006
Springer
15 years 11 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
203
Voted
COCOON
1995
Springer
15 years 11 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...