300 search results - page 35 / 60 » Extension of a theorem of Whitney |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
—This research focuses on development of a haptic system to create controlled air flow acting on a user in the Treadport virtual environment. The Treadport Active Wind Tunnel (TP...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— We consider the problem of broadcasting a live stream of data in an unstructured network. Broadcasting has been studied extensively for networks with capacity constraints at th...
CIMCA
2006
IEEE
14 years 1 months ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...