4217 search results - page 6 / 844 » Computational indistinguishability logic |
AROBOTS
2004
13 years 7 months ago
2004
This paper addresses the localization and mapping problem for a robot moving through a (possibly) unknown environment where indistinguishable landmarks can be detected. A set theo...
ICDCS
2000
IEEE
13 years 11 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
ENTCS
2007
13 years 7 months ago
2007
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
EUSFLAT
2009
13 years 5 months ago
2009
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
Watching TV shows on cell phones is starting to become a reality. Nevertheless, there still exist some significant issues due to the small size of cell phone screens. The direct t...