Sciweavers

JELIA
1994
Springer
15 years 5 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
IEAAIE
1994
Springer
15 years 5 months ago
Applying Blackboard Techniques to Real-Time Signal Processing and Multimedia Network Management
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
Randall J. Calistri-Yeh
APN
1994
Springer
15 years 5 months ago
Modelling the Work Flow of a Nuclear Waste Management Program
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
Kjeld Høyer Mortensen, Valerio O. Pinci
AGP
1994
IEEE
15 years 5 months ago
An Abstract Interpretation Framework for (almost) Full Prolog
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...
Artificial Intelligence
Top of PageReset Settings