Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
In this talk, I will present the main ideas behind the Belanp’s agency theory in branching space-time. The focus will be more on branching time versus branching space-time for agents, and how stit theory of agency can be adapted to branching space-time. The notion of mere indeterminism as structured in this theory will be presented. Some critics of the theory will be discussed in the context of applying it to software agents and multi-agent systems. Strategies in this theory compared to other theories such as game, coalition, and alternating-time temporal logics developed in artificial intelligence will be presented. Also some …
Communication
Face à la mondialisation de l’informatique, les fabricants de logiciels sont appelés à tenir compte des différents aspects culturels dans leurs produits. Ceci repose sur deux étapes : l’internationalisation (I18N) et la localisation (L10N). En outre, la L10N arabe présente de nombreux aspects nécessitant un traitement particulier. Dans ce contexte, nous avons développé une architecture capable de répondre aux besoins du multilinguisme pour un environnement Web d’évaluation à distance nommé EDILE (Exam DIistance Learning Environment). L’architecture proposée repose sur la séparation des codes des programmes des ressources utilisées. L’architecture est dotée aussi d’un composant assurant le formatage pour les différents …
Communication
Face à la mondialisation de l’informatique, les fabricants de logiciels sont appelés à tenir compte des différents aspects culturels dans leurs produits. Ceci repose sur deux étapes : l’internationalisation (I18N) et la localisation (L10N). En outre, la L10N arabe présente de nombreux aspects nécessitant un traitement particulier. Dans ce contexte, nous avons développé une architecture capable de répondre aux besoins du multilinguisme pour un environnement Web d’évaluation à distance nommé EDILE (Exam DIistance Learning Environment). L’architecture proposée repose sur la séparation des codes des programmes des ressources utilisées. L’architecture est dotée aussi d’un composant assurant le formatage pour les différents …
