Projets financés
Algorithmes et complexité´ des langages de contraintes – ALCOCLAN
Etant donné qu'il s'agit d'un projet international avec l'Autriche, uniquement un résumé en anglais est disponible.
Approche Logique de Nouveaux Paradigmes de Calcul – Locali
La logique et la théorie des algorithmes sont deux domaines clés en informatique. La logique est traditionnellement vue en Europe comme la clé de voûte de l'édifice mathématique, alors que les lettrés Chinois ont une tradition plus marquée en algorithmique. Les célèbres "Neufs chapitres sur les algo
Indexation de collections multimédia pour la préservation et la dissémination de la culture mexicaine – MEX-CULTURE
Le projet MEX-CULTURE a pour objectifs : 1. La mise au point de nouvelles méthodes d'indexation à large échelle de contenus multimédia. 2. Appliquer les méthodes mises au point aux contenus issus de FONOTECA NACIONAL (archive nationale sonore du Mexique) et de la TVUNAM (plus de 100 000 heures de