16430 search results - page 632 / 3286 » On Computable Tree Functions |
145
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
We deal with blind signal extraction in the framework of a convolutive mixture of independent sources. Considering so-called reference signals, we generalize former identifiabilit...
138
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a wrapper and TAM co-optimization method for reuse of SoC functional interconnects to minimize test time under area constraint. The proposed method consists of...
172
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose new discrete-to-continuous interpolation models for hexagonally sampled data, that generalize two families of splines developed in the literature for the hexagonal latt...
202
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
183
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...