2558 search results - page 478 / 512 » Model Composition Contracts |
130
click to vote
ENTCS
2002
15 years 1 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
129
click to vote
NRHM
2000
15 years 1 months ago
2000
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...
145
click to vote
CN
1999
15 years 1 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
126
click to vote
TOPLAS
1998
15 years 1 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
132
click to vote
CGF
2008
15 years 1 months ago
2008
The paper describes a technique to generate high-quality light field representations from volumetric data. We show how light field galleries can be created to give unexperienced a...