Projets financés
Algorithmes pour la modélisation du système visuel: de la vision naturelle aux applications numériques. – KEOpS
andis que le comportement des cellules ganglionnaires de la rétine semble bien cerné lors de la présentation de stimuli artificiels (souvent, par un modèle comportant un filtre spatial et temporel suivi d'une fonction non-linéaire ), dès que la rétine se retrouve en condition naturelle, son comporte
VAUCANSON 2: Une plateforme de manipulation d'automates finis – VAUCANSON 2
Ce projet consiste d'une part en la réalisation d'une plateforme logicielle dédiée au calcul de, et par, les automates finis. D'autre part, il s'agit de la suite ( le numéro 2 après le nom VAUCANSON) d'un projet du même type, conduit par les mêmes partenaires depuis huit ans, mais sans soutien finan
Identification de systèmes non linéaires par modules inter-connectés étendus – EBONSI
L’identification de systèmes concerne la théorie et la pratique pour la modélisation mathématique de systèmes dynamiques à partir de données expérimentales. C’est un sujet commun à de nombreux domaines scientifiques et technologiques, même si le terme « identification de système » est habituellemen
Extraction d'information et interprétation multi-échelle en télédétection – XIMRI
La télédétection est une technique importante pour l'observation de la terre, et l'interprétation automatique des images acquises reste un défi. De MODIS (200m), LANDSAT (30m) à QuickBird (0.6m) et GeoEye (0.5m), la résolution spatiale des images n'a cessé de s'améliorer, offrant des possibilités ac
Experience interactive augmentée et mobile : Application aux opérations de maintenance – AMIE
AMIE est un projet de recherche industrielle en réalité augmentée mobile et collaborative. Outre son objectif d’innovation dans le domaine de la maintenance pour des travailleurs mobiles, AMIE a aussi l’ambition d’être l’amorce d’un vaste programme de recherche qui vise à rendre la réalité augmentée
QUAlité de ServIce pour réseaux de capteurs sans fil et objets MObiles – aDaptatiOn des paramètres – QUASIMODO
Dans ce projet, nous nous focalisons sur le développement des algorithmes et protocoles auto-adaptatifs dans et au-dessus des réseaux de capteurs sans fil afin de fournir la QoS. L’un des scénarii consiste la détection de l’intrusion qui implique la détection en temps réel d’événements, la poursuite
Developpement de programmes parallèles avec des squelettes algorithmiques – PAPDAS
La généralisation des architectures parallèles et les besoins croissants en puissance de calcul rendent toujours plus nécessaire l'application de méthodes formelles. Celles-ci permettent de spécifier précisément les propriétés des programmes parallèles et répartis et de vérifier qu'une implantation
Théorie de démonstration structurelle et calculatoire – structural
