ADAEUROPE
2000
Springer
14 years 9 days ago
2000
Springer
AC
2000
Springer
14 years 9 days ago
2000
Springer
AC
2000
Springer
14 years 9 days 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
14 years 9 days 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
14 years 9 days ago
2000
Springer
AC
2000
Springer
14 years 9 days ago
2000
Springer
AC
2000
Springer
14 years 9 days ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
AC
2000
Springer
14 years 9 days ago
2000
Springer
AADEBUG
2000
Springer
14 years 9 days ago
2000
Springer
AADEBUG
2000
Springer
14 years 9 days ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...