Model-checking appliqué à un système d’agents mobiles

Model-checking appliqué à un système d’agents mobiles Vérification des systèmes temps-réel Dans la littérature des algèbres de processus, il existe plusieurs approches de la vérification. L’une d’elles consiste à prendre deux descriptions d’un même système et de prouver leur équivalence...

Déficiences des robots bipèdes notion de compliance volontaire et involontaire

MISE EN ÉVIDENCE DES DÉFICIENCES ARTICULAIRES ET STRUCTURELLES DES ROBOTS HUMANOÏDES CAS DE ROBIAN Déficiences des robots bipèdes : notion de compliance volontaire et involontaire La « compliance » (anglicisme, en français le terme équivalent est « complaisance ») dans...

Le Travail Coopératif Assisté par Ordinateur, un cadre adapté

Le Travail Coopératif Assisté par Ordinateur, un cadre adapté Le Travail Coopératif Assisté par Ordinateur (TCAO - traduction du terme anglais CSCW) se propose d’étudier les mécanismes de coopération à l’aide des théories existantes en Sciences Humaines et Sociales, de...

Les modèles à base d’équations différentielles ou modèles compartimentaux

Les modèles à base d’équations différentielles ou modèles compartimentaux Considérés comme une référence dans le monde épidémiologique, les modèles compartimentaux sont des modèles dans lesquels la population est divisée en un nombre fini de compartiments qui inter-agissent entre eux suivant...

L’assistance robotisée aux personnes en situation de handicap

L'assistance robotisée aux personnes en situation de handicap L'assistance robotisée à la saisie "Un senior pourra demander au robot qui comprendra le langage humain, de commander de la nourriture au restaurant d'en face par exemple. Le robot ira chercher la...

Robotique et Vision par Ordinateur

Robotique et Vision par Ordinateur Vision 3D La vision en trois dimensions est un sujet sur lequel porte de nombreuses études en vision industrielle. Les domaines d’application sont les suivants : − inspection tridimensionnelle d’objets, − prise en vrac pour...

Procédures de perception en vision par ordinateur

Procédures de perception en vision par ordinateur  Modèles généraux de perception en vision artiicielle Les procédures de perception en vision par ordinateur fonctionnent à l’image d’un « entonnoir »:le capteur délivre, après digitalisation, un grand volume d’informations sur une scène,...

Exercices automates

Automates Exercice 5.7 Déterminiser l’automate suivant : Figure 5.30 Exercice 5.8 Construire des automates déterministes qui reconnaissent les langages suivants. En déduire des automates déterministes qui reconnaissent les complémentaires de ces langages : • (a) L’ensemble des mots sur l’alphabet...

Le problème de l’inclusion des automates de Parikh faiblement non ambigus

Le problème de l’inclusion des automates de Parikh faiblement non ambigus Introduction au problème de l’inclusion Dans ce chapitre, nous étudions une conséquence algorithmique de la propriété d’holonomie des séries de comptage des automates de Parikh faiblement non ambigus. Le...

Le conditionnement du second ordre pour la référenciation sociale

Le conditionnement du second ordre pour la référenciation sociale Expressions faciales - Interaction di-adique L’interaction homme/robot au travers des signaux émotionnels est de plus en plus étudiée. Bien que les solutions ingénieur ad-hoc exhibent des résultats impressionnants, elles ne permettent...