Index des titres
Volume 22/2003
Adaptation de la transformée de Radon pour la recherche d’objets à niveaux de gris et de couleurs, 1139-1166
Algorithme d’ordonnancement dynamique pour exécution statique, 713-736 Algorithmes et algorithmique. L’erreur est humaine, 519-526
Alignement approximatif d’arbres pour la recherche d’information en contexte dans les données XML hétérogènes. Fusion d’informations structurées et textuelles, 1011-1034
Analyse des réseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m×n), 435-460
Architecte d’ordinateurs aujourd’hui. Quelques réflexions sur les challenges actuels, 811-820
B : passé présent futur, 89-118
B dans le transport ferroviaire. L’expérience de Siemens Trasnsportation Systems, 11-32
Calcul de majorants de pire temps d’exécution : état de l’art, 651-677 Coordination spatiale émergente par champs de potentiel, 171-196 Créatures virtuelles, 221-243
Descripteurs de forme pour l’indexation de maillages 3 D, 1077-1106 Développement formel d’un vérifieur embarqué de byte-code Java, 33-60 Elaboration de fonctions de croyance à partir de données GPS et SIG.
Etude de stratégies de fusion pour la localisation d’un véhicule, 935-964 Estimation du parallélisme au niveau système pour l’exploration de l’espace de conception de systèmes enfouis, 315-349
Evaluation de performances d’architectures Ethernet commuté, 621-650
Fusion de paramètres pour une classification automatique parole/musique robuste.
Séparation parole/musique dans les fichiers audio, 831-852
Implantation d’algorithmes spécifiés en virgule flottante dans les DSP virgule fixe, 783-810
Interrogation de ressources XML concernant un domaine d’intérêt, 1243-1270 Interrogation efficace de ressources distribuées dans des systèmes de médiation,
1271-1296
L’enseignement de B, 131-132 La recherche en B, 129-130
Laissez-les vivre ! La codépendance temporelle comme clé de l’apprentissage de comportements chez un animat, 145-170
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
136 RSTI - TSI. Volume 23 – n° 1/2004
Les collections distribuées : un outil pour la conception d’applications Java parallèles, 289-314
Linguistique évolutionnaire et vie artificielle, 197-220 Logique possibiliste et fusion d’informations, 1035-1064
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones, 461-496
Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués, 571-596
Mobilité et bases de données. Etat de l’art et perspectives. Action spécifique CNRS
« Mobilité /Accès aux données » – 1e partie, 351-377, 2e partie, 497-518 Modélisation en B événementiel des fonctions mécaniques électriques et informatiques d’un véhicule, 119-128
Nouvelles politiques pour la réservation explicite de ressources en avance, 597-620 Optima locaux garantis pour l’approximation différentielle, 257-288
Optimisations du chargement des instructions, 689-712
Outils de structuration des documents vidéo en vue d’indexation basée sur une approche du signal 1D, 1167-1200
Partitionnement logiciel matériel ciblant une architecture reconfigurable dynamiquement, 737-758
Recherche approximative de plus proches voisins. Application à la reconnaissance d’images par descripteurs locaux, 1201-1230
Recherche d’images par régions d’intérêt : segmentation grossière rapide et description couleur fine, 1107-1138
Reconnaissance crédibiliste de séquences temporelles, 965-982
Résumé de bases de données. Application au domaine bancaire, 1353-1379 ROOM. Des machines reconfigurables orientées objet pour les applications
spécifiques, 759-782
RS2.7 un canevas adaptable de duplication, 1297-1324
Spécifications et développements structurés dans la méthode B.
Principes et validation, 61-88
Système de classification hybride interprétable par construction automatique de systèmes d’inférence floue, 853-878
Système de perception et d’interprétation de formes structurées (SPI), 879-902 Treillis cubes contraints pour la fouille de bases de données multidimensionnelles,
1325-1352
Trois approches pour la modélisation et la vérification de systèmes embarqués, 539-570 Une approche générique de la réécriture, 401-434
Une architecture de propagation de l’incertitude pour le problème de la localisation, 903-934
Utilisation de la théorie des croyances pour l’association dans le suivi de cibles, 983-1010
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com