42 search results - page 1 / 9 » Declassification with Explicit Reference Points |
ESORICS
2009
Springer
13 years 8 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
ACL
2001
13 years 6 months ago
2001
We describe an algorithm for generating multimodal referring expressions, based on empirical data. The main novelties are (1) a decision to point based on both the efficiency of p...
IJISTA
2007
13 years 4 months ago
2007
: We propose a novel algorithm to register multiple 3D point sets within a common reference frame simultaneously. Our approach performs an explicit optimisation on the manifold of ...
JUCS
2007
13 years 4 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
OSDI
2002
ACM
14 years 5 months ago
2002
ACM
Recent advances in miniaturization and low-cost, lowpower design have led to active research in large-scale networks of small, wireless, low-power sensors and actuators. Time sync...