7827 search results - page 1496 / 1566 » time 2007 |
104
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
114
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...
SECON
2007
IEEE
15 years 6 months ago
2007
IEEE
— The coverage and connectivity problem in sensor networks has received significant attention of the research community in the recent years. In this paper, we study this problem...
SP
2007
IEEE
15 years 6 months ago
2007
IEEE
Since 1995, much work has been done creating protocols for private information retrieval (PIR). Many variants of the basic PIR model have been proposed, including such modificati...
SP
2007
IEEE
15 years 6 months ago
2007
IEEE
We evaluate website authentication measures that are designed to protect users from man-in-the-middle, ‘phishing’, and other site forgery attacks. We asked 67 bank customers t...