AC
2000
Springer
13 years 4 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
AC
2000
Springer
13 years 4 months ago
2000
Springer
AC
2000
Springer
13 years 4 months ago
2000
Springer
AC
2000
Springer
13 years 4 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
AC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
AC
2000
Springer
13 years 8 months ago
2000
Springer
AC
2000
Springer
13 years 8 months ago
2000
Springer
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 ...
AC
2000
Springer
13 years 8 months ago
2000
Springer
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...
AC
2000
Springer
13 years 8 months ago
2000
Springer
AC
2000
Springer
13 years 8 months ago
2000
Springer
