370 search results - page 40 / 74 » Bounded modified realizability |
ENGL
2008
13 years 8 months ago
2008
This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode contro...
MP
2006
13 years 8 months ago
2006
In this paper, we propose a new methodology for handling optimization problems with uncertain data. With the usual Robust Optimization paradigm, one looks for the decisions ensurin...
IPL
2002
13 years 8 months ago
2002
Restricted rotation distance between pairs of rooted binary trees measures differences in tree shape and is related to rotation distance. In restricted rotation distance, the rota...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
We present a new block matching criterion for motion estimation in video coding that will give better encoded video quality than the commonly used sum of absolute differences (SAD...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...