In a multi-user, real-time, and situation-based learning environment, the availability of enough and appropriate situations is crucial for success. In order to improve effectivenes...
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
The objective of the Answer Validation Exercise (AVE) 2007 is to develop systems able to decide if the answer to a question is correct or not. Since it is expected that a high per...
Interoperability testing is an inherently distributed task. It connects different implementations together and determines if they interact according to their specifications, prov...
Ariel Sabiguero, Anthony Baire, Antoine Boutet, C&...
A new approach for automated synthesis of analog and mixed-signal systems is presented. The heterogeneous genetic optimization strategy starts from a functional description and ev...