La langue du titre indique la langue du document. Tous les
rapports ont un résumé en français.
The language of the document is the same as used for the title.
Abstract in english always available.
|
001
|
Object-Oriented Modeling and Analysis Capabilities
D. Buchs, M. Buffo, F. Kordon
|
|
002
|
Colloque Intelligence Artificielle de Berder, 22-24 septembre 1999
T. Pannérec
|
|
003
|
Abstraction Fonctionnelle des Circuits Numériques VLSI Avec une méthode formelle basée sur une extraction de réseau de portes
A. Lester
|
|
004
|
Partitionnement maximalement prédictif sous contrainte d'ordre total.
Applications aux séquences génétiques
L. Guéguen
|
|
005
|
Construction et Exploitation de Réseaux Sémantiques Flous pour l'Extraction d'Information Pertinente : Le système RELIEFS
Ch. Brouard
|
|
006
|
Estimation de probabilité non-paramétrique pour la reconnaissance markovienne de la parole
F. Lefèvre
|
|
007
|
How my computer find all the solutions of Cyclic 9
J.-Ch. Faugère
|
|
008
|
The Membrane Inclusions Curvature Equations
J.-Ch. Faugère, H. Milena, Ph. Jeff
|
|
009
|
Real Solving for positive dimensional systems
Ph. Aubry, F. Rouillier, M. Safey El Din
|
|
010
|
Modélisation de raisonnements tenus en contexte et application aux agents d'aide à la gestion d'incidents de SART
L. Pasquier
|
|
011
|
Du Jardin des Hasards aux Jardins de Données: une approche artistique et multi-agent des interfaces homme / systèmes complexes
G. Hutzler
|
|
012
|
Systèmes multiagents adaptatifs
A. Cardon, Z. Guessoum
|
|
013
|
Specifying in Coq inheritance used in Computer Algebra
S. Boulmé
|
|
014
|
Polymorphic Data Types, Objects, Modules and Functors: is it too much ?
S. Boulmé, Th. Hardin, R. Rioboo
|
|
015
|
Multiple-Machine Lower Bounds for Shop Scheduling Problems
F. Sourd, W. Nuijten
|
|
016
|
An adaptative evolutionary algorithm for ant colony
L. Gacôgne
|
|
017
|
Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System
I. Bakam, F. Kordon, Ch. Le Page, F. Bousquet
|
|
018
|
Solving multiple-instance and multiple-part learning problems with decision trees and decision rules. Application to the mutagenesis problem
J.-D. Zucker, Y. Chevaleyre
|
|
019
|
Un Réseau d'interconnexion pour systèmes intégrés
P. Guerrier
|
|
020
|
Une approche componentielle pour la modélisation d'agents coopératifs et leur validation
M.-J. Yoo
|
|
021
|
Représentation de la variabilité dans le traitement d'images flou
A. Rick
|
|
022
|
L'émergence d'un lexique dans une population d'agents autonomes
F. Kaplan
|
|
023
|
Profil, une base de données iconographique sur les papiers filigranés modernes
B. de La Passardière, C. Bustarret
|
|
024
|
A model checking decision procedure for sequential recursive Petri nets
S. Haddad, D. Poitrenaud
|
|
025
|
The Hacque method and the complete GI-method for computing the Galois group
I. Abdeljaouad, A. Valibouze
|
|
026
|
Simulation de Fautes et Optimisation des Tests de Production pour les Circuits Analogiques avec prise en compte des Tolérances
A. Khouas
|
|
027
|
A Comparison of the Basic DO concepts in Standardization
X. Blanc, M.-P. Gervais, J. Le Delliou
|
|
028
|
ODAC : une méthodologie de construction de systèmes à base d'agents fondée sur ODP
M.-P. Gervais
|
|
029
|
Extension des diagrammes de décisions binaires pour la représentation de programmes VHDL en vue de leur vérification
G. Decuq, E. Encrenaz-Tiphène
|
|
030
|
Classification de séquences audiovisuelles
J. Carrive
|
|
031
|
Modélisation de séquence par techniques adaptatives : prévision de décharges de batterie et extraction de contours dans des images médicales
O. Gérard
|
|
032
|
On the extension of pseudo-Boolean functions for the aggregation of interacting criteria
M. Grabisch, Ch. Labreuche, J.-C. Vansnick
|
|
|
|