Search
Now showing items 71-80 of 219
Exploiting course grain parallelism from FORTRAN by mapping it to IF1
(1998)
FORTRAN, a classical imperative language is mapped into IF1, a machine-independent dataflow graph description language with Single Assingment Semantics (SAS). Parafrase 2 (P2) is used as the front-end of our system. It ...
On network survivability algorithms based on trellis graph transformations
(1999)
Due to the wide range of services being supported, telecommunications networks are loaded with massive quantities of information. This stimulates extra concern for network survivability. In this paper, we use graph theoretic ...
Market model for level of detail control
(ACM, 1999)
In virtual reality simulations the speed of rendering is vitally important. One of the techniques for controlling the frame rate is the assignment of different levels of detail for each object within a scene. The most ...
ACLP: Flexible solutions to complex problems
(1997)
In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
Artificial neural networks for modelling the starting-up of a solar steam-generator
(1998)
An experimental solar steam generator, consisting of a parabolic trough collector, a high-pressure steam circuit, and a suitable flash vessel has been constructed and tested in order to establish the thermodynamic performance ...
Learning multiple predicates
(1998)
We present an approach for solving some of the problems of top-down Inductive Logic Programming systems when learning multiple predicates. The approach is based on an algorithm for learning abductive logic programs. Abduction ...
WebExpress: A client/intercept based system for optimizing Web browsing in a wireless environment
(1998)
This paper describes an application model and software technology that makes it possible to run World Wide Web applications in wide area wireless networks. Web technology in conjunction with today's mobile devices (e.g., ...