Sciweavers

2940 search results - page 108 / 588
» Relational Parametricity and Control
Sort
View
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
15 years 4 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
ENGL
2008
70views more  ENGL 2008»
15 years 4 months ago
Modeling, Control and Simulation of a Novel Mobile Robotic System
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
Xiaoli Bai, Jeremy J. Davis, James Doebbler, James...
ICMCS
1994
IEEE
85views Multimedia» more  ICMCS 1994»
15 years 8 months ago
Synchronization of Temporal Constructs in Distributed Multimedia Systems with Controlled Accuracy
Abstract. Withthe inceptionof technology in communication networks suchasATM, it will be possible to run multimedia applications on future integrated networks. Synchronizationof th...
Sang Hyuk Son, Nipun Agarwal
ICAT
2007
IEEE
15 years 10 months ago
Interaction Without Gesture or Speech -- A Gaze Controlled AR System
Even though gaze control is relatively well known as a human computer interaction method, gaze control is not a widely used technique, partly due to several usability issues. Howe...
Susanna Nilsson
ECAL
2005
Springer
15 years 10 months ago
(Co)Evolution of (De)Centralized Neural Control for a Gravitationally Driven Machine
Using decentralized control structures for robot control can offer a lot of advantages, such as less complexity, better fault tolerance and more flexibility. In this paper the ev...
Steffen Wischmann, Martin Hülse, Frank Pasema...