Sciweavers

457 search results - page 31 / 92
» The locality principle
Sort
View
FAST
2008
14 years 8 days ago
Towards Tamper-evident Storage on Patterned Media
We propose a tamper-evident storage system based on probe storage with a patterned magnetic medium. This medium supports normal read/write operations by outof-plane magnetisation ...
Pieter H. Hartel, Leon Abelmann, Mohammed G. Khati...
ICPR
2010
IEEE
13 years 10 months ago
Multipath Interference Compensation in Time-of-Flight Camera Images
—Multipath interference is inherent to the working principle of a Time-of-flight camera and can influence the measurements by several centimeters. Especially in applications th...
Stefan Fuchs
ECCV
2008
Springer
14 years 12 months ago
ASN: Image Keypoint Detection from Adaptive Shape Neighborhood
Abstract. We describe an accurate keypoint detector that is stable under viewpoint change. In this paper, keypoints correspond to actual junctions in the image. The principle of AS...
Jean-Nicolas Ouellet, Patrick Hébert
STACS
2010
Springer
14 years 5 months ago
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
Lutz Schröder, Dirk Pattinson
MABS
2004
Springer
14 years 3 months ago
Simulation and Analysis of Shared Extended Mind
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut...