Sciweavers

1370 search results - page 64 / 274
» On the Consistent Observation of Active Systems
Sort
View
EDOC
2007
IEEE
16 years 12 days ago
Model-Driven Engineering for Requirements Analysis
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
Benoit Baudry, Clémentine Nebut, Yves Le Tr...
ICASSP
2011
IEEE
14 years 9 months ago
Color correction for object tracking across multiple cameras
Color is a powerful attribute that is used to characterize objects for tracking and other surveillance tasks. Since color is dependent on ambient illumination and the imaging equi...
Satyam Srivastava, Ka Ki Ng, Edward J. Delp
IUI
2000
ACM
15 years 10 months ago
SUITOR: an attentive information system
Attentive systems pay attention to what users do so that they can attend to what users need. Such systems track user behavior, model user interests, and anticipate user desires an...
Paul P. Maglio, Rob Barrett, Christopher S. Campbe...
CDC
2008
IEEE
180views Control Systems» more  CDC 2008»
16 years 17 days ago
Opacity-enforcing supervisory strategies for secure discrete event systems
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
Anooshiravan Saboori, Christoforos N. Hadjicostis
IJSNET
2007
155views more  IJSNET 2007»
15 years 6 months ago
Distributed Bayesian fault diagnosis of jump Markov systems in wireless sensor networks
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...
Hichem Snoussi, Cédric Richard