2940 search results - page 49 / 588 » Relational Parametricity and Control |
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
The aim of this paper is to propose a robust and accurate method for the parametric identification of the thermal behaviour of low consumption buildings. These buildings are known ...
108
click to vote
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
COCO
2010
Springer
15 years 3 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—This paper considers the design of a novel closedloop trajectory tracking controller for an underactuated robotic airship having 6 degrees of freedom (DOF) and 3 control...
COMPUTING
2004
14 years 11 months ago
2004
In [1] Optimal Control methods over re-parametrization for curve and surface design were introduced. The advantage of Optimal Control over Global Minimization such as in [17] is t...