Sciweavers

Share
AC
2000
Springer
8 years 7 months ago
State of the art in electronic payment systems
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
N. Asokan, Philippe A. Janson, Michael Steiner, Mi...
AC
2000
Springer
8 years 7 months ago
Machine translation
Sergei Nirenburg, Yorick Wilks
AC
2000
Springer
8 years 7 months ago
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
Marcos A. Kiwi, Frédéric Magniez, Mi...
AC
2000
Springer
8 years 10 months ago
Monads and Effects
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
Nick Benton, John Hughes, Eugenio Moggi
AC
2000
Springer
8 years 11 months ago
An Introduction to Low-Density Parity-Check Codes
Mohammad Amin Shokrollahi
AC
2000
Springer
8 years 11 months ago
Graph-Theoretical Methods in Computer Vision
The management of large databases of hierarchical (e.g., multi-scale or multilevel) image features is a common problem in object recognition. Such structures are often represented ...
Ali Shokoufandeh, Sven J. Dickinson
AC
2000
Springer
8 years 11 months ago
Operational Semantics and Program Equivalence
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
Andrew M. Pitts
AC
2000
Springer
8 years 11 months ago
Normalization and Partial Evaluation
Peter Dybjer, Andrzej Filinski
books