1914 search results - page 285 / 383 » Abstract lambda-Calculus Machines |
SCALESPACE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Partial Differential equations (PDE), wavelets-based methods and neighborhood filters were proposed as locally adaptive machines for noise removal. Recently, Buades, Col...
STACS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We give a characterization, in terms of computational complexity, of the family Rec1 of the unary picture languages that are tiling recognizable. We introduce quasi-unary...
TCC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...
UCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...
FCCM
2006
IEEE
14 years 1 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...