2268 search results - page 108 / 454 » The Essence of Form Abstraction |
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— The vision of ad-hoc networking with Bluetooth includes the concept of devices participating in multiple ”piconets” and thereby forming a ”scatternet”. However,...
AAECC
2001
Springer
14 years 22 days ago
2001
Springer
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
CSL
2001
Springer
14 years 21 days ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
EUROGP
2001
Springer
14 years 21 days ago
2001
Springer
Abstract. In recent years different genetic programming (GP) structures have emerged. Today, the basic forms of representation for genetic programs are tree, linear and graph stru...