288 search results - page 28 / 58 » Table of Contents (pdf) |
CONCUR
2009
Springer
15 years 2 months ago
2009
Springer
ract bigraphs lack RPOs 57 6 Sorting 59 6.1 Place sorting and CCS 59 6.2 Link sorting, arithmetic nets and Petri nets 64 6.3 The impact of sorting 69 Part II : Motion 71 7 Reaction...
85
Voted
AC
2000
Springer
15 years 2 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...
HOPL
1993
15 years 2 months ago
1993
The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; in this case, French. The project gave r...
MM
1995
ACM
15 years 1 months ago
1995
ACM
We discuss the application of multimedia in scientific design, and describe a multi-user distributed and collaborative scientific manipulation environment, SHASTRA, implemented on...
ERCIMDL
1998
Springer
15 years 2 months ago
1998
Springer
This paper first outlines a multi-level video indexing approach based on Dublin Core extensions and the Resource Description Framework (RDF). The advantages and disadvantages of t...