4029 search results - page 322 / 806 » Reconfigurable Systems in Education |
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: Visual Cryptography is a secret sharing scheme that uses the human visual system to perform computations. This paper presents a recursive hiding scheme for 3 out of 5 secret shar...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
190
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: This paper addresses the problem of reconstructing an image from 1-bit-quantized measurements, considering a simple but nonconventional optical acquisition model. Following a com...
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
187
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The derivation trees of a tree adjoining grammar provide a first insight into the sentence semantics, and are thus prime targets for generation systems. We define a formalism, fea...