Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
robotique embarquée / segmentation / Signal / signalement actif

segmentation

• 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 : EPIDAURE - Restauration et segmentation d'images
• Projet : FRACTALES - Traitement d'images
• Avant-projet : IMEDIA - Requêtes partielles
• Avant-projet : IMEDIA - Requêtes partielles
• 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
• Projet : TEMICS - Logiciel de segmentation et de suivi interactif d'objets vidéo
• Projet : TEMICS - Analyse, modélisation et édition de séquences d'images
• Projet : VISTA - Présentation et objectifs généraux

Segmentation couleur

• Avant-projet : IMEDIA - Requêtes partielles

segmentation d'image

• Projet : ARIANA - Segmentation de zones rurales à partir d'image aérienne par géométrie probabiliste
• Projet : EPIDAURE - LEP
• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

segmentation d'images

• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

segmentation du cortex à partir d'IRM

• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

segmentation du mouvement

• 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

segmentation dynamique

• Projet : TEMICS - Logiciel de post-production vidéo

segmentation statique

• Projet : TEMICS - Logiciel de post-production vidéo

sémantique

• Action : AID - Sémantique en conception de systèmes d'informations hypertextes
• Action : AID - CLF - « Computer Language Factory »
• Action : AID - Logiciels
• Action : AID - Présentation et objectifs généraux
• Action : AID - Sémantique de sites/services Web
• Projet : AIDA - Recherche d'information dans un ensemble de documents, construction de lexiques
• Projet : LANDE - Sémantique des langages de programmation
• Projet : LANDE - Analyse de programmes
• Projet : LANDE - Débogage
• Projet : LANDE - Actions « aval »
• Projet : LED - Etude et modélisation de l'usage de la langue
• Projet : LEMME - Sémantique des langages de programmation
• Action : MIMOSA - Sémantique de la mobilité
• Projet : OASIS - Spécifications, environnements, analyses et transformations
• Projet : SIAMES - Modeleur d'environnement urbain : VUEMS
• Action : TICK - Programmation Réactive Synchrone et Esterel

sémantique axiomatique

• Projet : LOGICAL - Développement en Coq

sémantique dénotationnelle

• Projet : CALLIGRAMME - Lambda calculs typés, sémantique, complexité
• Projet : CALLIGRAMME - Présentation et objectifs généraux
• Projet : LANDE - Sémantique des langages de programmation
• Projet : MOSCOVA - Interprétation abstraite

sémantique des jeux

• Projet : CALLIGRAMME - Lambda calculs typés, sémantique, complexité
• Projet : CALLIGRAMME - Présentation et objectifs généraux

sémantique des langues naturelles

• Projet : CALLIGRAMME - Logique linéaire et grammaires formelles
• Projet : CALLIGRAMME - Présentation et objectifs généraux

sémantique des représentations

• Action : EXMO - Présentation et objectifs généraux

sémantique du parallélisme

• Avant-projet : TREC - Systèmes à événements-propriétés logiques

sémantique lexicale

• Projet : AIDA - La recherche d'information et l'accès à des bases de documents ou de services

sémantique naturelle

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

sémantique opérationnelle

• Projet : LANDE - Sémantique des langages de programmation

sémantique synchrone

• Projet : EPATR - Spécification et programmation synchrone
• Projet : EPATR - Vérification et validation

semi-conducteur

• Projet : GAMMA - Actions européennes
• Projet : M3N - Semi-conducteurs

semi-martingale

• Projet : MEVAL - Fondements scientifiques

semi-structuré

• Projet : VERSO - Données complexes

sémiologie

• Action : EXMO - Présentation et objectifs généraux

sensibilité

• projet : NUMATH - Prédicibilité et simulation

séquence binominale

• Projet : AIDA - Recherche d'information dans un ensemble de documents, construction de lexiques

séquence d'images

• Projet : MOVI - Géométrie multi-images et multi-caméras
• Projet : ORION - Interprétation automatique d'images

séquences

• Projet : ALGO - Algorithmique des séquences

sérialisabilité

• Projet : HIPERCOM - Ordonnancement centralisé non-préemptif
• Projet : HIPERCOM - Ordonnancement distribué temps réel sérialisable de tâches : étude de faisabilité

série génératrice

• Projet : HIPERCOM - Méthodologie de l'évaluation des algorithmes de télécommunications

serveur de connaissances

• Projet : ACACIA - Introduction
• Projet : ACACIA - Actions européennes
• Projet : ACACIA - Cokace et WebCokace
• 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

serveur internet

• Projet : REMAP - Applications pour le multimédia

serveur vidéo

• Projet : REMAP - Applications pour le multimédia

serveur Web

• Projet : MISTRAL - WAGON: Un générateur de trafic Web
• Projet : MISTRAL - Modèles de trafic pour les réseaux

serveurs de calculs

• Projet : REMAP - Outils pour le calcul parallèle scientifique

services

• Projet : RESEDAS - Évolution des protocoles et des réseaux

services adaptatif

• Action : AID - Broadway*Tools - Pour la génération de systèmes de recommandations adaptatifs
• Action : AID - Sémantique de sites/services Web

services de communication

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

services différenciés

• Projet : MISTRAL - Qualité de service dans les réseaux

seuillage par hystérésis

• Projet : EPIDAURE - Bibliothèque Edges3D

Sigali

• Projet : EPATR - Sigali
• Projet : EPATR - Vérification et validation

Signal

• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - TNI
• Projet : EPATR - Télécommunications
• Projet : EPATR - Spécification et programmation synchrone
• Projet : EPATR - Vérification et synthèse
• Projet : EPATR - Environnement de programmation Signal
• Projet : EPATR - Sigali
• Projet : EPATR - Conception synchrone
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Évolutions de Signal et de son environnement
• Projet : EPATR - Multi-formalisme et modélisation synchrone de la norme IEC 1131 de programmation des systèmes de contrôle
• Projet : EPATR - Vérification et validation
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication
• Projet : EPATR - Synthèse de circuits et conception de systèmes matériels/logiciels

  ---

  Navigation encyclopédique : Liste des termes
  robotique embarquée / segmentation / Signal / signalement actif