Rapport d'activité INRIA 2001

Navigation encyclopédique

Retour à la page d'accueil Liste des termes d'indexation
Retour à la liste des projets Aide à l'utilisation de l'index
DE À
3D algorithme de quasi-Newton
A algorithme de triangulation-décomposition analyse de texture
analyse des images médicales approche locale
approche synchrone automate
automate à pile BV
C C ANSI causalité
CBR filtrage collaboratif cohérence de caches
cohérence de spécifications complétude de définition de fonctions
complexité contrainte
contrainte épipolaire coûts de transaction
couverture détection de propriétés
D détection décentralisée drônes aériens
duplication entreprise virtuelle
E enveloppe convexe ergonomie cognitive
ergonomie des logiciels extraction de règles d'association
extraction des réseaux routiers framework
F frontière libre géométrie variable
G geste HMSC
H HOL ingénierie
I ingénierie assistée par ordinateur java
J java card lois d'échelle
L Lotos mémoire d'entreprise
M mémoire de projet mobile-OS
mobilité modèles théoriques
modeleur multi-RED
multi-tâche préemptif Ocaml
O occupation du sol ordonnancement distribué temps réel
ordonnancement FIFO perturbation infinitésimale
P phasage preuve
preuve d'algorithmes programmation par contraintes
programmation par règles quadrangle
Q quadratures reconfiguration dynamique
R reconnaissance d'objets représentation par objets
requêtes réutilisation de programmes
réutilisation des usages SDL
S sécurisation shape from shading
Sigali son multicanal
sonar sûreté
sûreté critique système distribué
système dynamique TCP/IP
T techniques de Monte Carlo test d'hypothèses
test d'intégration traitement d'image
traitement d'image volumique turbo-code
turbulence Virtex
V visibilité XML
X XSL zones urbaines