5154 search results - page 115 / 1031 » Computing and using residuals in time series models |
164
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
186
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
—We present a technique to discover the position of sensors on the human body. Automatic on-body device localization ensures correctness and accuracy of measurements in health an...
172
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a convex optimization method for maximum likelihood estimation of autoregressive models, subject to conditional independence constraints. This problem is an extension t...
183
click to vote
CVPR
2007
IEEE
16 years 20 days ago
2007
IEEE
3D human pose recovery is considered as a fundamental step in view-invariant human action recognition. However, inferring 3D poses from a single view usually is slow due to the la...
272
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce a new domain-independent framework for formulating and efficiently evaluating similarity queries over historical data, where given a history as a sequence of timestam...