Projets financés
Apprentissage Automatique pour l'annotation visuelle dans les media sociaux – MLVIS
L’objectif de la proposition est la conception d’outils d’apprentissage statistique pour l’automatisation des tâches d’accès à l’information dans le contexte des grands media sociaux comme Flickr ou Youtube. Les media sociaux qui sont une source majeure d’informations, nécessitent de développer u
Méthodes catégoriques et logiques en transformations de modèles – CLIMT
Il existe de nombreuses manières d'aborder le problème de la qualité des logiciels. Le spectre de ces techniques s'étend des obligations de preuves, des conceptions d'architecture, des langages de spécifications, des langages de programmation jusqu'au test et à la vérification de programmes. Ces
Nouvelles Techniques en Calcul en-ligne – NeTOC
L'algorithmique en ligne est un domaine de l'informatique très actif et bien établi. Il concerne la conception et l'analyse d'algorithmes qui opèrent dans un contexte où les données sont fournies au fur et à mesure à l'algorithme. Celui-ci doit néanmoins effectuer des actions à chaque nouvelle réce
Calculabilité et complexité en distribué – DISPLEXITY
L’objectif principal de DISPLEXITY est d’établir les fondements scientifiques d’une théorie de la calculabilité et de la complexité du calcul distribué. Nous avons montré que l’ensemble des tâches qui peuvent être vérifiées par « yes/no » est limité. Nous avons donné une caractérisation complète des
Calcul Algébrique Haute-Performance – HPAC
L'ambition de HPAC est de fournir des bibliothèques de calcul algébrique intensif de référence au niveau international sur architectures multi-processeurs et d'influencer les approches de programmation parallèle pour le calcul algébrique en général. HPAC rassemble des chercheurs travaillant su
Evaluation de l’apprentissage sesnorimoteur dans des systèmes intéractifs geste-son – LEGOS
L’essor considérable des interfaces gestuelles dans les interfaces homme-machine, des systèmes informatiques mobiles aux jeux vidéo, fait émerger de nouveaux dispositifs technologiques et ainsi que de nouveaux usages où le geste est central. De fait, le contrôle gestuel dans des systèmes sonores int
Ressources dynamiques: séparation et mise à jour – DynRes
La société attend des systèmes informatiques qu'ils soient corrects et afin de maîtriser la complexité et l'hétérogénéité de ces systèmes, il est nécessaire de mettre en place des cadres formels qui intégrent des modèles différents, évoluant parfois dans des environnements physiques distincts.
Réalisabilité pour la logique classique, la concurrence, les références et la réécriture – RECRE
Le but de ce projet est d'acquérir une meilleure compréhension de la correspondance preuves/programmes pour la logique classique, à la lumière des avancées récentes issues de la théorie de la réalisabilité classique. Aujourd'hui, cette correspondance est très développée et bien comprise dans le c
Géométrie discrète et mathématiques appliquées pour la métamorphose de neige – DigitalSnow
Le projet est issu de discussions avec des chercheurs du Centre d'Etude de la Neige de météofrance travaillant sur l'analyse de neige. Lors d'une chute de neige, les cristaux de neige s'accumulent sur le sol et forment un structure poreuse complexe composée d'air, d'eau sous forme vapeur, de glace e
Modèles et algorithmes pour le conseil et et la gestion des préférences en configuration de produit – BR4CP (Business Recommendation for Confi
Scientifiquement, l'originalité du projet repose sur deux idées maîtresses : d'une part l'utilisation de techniques d'apprentissage pour la résolution de problèmes combinatoires ; d'autre part le recours à des approches du problème par compilation non seulement du catalogue ou des indicateurs client
Intégration des approches langage, logique et orientée données pour un traitement XML certifié, dirigé par les types. – TYPEX
Les trois partenaires de cette proposition travaillent au développement de méthodes formelles permettant de définir des transformations de documents XML de manière aisée, d'y appliquer des analyses statiques et de les implanter efficacement. Pour atteindre ce but, chaque partenaire utilise une a
Analyse des opérateurs de transport lumineux et applications – ALTA
Ce projet se situe dans le domaine de l'Informatique Graphique. L'un des buts de recherche en Informatique Graphique est de créer des images de scènes ou d'objets virtuels qui sont aussi proches que possible à l'aspect qu'auraient ces objets virtuels s'ils existaient en réalité. Ce champ de recherch
Systèmes de gestion d'entrepôts 2: packing avec formes complexes – Net-WMS-2
Les systèmes de gestion d'entrepôts (WMS) existants aujourd'hui fournissent des fonctionnalités avancées de gestion et de suivi des mouvements des articles à l'intérieur d'un entrepôt, mais ne permettent pas de satisfaire la demande croissante d’un traitement numérique pour aboutir notamment à un mo
Entropie et quantité d’information dans les modèles des systèmes computationnels – EQINOCS
1.contribuer significativement à la théorie relative à l'entropie (ou l'entropie généralisée) de systèmes dynamiques associés à des transducteurs, des arbres, des jeux et des automates cellulaires et temporisés. 2.étudier les processus d'information dans les systèmes computationnels. Nous voulons
Problèmes d'accessiblité difficiles pour les systèmes à compteurs – REACHARD
L'algorithme de décision pour l'accessibilité dans les VASS n'a jamais été mis en œuvre. C'est en raison de sa grande complexité, à la fois conceptuelle (l'algorithme est très difficile à comprendre et à décrire) et de calcul (on suppose que la complexité de l'algorithme n'est pas primitive récursiv
méthodes PRobabilistes pour l'Éfficacité des Structures et Algorithmes GEométriques – PRESAGE
Les communautés françaises de géométrie algorithmique et de géométrie stochastique ont de nombreux sujets d'intérêts communs mais assez peu d'interaction. Le projet Présage a pour objectif de les rapprocher autour de trois thématiques de recherche : – l'analyse de structures géométriques aléatoir
Hybridation de la fouille de données et du traitement automatique des langues – Hybride
Hybride vise à combiner les recherches en TAL et en FDD pour créer des processus interactifs où les méthodes de TAL guident le processus de fouille et les méthodes de fouille alimentent les processus de TAL. La combinaison de ces approches peut se voir comme un cercle vertueux entre TAL et FDD. Le p