Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
calcul d'horloges / CAVE / collecte de traces / collecte de traces de programmes

CAVE

• Avant-Projet : I3D - Configurations de réalité virtuelle et plan de travail virtuel

CBR filtrage collaboratif

• Action : AID - Systèmes de recommandations

Centaur

• Action : AID - CLF - « Computer Language Factory »
• Action : AID - Logiciels
• Action : AID - Sémantique de sites/services Web

certification

• Projet : EPATR - Contexte des études
• Projet : LEMME - Implémentations certifiées d'algorithmes de calcul scientifique
• Projet : LEMME - Certification d'algorithmes

chaîne de Markov

• Projet : ARIANA - Extraction de routes par analyse multi-échelle
• Projet : HIPERCOM - Méthodologie de l'évaluation des algorithmes de télécommunications
• Projet : MISTRAL - Évaluation de différentes méthodes de localisation d'agents mobiles
• Projet : SYSDYS - Génomique

champ de vecteurs

• PROJET : AIR - Mouvement
• Projet : EPIDAURE - Analyse du mouvement et des déformations

champs de direction

• Projet : ROBOTVIS - Méthodes variationnelles, EDPs et applications

champs de Gibbs

• Projet : ARIANA - Étude des propriétés de régularité des modèles markoviens

champs de Markov

• Projet : ARIANA - Classification d'image satellitaire hyperspectrale en zone rurale et périurbaine
• Projet : ARIANA - Fusion de données par approche stochastique multi-échelle, application à l'étude des zones urbaines
• Projet : ARIANA - Segmentation d'images satellitaires et aériennes texturées par inférence bayésienne et champs de Markov
• Projet : ARIANA - Analyse de texture dans l'espace hyperspectral par des méthodes probabilistes pour l'extraction de zones urbaines
• Projet : VISTA - Modèles markoviens hiérarchiques et estimation bayésienne

champs denses

• Projet : TEMICS - Analyse, modélisation et édition de séquences d'images

chargement dynamique

• Projet : LANDE - Action Java-Sécurité
• Projet : LANDE - Actions « aval »

Chebychev

• Projet : ALADIN - Problèmes aux valeurs propres

chimie

• Projet : PRISME - Algorithmique moléculaire
• Projet : PRISME - Panorama

chimie moléculaire

• projet : NUMATH - Panorama
• Projet : SAGA - Panorama
• Projet : SAGA - Fondements scientifiques

chimie quantique

• Projet : APACHE - Panorama

chroniques

• Action : AID - Raisonnement à partir de cas

CIM

• Projet : RESEDAS - Supervision et contrôle

cinétique chimique

• PROJET : AIR - Estimation de profils verticaux d'espèces chimiques : couplage radiatif-chimie

circuit

• Projet : EPATR - Objectif général du projet
• Action : TICK - Synthèse de circuits

circuit digital

• Action : TICK - Programmation Réactive Synchrone et Esterel

circuit intégré

• Projet : COSI - Panorama

circuits digitaux

• Action : TICK - Conception conjointe matériel / logiciel

circuits intégrés numériques

• Projet : ARENAIRE - Présentation et objectifs généraux

circuits reconfigurables

• Projet : ARENAIRE - Arithmétique et FPGAs, Conception de circuits arithmétiques

classes d'objets

• Projet : MOVI - Indexation d'images et reconnaissance d'objets

classification

• PROJET : AIR - Mise à jour automatique de l'occupation du sol
• Projet : ARIANA - Classification d'image satellitaire multispectrale par approche variationnelle et équations aux dérivées partielles
• Projet : ARIANA - Classification d'image satellitaire hyperspectrale en zone rurale et périurbaine
• Projet : ARIANA - Fusion de données par approche stochastique multi-échelle, application à l'étude des zones urbaines
• Projet : ARIANA - Analyse de texture dans l'espace hyperspectral par des méthodes probabilistes pour l'extraction de zones urbaines
• Avant-projet : CORTEX - Le connexionnisme
• Avant-projet : IMEDIA - Recherche interactive
• Avant-projet : IMEDIA - Requêtes partielles
• Avant-projet : IMEDIA - Descripteurs d'images  : Bases spécifiques
• Projet : MIAOU - Structure et commande des systèmes non-linéaires
• Projet : MOVI - Indexation d'images et reconnaissance d'objets
• Action : ORPAILLEUR - Méthodes classificatoires pour l'étude du génome
• Action : ORPAILLEUR - Extraction de connaissances et aide à l'interrogation de bases de données chimiques
• Action : ORPAILLEUR - Fouille de textes et analyse de l'information scientifique et technique
• Action : ROMANS - Contexte et objectifs du projet

