Sciweavers

8766 search results - page 1236 / 1754
» Functional logic programming
Sort
View
VISUAL
1999
Springer
15 years 10 months ago
Generic Viewer Interaction Semantics for Dynamic Virtual Video Synthesis
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
Craig A. Lindley, Anne-Marie Vercoustre
ICALP
1998
Springer
15 years 10 months ago
Metric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
Christel Baier, Joost-Pieter Katoen, Diego Latella
PLDI
1997
ACM
15 years 10 months ago
Generational Garbage Collection and the Radioactive Decay Model
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
William D. Clinger, Lars Thomas Hansen
PLDI
1997
ACM
15 years 10 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
AISB
1997
Springer
15 years 10 months ago
Modelling Bounded Rationality Using Evolutionary Techniques
A technique for the credible modelling of economic agents with bounded rationality based on the evolutionary techniques is described. The genetic programming paradigm is most suite...
Bruce Edmonds, Scott Moss
« Prev « First page 1236 / 1754 Last » Next »