6059 search results - page 332 / 1212 » A Technique for Verifying Measurements |
186
click to vote
MVA
1990
15 years 8 months ago
1990
A technique for building a three-dimensional description of a static scene from a spatiotemporal image is presented. This technique utilizes Homocentric Spherical Spatiotemporal I...
113
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
The square-root information filter and smoother algorithms have been generalized to handle singular state transition matrices and perfect measurements. This has been done to allow...
206
click to vote
JCO
2011
14 years 9 months ago
2011
This paper presents mathematical programming techniques for solving a class of multi-sensor scheduling problems. Robust optimization problems are formulated for both deterministic ...
215
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
188
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...