12774 search results - page 2227 / 2555 » A Framework for Proof Systems |
184
click to vote
CRYPTO
2007
Springer
16 years 1 months ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
177
click to vote
DAGM
2007
Springer
16 years 1 months ago
2007
Springer
Deblurring is important in many visual systems. This paper presents a novel approach for nonstationary blurred image reconstruction with ringing reduction in a variational Bayesian...
167
click to vote
DBPL
2007
Springer
16 years 1 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
167
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a model of a recurrent neural network with homeostasic units, embodied in a minimalist articulated agent with a single link and joint. The configuration of th...
187
click to vote
ERCIMDL
2007
Springer
16 years 1 months ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...