2958 search results - page 428 / 592 » Extending and Implementing RASP |
159
click to vote
COST
1994
Springer
15 years 7 months ago
1994
Springer
In this paper, a teleservice for archiving and retrieving multimedia documents using public networks is described. This teleservice encourages a broad range of commercially applic...
138
Voted
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
121
Voted
HT
1993
ACM
15 years 7 months ago
1993
ACM
Taking the concept of a link from hypertext and adding to it the rich collection of information formats found in multimedia systems provides an extension to hypertext that is ofte...
146
Voted
LPNMR
1993
Springer
15 years 7 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
110
click to vote
PLILP
1993
Springer
15 years 7 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...