Un automate bous t roph6don est un automate fini (non d&erministe) muni d 'une t&e de lecture pouvant se d6placer dans les deux sens. Le compor tement fini d 'un tel au tomate est bien connu: il est identique h celui d 'un automate fini (cf. [5] et [4]). Nous montrons ici qu' i l e n e s t de m~me de son compor tement infini. Dans ce qui suit A d6signe un alphabet fini, A* l 'ensemble des mots ...

Departement Elektrotechniek ESAT-SISTA/TR 96-71 Generalized Linear Complementarity Problems and the Analysis of Continuously Variable Systems and Discrete Event Systems1 Bart De Schutter2 and Bart De Moor2 Proceedings of the International Workshop on Hybrid and Real-Time Systems (HART'97), Grenoble, France, March 26-28, 1997 vol. 1201 in Lecture Notes in Computer Science, Springer-Verlag, pp. 4...

Dans cet article, nous présentons le projet d'opéra interactif sur CD-ROM Virtualis. Ce projet comporte une dimension scientifique aussi bien qu'artistique. Il nous a donné l'occasion de concevoir une modélisation de la représentation d'opéra en utilisant des formalismes des sciences de l'organisation. De plus, notre réflexion sur l'interaction entre un utilisateur et des contenus opératiques n...

ference (IAAI) is the premier venue for documenting the transition of AI technology into applications. In this and the next issue of AI Magazine, we will present extended versions of papers presented at IAAI-12 (held in Toronto, Ontario, Canada) that were selected for their description of AI technologies that are either in practical use or close to it. We also present an article by Ramon Lopez ...