Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
tri / vérification du locuteur / Web / Web mining

vérification du locuteur

• projet : SIGMA2 - Traitement de la parole et du langage

vérification et validation

• Projet : PAMPA - FormalFame : Validation d'architectures multi-processeurs

vérification formelle

• Projet : BIP - Contrôle/commande de systèmes robotiques complexes

vérification statique

• Action : AID - Vérification statique de sites Web

vérification temporelle

• Projet : OPERA - Relations avec la Grèce

verres ophtalmiques

• Projet : ESTIME - Quelques applications de l'optimisation

versions

• Projet : VERSO - Bases de données et le Web

VIA

• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs

vibration

• Projet : MACS - Dynamique des structures et stabilité
• projet : SIGMA2 - Analyse de structures vibrantes en ambiance de travail
• projet : SIGMA2 - Présentation et objectifs généraux
• projet : SIGMA2 - Méthodes de sous-espace, application à la surveillance de structures soumises à vibrations en opération

vidéo à la demande

• Projet : HIPERCOM - Garantie déterministe de la qualité de service dans les systèmes multimédia

vidéo document structuré

• Projet : OPERA - Modèle de documents multimédia

vidéo-structuré

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

vidéosurveillance

• Projet : ORION - Panorama

virgule flottante

• Projet : ARENAIRE - Collaboration avec l'UC Berkeley
• Projet : ARENAIRE - Collaboration avec l'UC Berkeley
• Projet : ARENAIRE - Présentation et objectifs généraux
• Projet : ARENAIRE - Calcul des fonctions élémentaires
• Projet : ARENAIRE - Arithmétique virgule flottante : spécification et algorithmes de manipulation d'expansions
• Projet : ARENAIRE - La méthode CENA

visibilité

• Projet : IMAGIS - Géométrie algorithmique
• Projet : LANDE - Action Java-Sécurité

vision 3D

• Projet : EPIDAURE - Simulation
• Projet : ICARE - Robotique sous-marine
• Projet : MOVI - Géométrie multi-images et multi-caméras
• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications
• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications
• Projet : ROBOTVIS - Méthodes variationnelles, EDPs et applications

vision

• Projet : ICARE - Action avec Ifremer
• Projet : VISTA - Commande référencée vision

vision active

• Projet : ICARE - Vision active
• Projet : VISTA - Présentation et objectifs généraux

vision artificielle

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

vision dynamique

• Projet : ICARE - Vision active
• Projet : VISTA - Présentation et objectifs généraux

vision par ordinateur

• Action : CHIR - Modélisation d'organes déformables
• Action : CHIR - Modélisation d'organes déformables
• Projet : TEMICS - Modélisation 3D par géométrie projective

vision robotique

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

visualisation 3D

• Projet : ROBOTVIS - Actions régionales

visualisation

• Action : CONTRAINTES - Environnements de programmation
• Avant-Projet : I3D - Fracfly : logiciel de visualisation de modèles fractals sur le plan de travail virtuel
• Projet : LANDE - Action OADYMPPAC

visualisation de maillages

• Projet : GAMMA - Logiciel Medit

Visualisation immersive

• Avant-Projet : I3D - ESA

vitesse de convergence

• Projet : ALGO - Algorithmique et modélisation des réseaux

vivacité

• Projet : LOGICAL - Développement en Coq
• Action : TICK - Xeve

Vlasov-Maxwell

• projet : CAIMAN - Électromagnétisme

Vlasov-Poisson

• projet : CAIMAN - Électromagnétisme

VLIW

• Projet : CAPS - Environnements de développement pour architectures hautes performances

VLSI

• Projet : COSI - Algorithmique fondamentale

voisinage physique

• Projet : SOLIDOR - Systèmes d'information pour ordinateurs de poche en environnement mobile

volatilité

• Projet : FRACTALES - Intégration-stochastique

volatilité stochastique

• Projet : MATHFI - Mathématiques financières
• Projet : MATHFI - Le modèle UVM: cas extrêmes et payoffs non réguliers

volume fini

• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• projet : CAIMAN - Couplages de modèles et de méthodes
• projet : CAIMAN - Équations de conservation et volumes finis
• projet : CAIMAN - MAXWELL/VF
• projet : CAIMAN - Électromagnétisme
• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• Projet : ESTIME - Ecoulement et transport en milieu poreux pour les problèmes d'environnement
• Projet : ESTIME - Méthodes numériques pour les équations aux dérivées partielles
• Projet : M3N - Algorithmes numériques et modélisation pour les fluides avec des frontières mobiles
• Projet : SINUS - Méthodes d'approximation

volume mixte

• Projet : SAGA - Géométrie combinatoire et résolution de systèmes polynomiaux

vote tensoriel

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

VRML

• Projet : SIAMES - CCETT : application interactive 3D multimédia

vue temporelle

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

vues

• Projet : LANDE - Action Castor
• Projet : LANDE - Actions « amont »

WAP

• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

watermarking

• Projet : FRACTALES - Présentation et objectifs généraux
• Projet : FRACTALES - MarkBench
• Projet : FRACTALES - Watermarking à base d'ondelettes

WBEM

• Projet : RESEDAS - Supervision et contrôle
• Projet : RESEDAS - Présentation et objectifs généraux

WDM

• Projet : MASCOTTE - Dimensionnement de réseaux de télécommunication haut débit
• Projet : MASCOTTE - Dimensionnement de réseaux haut débit

Web

• Projet : ACACIA - Introduction
• Projet : ACACIA - Actions européennes
• Projet : ACACIA - Cokace et WebCokace
• Projet : ACACIA - CORESE
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise
• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante
• Projet : ACACIA - Serveur de connaissances sur un Web sémantique
• Action : AID - Systèmes de recommandations
• Action : AID - Sémantique en conception de systèmes d'informations hypertextes
• Action : AID - Broadway-1 - Aide personnalisée à la navigation sur le Web
• Action : AID - Logiciels
• Action : AID - Hermès - Aide à la confrontation de points de vues sur le Web
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web
• PROJET : AIR - Contrat THETIS : réalisation d'un prototype pour l'intégration d'outils de traitement d'image dans le middleware distribué LeSelect.
• Action : CERTILAB - Programmation sur internet
• Action : EXMO - Présentation et objectifs généraux
• Projet : MERLIN - Présentation et objectifs généraux
• Action : MIMOSA - Programmation réactive
• Projet : OPERA - Relations avec le W3C
• Projet : OPERA - Applications documentaires
• Projet : OPERA - Applications multimédia
• Action : ROMANS - Contexte et objectifs du projet
• Projet : VERSO - Intranets et mémoire d'entreprise
• Projet : VERSO - Xyleme : exploitation des données du Web
• Projet : VERSO - Portails pour Communautés Web
• Projet : VERSO - Bases de données et le Web

  ---

  Navigation encyclopédique : Liste des termes
  tri / vérification du locuteur / Web / Web mining