.:. Browse > List by subject > Computation and Language .:.

400 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Formal Modelling and Verification of Population Protocols Méry D., Poppleton M. In iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00813033 - version 1]

Modeling the Dynamic Effects of Discourse: Principles and Frameworks Amblard M., Pogodalla S. Dans Dialogue, Rationality, Formalism, Springer (Ed.) (2013) [hal-00737765 - version 1]

Schizophrénie et Langage : Analyse et modélisation. De l'utilisation des modèles formels en pragmatique pour la modélisation de discours pathologiques Amblard M., Musiol M., Rebuschi M. Dans Congrès MSH 2012 (2012) [hal-00761540 - version 1]

Accessibility for Plurals in Continuation Semantics Qian S., Amblard M. Dans the Ninth International Workshop of Logic and Engineering of Natural Language Semantics 9 (LENLS 9) (2012) 52-65 [hal-00762203 - version 1]

Code synchronization by morphological analysis Bonfante G., Marion J.-Y., Sabatier F., Thierry A. 7th International Conference on Malicious and Unwanted Software (Malware 2012) (2012) [hal-00764286 - version 1]

What should I do now? Supporting conversations in a serious game. Rojas Barahona L. M., Gardent C. Dans SeineDial 2012 - 16th Workshop on the Semantics and Pragmatics of Dialogue (2012) [hal-00757892 - version 1]

FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Giannakopoulou D., Méry D. Springer (Ed.) (2012) 488 [hal-00743808 - version 1]

Characterizing Modular Ontologies Ben Abbès S., Scheuermann A., Meilender T., D'Aquin M. Dans 7th International Conference on Formal Ontologies in Information Systems - FOIS 2012 (2012) 13-25 [hal-00710035 - version 2]

An End-to-End Evaluation of Two Situated Dialog Systems. Rojas Barahona L. M., Lorenzo A., Gardent C. Dans Proceedings of the 13th Annual Meeting of the Special Interest Group on Discourse and Dialogue (2012) 10-19 [hal-00726723 - version 1]

Grew : un outil de réécriture de graphes pour le TAL Guillaume B., Bonfante G., Masson P., Morey M., Perrier G. Dans 12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12) (2012) [hal-00760637 - version 1]