Sciweavers

5451 search results - page 707 / 1091
» The SIGNAL Expert System
Sort
View
JLP
2007
86views more  JLP 2007»
15 years 7 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...
HCI
2009
15 years 5 months ago
Guiding a Driver's Visual Attention Using Graphical and Auditory Animations
This contribution presents our work towards a system that autonomously guides the user's visual attention on important information (e.g., traffic situation or in-car system st...
Tony Poitschke, Florian Laquai, Gerhard Rigoll
CDC
2010
IEEE
113views Control Systems» more  CDC 2010»
15 years 2 months ago
Second-order odd-harmonic repetitive control and its application to active filter control
High order repetitive control has been introduced to overcome performance decay of repetitive control systems under varying frequency of the signals to be tracked/rejected or impro...
Ramon Costa-Castelló, German A. Ramos, Jose...
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
15 years 2 months ago
On observability of switched differential-algebraic equations
Abstract-- We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a swi...
Aneel Tanwani, Stephan Trenn
TIM
2010
166views Education» more  TIM 2010»
15 years 2 months ago
Personal Navigation via High-Resolution Gait-Corrected Inertial Measurement Units
In this paper, a personal micronavigation system that uses high-resolution gait-corrected inertial measurement units is presented. The goal of this paper is to develop a navigation...
Ozkan Bebek, Michael A. Suster, Srihari Rajgopal, ...