1860 search results - page 223 / 372 » A Temporal Logic of Robustness |
130
click to vote
IVC
2000
15 years 1 months ago
2000
We present a fast, robust, and low cost pupil detection technique that uses two near infra red time multiplexed light sources synchronized with the camera frame rate. The two ligh...
102
click to vote
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
There are various traditional video watermarking schemes robust to geometrical transformations. Most of them use synchronizing techniques or invariant transforms to resist geometr...
120
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In this paper we present a new method of signal processing for robust speech recognition using two microphones. The method, loosely based on the human binaural hearing system, con...
113
click to vote
TIME
2009
IEEE
15 years 8 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
107
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...