3735 search results - page 631 / 747 » Order compression schemes |
102
click to vote
PEPM
1993
ACM
15 years 4 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
114
click to vote
SAC
1994
ACM
15 years 4 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
104
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
104
click to vote
IWMM
1992
Springer
15 years 4 months ago
1992
Springer
Abstract. Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discar...
119
Voted
ACCV
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents an efficient indexing and retrieval scheme for searching in document image databases. In many non-European languages, optical character recognizers are not very...