4099 search results - page 419 / 820 » A Framework for Interactive Proof |
180
click to vote
ETAI
1998
15 years 6 months ago
1998
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
193
Voted
USS
2010
15 years 4 months ago
2010
Web publishers frequently integrate third-party advertisements into web pages that also contain sensitive publisher data and end-user personal data. This practice exposes sensitiv...
216
click to vote
NFM
2011
15 years 1 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
184
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
A new context management framework, which supports the interaction between different domain context managers, is proposed. Two different context producerconsumer patterns are defin...
153
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Although PDAs typically run applications in a "standalone" mode, they are increasingly equipped with wireless communications, which makes them useful in new domains. Thi...