Sciweavers

3116 search results - page 137 / 624
» Recovering
Sort
View
RTA
2010
Springer
14 years 1 months ago
Higher-Order (Non-)Modularity
We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the...
Claus Appel, Vincent van Oostrom, Jakob Grue Simon...
FSE
2007
Springer
128views Cryptology» more  FSE 2007»
14 years 1 months ago
Differential-Linear Attacks Against the Stream Cipher Phelix
The previous key recovery attacks against Helix obtain the key with about 288 operations using chosen nonces (reusing nonce) and about 1000 adaptively chosen plaintext words (or 23...
Hongjun Wu, Bart Preneel
ICIAP
2007
ACM
14 years 1 months ago
Ball Position and Motion Reconstruction from Blur in a Single Perspective Image
We consider the problem of localizing a moving ball from a single calibrated perspective image; after showing that ordinary algorithms fail in analyzing motion blurred scenes, we ...
Giacomo Boracchi, Vincenzo Caglioti, Alessandro Gi...
DSOM
2006
Springer
14 years 27 days ago
Reconfiguring Self-stabilizing Publish/Subscribe Systems
Recent work on self-stabilizing routing in publish/subscribe systems showed that it is feasible to automate reconfigurations in case of faults by enabling the system to recover fro...
Michael A. Jaeger, Gero Mühl, Matthias Werner...
ECAI
2006
Springer
14 years 27 days ago
Using Occlusion Calculi to Interpret Digital Images
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...
David A. Randell, Mark Witkowski