1809 search results - page 278 / 362 » Weakly Computable Real Numbers |
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
MIRRORBOT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
RAID
2005
Springer
14 years 2 months ago
2005
Springer
One class of worm defense techniques that received attention of late is to “rate limit” outbound traffic to contain fast spreading worms. Several proposals of rate limiting t...
SCALESPACE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose a new motion estimator for image sequences depicting fluid flows. The proposed estimator is based on the Helmholtz decomposition of vector fields. This ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Context-aware information systems for mobile users have to cope with a variety of requirements in order to be able to provide an added value that goes beyond simply location-based...