Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
Lucie Callens, Guy Carrault, Marie-Odile Cordier, ...
: Software agent technology has matured enough to produce intelligent agents, which can be used to control a large number of concurrent engineering tasks. Multi-agent systems are c...
Pericles A. Mitkas, Andreas L. Symeonidis, Dionisi...
This paper presents a reconfigurable resource support mechanism to address scheduling issues in distributed embedded environment. A configurable object architecture is employed to...
In a stationary sensor situation, locating signals arriving from different directions can be achieved by using multiple sensors placed at different locations. Different methods fo...
Ramzi W. Elkhater, Evangelos A. Yfantis, John Istl...
We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that search-free proof reconstruction requires knowledge...