This report presents the speciication and veriication of a consensual decision protocol used in Co 4 , a computer environment dedicated to the building of a distributed knowledge base. This protocol has been speciied in the Iso formal description technique Lotos. The Cadp tools from the Eucalyptus Lotos toolset have been used to verify diierent safety and liveness properties. The veriication wo...

Les modèles de langage ont pour but de caractériser et d’évaluer la qualité des énoncés en langue naturelle. Leur rôle est fondamentale dans de nombreux cadres d’application comme la reconnaissance automatique de la parole, la traduction automatique, l’extraction et la recherche d’information. La modélisation actuellement état de l’art est la modélisation "historique" dite n-gramme associée à d...

Objectif : La présente étude vise à évaluer l’efficacité des programmes de réadaptation physique menés en milieu multidisciplinaire chez des patients souffrant de lombalgie. Conception : Il s’agit d’une étude rétrospective dans laquelle ont été analysées des données objectives sur des patients ayant été soumis à un programme de réadaptation mené en milieu privé multidisciplinaire. Patients : 14...

la langue maternelle peut jouer un rôle significatif dans l'apprentissage d'une langue étrangère. cet article s'intéresse aux difficultés des apprenants/étudiants iraniens dans l'emploi du participe présent et du gérondif. a cet égard, on peut se rendre compte que la plupart de ces erreurs trouvent leur origine dans l'absence de ces deux points grammaticaux en persan. dans la traduction des tex...

l'importance de la traduction dans le monde moderne éclate de façon flagrante. la traduction est présente dans mille aspects de la vie quotidienne. cette omniprésence est le témoignage d'une société où se multiplient les échanges internationaux dans tous les domaines. etant donné le nombre considérable de texte à traduire dans un temps limité, on voit des traductions de mauvaise qualité avec be...

RÉSUMÉ : La transformation progressive des exigences imposées au secteur hospitalier et l’apparition de nouvelles pressions, notamment financières mais aussi des exigences de confort des patients poussent les systèmes de soins de santé à se réorganiser. La prise en compte de l’impact de ces transformations sur le circuit du patient devant suivre des examens a justifié l’étude en cours sur le pi...

le débat sur la traduction des noms propres est toujours ouvert. selon certains théoriciens ou traducteurs, les noms propres sont incontestablement intraduisibles, alors que comme la pratique de la traduction a prouvé le contraire, il y en a d’autres qui croient qu’elle est non seulement possible mais d’une grande nécessité. nous croyons qu’au-delà de la polémique et la pratique de la traduisib...

Résumé. En établissant des relations entre des concepts issus de deux ontologies distinctes, les outils d’alignement peuvent être utilisés pour enrichir une des deux ontologies avec les concepts de l’autre. Cet article identifie des traitements complémentaires à l’alignement pour finaliser l’enrichissement et montre comment ils peuvent être spécifiés et mis en œuvre dans TaxoMap Framework. Une ...

Views over databases have been studied in various directions for many years. Among these directions , translating view updates in terms of updates on the base relations BS81, IL83], and materialized views and their maintenance BLT86, CW91] have motivated many research eeorts. Nowadays, materialized views are nding increased research activity with applications in decision support which is releva...