Sciweavers

4129 search results - page 721 / 826
» Dynamic Contextual Adaptation
Sort
View
CONCUR
2008
Springer
13 years 11 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
COORDINATION
2008
Springer
13 years 11 months ago
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hil...
ACL
2008
13 years 10 months ago
Yawat: Yet Another Word Alignment Tool
Yawat1 is a tool for the visualization and manipulation of word- and phrase-level alignments of parallel text. Unlike most other tools for manual word alignment, it relies on dyna...
Ulrich Germann
ALENEX
2007
105views Algorithms» more  ALENEX 2007»
13 years 10 months ago
ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm
We present a novel randomized approach to the graph isomorphism problem. Our algorithm aims at solving difficult instances by producing randomized certificates for non-isomorphis...
Martin Kutz, Pascal Schweitzer
DPHOTO
2010
360views Hardware» more  DPHOTO 2010»
13 years 10 months ago
Signal-dependent raw image denoising using sensor noise characterization via multiple acquisitions
Accurate noise level estimation is essential to assure good performance of noise reduction filters. Noise contaminating raw images is typically modeled as additive white and Gauss...
Angelo Bosco, Arcangelo Bruna, D. Giacalone, Sebas...