This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
Replica detection is a prerequisite for the discovery of copyright infringement and detection of illicit content. For this purpose, contentbased systems can be an efficient alter...
The growing importance of multi-agent applications and the need for a higher quality of service in these systems justify the increasing interest in fault-tolerant multi-agent syst...
Alessandro de Luna Almeida, Samir Aknine, Jean-Pie...
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
Wamberto Weber Vasconcelos, David Stuart Robertson...
- This paper presents a learning approach using cerebellar model articulation controller (CMAC) to accommodate faults for a class of multivariable nonlinear systems. A CMAC is prop...
Chih-Min Lin, Chang-Chih Chung, Yu-Ju Liu, Daniel ...