2940 search results - page 47 / 588 » Relational Parametricity and Control |
CADE
2001
Springer
16 years 4 days ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
ICALP
2010
Springer
15 years 15 hour ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
CVPR
1999
IEEE
16 years 1 months ago
1999
IEEE
In this paper the problem of controlling the spatial position and orientation of a robotic platform based on the image data obtained from a video camera mounted on that platform i...
AUTOMATICA
2000
14 years 11 months ago
2000
This paper describes a systematic procedure to exponentially stabilize relative equilibria of mechanical systems. We review the notion of relative equilibria and their stability i...
AAECC
1998
Springer
14 years 11 months ago
1998
Springer
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...