Sciweavers

55 search results - page 3 / 11
» Temporal Centering
Sort
View
ICC
2008
IEEE
115views Communications» more  ICC 2008»
14 years 3 months ago
Joint Power Scheduling and Estimator Design for Sensor Networks Across Parallel Channels
—This paper addresses the joint estimator and power optimization problem for a sensor network whose mission is to estimate an unknown parameter. We assume a two-hop network where...
Lauren M. Huie, Xiang He, Aylin Yener
SPIN
2001
Springer
14 years 1 months ago
From Model Checking to a Temporal Proof
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
Doron Peled, Lenore D. Zuck
SIGSOFT
2007
ACM
14 years 9 months ago
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
CVIU
2004
132views more  CVIU 2004»
13 years 8 months ago
Layered representations for learning and inferring office activity from multiple sensory channels
We present the use of layered probabilistic representations for modeling human activities, and describe how we use the representation to do sensing, learning, and inference at mul...
Nuria Oliver, Ashutosh Garg, Eric Horvitz
FGR
2000
IEEE
159views Biometrics» more  FGR 2000»
14 years 1 months ago
Gesture Modeling and Recognition Using Finite State Machines
This paper proposes a state based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each gesture is defined to be an ordered sequence ...
Pengyu Hong, Thomas S. Huang, Matthew Turk