Sciweavers

3008 search results - page 316 / 602
» Information and Control in Gray-Box Systems
Sort
View
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 4 months ago
Position estimation and fall detection using visual receding horizon estimation
The purpose of this paper is to estimate the position of a human in the image frame and to use this information to diagnose falls. A nonholonomic locomotion model describes the dis...
Damien Brulin, Estelle Courtial, Guillaume Alliber...
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 4 months ago
Exploring and exploiting routing opportunities in wireless ad-hoc networks
Abstract--In this paper, d-AdaptOR, a distributed opportunistic routing scheme for multi-hop wireless ad-hoc networks is proposed. The proposed scheme utilizes a reinforcement lear...
Abhijeet Bhorkar, Mohammad Naghshvar, Tara Javidi,...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 11 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
ISM
2008
IEEE
273views Multimedia» more  ISM 2008»
15 years 6 months ago
Understanding Data-Driven Decision Support Systems
It is important for managers and Information Technology professionals to understand data-driven decision support systems and how such systems can provide business intelligence and ...
Daniel J. Power
214
Voted
CSFW
2007
IEEE
15 years 10 months ago
Automaton-based Confidentiality Monitoring of Concurrent Programs
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
Gurvan Le Guernic