منابع مشابه
Calcul des équilibres de Nash dans les jeux temporisés
Les automates temporisés [AD90] permettent de modéliser un système où le temps s’écoule de façon continu. Ils sont utiles en vérification car beaucoup de propriétés intéressantes sont décidables sur ces modèles. Plusieurs outils ont été développés basés sur des automates temporisés. Les jeux permettent d’étudier des systèmes ouverts. Étant plongé dans un environnement, certaines actions sont co...
متن کاملLa théorie des jeux pour l'établissement des contrats dans les réseaux interdomaines
Dans ce travail, nous montrons comment mettre en œuvre la gestion des ressources et la garantie de QoS (Quality of Service) dans l’interdomaine en utilisant le modèle en stock [1]. Dans [1], nous avons appliqué un modèle distribué pour l’établissement des SLAs (Service Level Agreement) entre les opérateurs pour l’achat des routes avec une garantie de QoS et des résultats significatifs ont été o...
متن کاملMario, Warcraft ou Pokemon ? La programmation de jeux vidéo comme motivation dans l'apprentissage des sciences informatiques
RESUME : La programmation de jeux vidéo est une motivation souvent donnée par les étudiants désireux de suivre une formation en sciences informatiques. Or implémenter un jeu vidéo est complexe et fait appel à beaucoup de notions dont la plus visible est l'Interface Homme-Machine (IHM). Cette dernière fait souvent obstacle à la proposition d'un sujet de projet portant sur le jeu vidéo. Pourtant,...
متن کاملReprésentation et détection des émotions dans des dialogues enregistrés dans un centre d'appel. Des émotions complexes dans des données réelles
RÉSUMÉ. Les émotions complexes dans des contextes réels ont encore été peu étudiées. Dans ce papier, nous explorons comment représenter et automatiquement détecter le comportement émotionnel de sujets dans le contexte d’interactions orales Homme-Homme. Par rapport aux nombreuses études précédentes conduites sur des données artificielles, ce papier montre les défis auxquels on doit faire face lo...
متن کاملDe l'oprateur de trace dans les jeux de Conway
In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Miranda
سال: 2010
ISSN: 2108-6559
DOI: 10.4000/miranda.1626