Bracket languages play an important role in the syntax analysis of programming languages. We investigate the parallel recognition and analysis of these languages as a first step ...
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
: We present CaDiS - a new multimedia medical workstation, which helps early and precise diagnosis and treatment of cervical cancer. The workstation is developed with the close par...
This paper reports an early progress of a feasibility study of a computational intelligence approach to the enhancement of the accuracy of flow measurements in the framework of a ...