classification automatique

• Projet : AIDA - Apprentissage automatique
• Projet : AIDA - Apprentissage automatique et structuration de données

classification compétitive

• Avant-projet : IMEDIA - Requêtes partielles

classification non-supervisée

• Avant-projet : IMEDIA - Généralisation de la classification compétitive

classification par treillis

• Action : ORPAILLEUR - Extraction de connaissances dans les bases de données

classification supervisée

• Projet : ARIANA - Classification d'image radar satellitaire RSO

Classifieurs Bayesiens

• Avant-projet : IMEDIA - Requêtes partielles

CLF

• Action : AID - Sémantique de sites/services Web

client-serveur

• Projet : SIAMES - Navigation en temps réel dans des scènes complexes à travers un réseau bas débit

climat

• projet : NUMATH - Prédicibilité et simulation

cluster

• Projet : SIRAC - Support système pour grappes de machines
• Projet : SIRAC - Support système pour serveurs en grappes

co-design

• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»

co-induction

• Projet : EPATR - Vérification et validation

codage avec pertes

• Projet : TEMICS - Théorie débit-distorsion et formalisme MDL

codage canal

• Projet : TEMICS - Tatouage d'images

codage et décodage robustes

• Projet : TEMICS - Codage et codage conjoint source-canal

codage par descriptions multiples

• Projet : TEMICS - Théorie débit-distorsion et formalisme MDL

code adjoint

• projet : TROPICS - Odyssée

Code auto-certifié

• Projet : LOGICAL - Développement en Coq

code distribué

• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication

code efficace

• Action : TICK - Abstraction de registres dans l'analyse de programmes
• Action : TICK - Exécution «efficace» logicielle de programmes Esterel

code intermédiaire

• Projet : LANDE - Actions « amont »

code mobile

• Projet : LANDE - Action Secsafe
• Projet : OASIS - Programmation objet, concurrence et répartition
• Projet : SIRAC - Construction d'applications réparties
• Projet : SIRAC - Construction d'applications réparties adaptables

codes correcteurs

• Projet : TEMICS - Représentation temps-fréquence et par bases de fonctions redondantes
• Projet : TEMICS - Codage et codage conjoint source-canal

codimension supérieure à un

• Projet : ROBOTVIS - Méthodes variationnelles, EDPs et applications

coefficients liouvilliens

• Projet : CAFE - Algorithmes pour équations linéaires

cohérence

• Projet : ADP - Points de contrôle et retour arrière
• Projet : ADP - Points de contrôle et retour arrière
• Projet : LANDE - Action Castor
• Projet : LANDE - Actions « amont »

cohérence de caches

• Projet : VASY - Action FormalFame (Dyade)
• Projet : VASY - Etudes de cas et applications pratiques

cohérence de spécifications

• Projet : PROTHEO - SPIKE

cohérence temporelle

• Projet : OPERA - Environnement auteur/lecteur de documents multimédia structurés
• Projet : OPERA - Formatage de documents multimédia structurés

collaboration

• Avant-Projet : I3D - Portage de la plate-forme GASP sur le plan de travail virtuel

collaboration de résolveurs

• Projet : PROTHEO - Contraintes

collecte de traces

• Projet : CAPS - Simulation de processeurs et collecte de traces

  ---

  Navigation encyclopédique : Liste des termes
  calcul d'horloges / CAVE / collecte de traces / collecte de traces de programmes