151 search results - page 3 / 31 » Strong normalization from an unusual point of view |
CHES
2011
Springer
12 years 5 months ago
2011
Springer
Randomness extractors are important tools in cryptography. Their goal is to compress a high-entropy source into a more uniform output. Beyond their theoretical interest, they have ...
DIGRA
2005
Springer
13 years 10 months ago
2005
Springer
Interactive montage combines the elements of play and visual representation. The analysis of four examples of interactive montage in reference to a first person point of view high...
LPNMR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
CVPR
2009
IEEE
15 years 9 days ago
2009
IEEE
City environments often lack textured areas, contain
repetitive structures, strong lighting changes and therefore
are very difficult for standard 3D modeling pipelines.
We prese...
ASIACRYPT
2004
Springer
13 years 10 months ago
2004
Springer
We consider the problem of securely computing the Greater Than (GT) predicate and its generalization – securely determining membership in a union of intervals. We approach these ...