13383 search results - page 2358 / 2677 » Abstractions from proofs |
159
click to vote
KI
2010
Springer
15 years 2 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
149
click to vote
LATINCRYPT
2010
15 years 2 months ago
2010
Abstract. Misty schemes are classic cryptographic schemes used to construct pseudo-random permutations from 2n bits to 2n bits by using d pseudo-random permutations from n bits to ...
141
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
145
click to vote
WINET
2010
15 years 2 months ago
2010
Abstract Algorithms for scheduling TDMA transmissions in multi-hop networks usually determine the smallest length conflict-free assignment of slots in which each link or node is a...
148
click to vote
FOCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We consider statistical data analysis in the interactive setting. In this setting a trusted curator maintains a database of sensitive information about individual partici...