2268 search results - page 12 / 454 » The Essence of Form Abstraction |
CEC
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract- This paper describes an approach to continuous coevolution of form (the morphology) and function (the control behavior) for autonomous vehicles. This study focuses on coe...
CADE
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This paper addresses the optimal control of nonholonomic systems through provably correct discretization of the system dynamics. The essence of the approach lies in the...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose a new technique for multiple-input multiple-output (MIMO) radar with colocated antennas. The essence of the proposed technique is to partition the transmitting array in...