Sciweavers

257 search results - page 45 / 52
» Discrete Event Control with Active Events
Sort
View
IPSN
2004
Springer
14 years 1 months ago
Estimation from lossy sensor data: jump linear modeling and Kalman filtering
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
Alyson K. Fletcher, Sundeep Rangan, Vivek K. Goyal
ICDCSW
2008
IEEE
14 years 2 months ago
Real-Time Data Services for Cyber Physical Systems
Cyber Physical Systems (CPSs) have grand visions with great socio-economic impacts such as blackout-free electricity supply and real-time disaster recovery. A key challenge is pro...
Kyoung-Don Kang, Sang Hyuk Son
DEXAW
2005
IEEE
210views Database» more  DEXAW 2005»
14 years 1 months ago
LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications
Collaboration activities usually involve several people presenting different group tasks and requirements. Accordingly, collaboration is rarely supported by a single CSCW technolo...
Roberta Lima-Gomes, Guillermo de Jesús Hoyo...
CVPR
1997
IEEE
14 years 2 days ago
Multi-Modal Tracking of Faces for Video Communications
This paper describes a system which uses multiple visual processes to detect and track faces for video compression and transmission. The system is based on an architecture in whic...
James L. Crowley, François Bérard
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
13 years 10 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...