| |
| PROGRAMME
MAJECSTIC'04
Le programme peut être visualisé par liste
d'auteurs ou par liste d'articles.
MERCREDI
13 OCTOBRE
| 9h30-10h00 |
Accueil
des participants |
| 10h00-10h30 |
Mots
de bienvenue |
| 10h30-12h00 |
|
| 12h00-14h00 |
DEJEUNER |
| 14h00-15h30 |
SESSION
1
Agents et Systèmes Multi-Agents |
SESSION
2
Systèmes de Navigation |
| Gestion
simple d'équipe d'agents cognitifs, D. DEVIGNE, P.
MATHIEU, J.C. ROUTIER |
Fusion
de détection dans un récepteur GPS multi-bandes,
S. BOUTOILLE, S. REBOUL, M. BENJELLOUN |
| Une
forme de négociation entre entités virtuelles,
M.H. VERRONS |
Segmentation
de données visuelles et télémétriques,
S. IZRI, E. BRASSART, L. DELAHOCHE, B. MARHIC, F. DECHAUMONT |
| Des
agents pour faciliter la modélisation des interfaces
utilisateur, D. JULIEN, M. ZIANE, Z. GUESSOUM |
Fusion
d'informations dans un système de navigation hybride
GPS-multiporteuse/Estime, J. KACEMI, S. REBOUL, M. BENJELLOUN |
| Diffusion
d'informations dans un réseau pair à pair par
des fourmis artificielles, C. GUERET, S. COLAS, N. MONMARCHE,
M. SLIMANE |
Fusion
de données provenant d'un laser et d'un radar en utilisant
la théorie de Dempster-Shafer, Y. LEMERET, E. LEFEVRE,
D. JOLLY |
| 15h30-16h00 |
PAUSE |
| 16h00-18h00 |
SESSION
1
Apprentissage |
SESSION
2
Recherche Opérationnelle |
| Aide
pour apprentissage par renforcement, F. MONTAGNE |
Planification
probabiliste et temporelle, B. BAKI, A. BEYNIER |
| Analyse
Markovienne de séquences d'événements
discrets pour la recherche de signature, P. BOUCHE, M. LEGOC |
Solutions
exactes pour des problèmes de flots dynamiques à coûts minimums avec
critères irréguliers, Y. HENDEL |
| Utilisation
des Chaînes de Markov Cachées à Substitution
de Symboles pour l'apprentissage et la reconnaissance robuste
d'images, S. AUPETIT, N. MONMARCHE, M. SLIMANE |
Résolution
du Problème de Coloration de Graphes par une Méthode
Exacte de Décomposition-linéaire, C. LUCET,
F. MENDES, A. MOUKRIM |
| Regroupement
de mots en groupes non-disjoints pour la classification de
documents, G. CLEUZIOU |
Une
heuristique pour le problème de lot-sizing à capacité finie sous
contraintes, N. ABSI, S. KEDAD-SIDHOUM |
| Application
d’un algorithme colonie de fourmis à la détection
de strutures rétentives en eaux côtières,
M. SEGOND |
Panorama
des consistances de circuit, A. IDRISSI |
JEUDI
14 OCTOBRE
| 9h00-10h30 |
|
| 10h30-11h00 |
PAUSE |
| 11h00-12h30 |
SESSION
1
Signal, Image et Vision |
SESSION
2
Architecture, Réseaux |
| Suivi
multicapteurs d’objet 3D par filtrage non-linéaire :
une approche dense, P. LANVIN |
Qualité
de Service dans les Réseaux Actifs, D. FUIN |
| Utilisation
du modèle d'Hermite pour l'estimation du signal Electrocardiogramme
(ECG) et la détection du complexe QRS, M. BENAÏSSA,
F. BEREKSI REGUIG |
Spécifications
et gestion d’informations de QoS dans les applications
réparties par les approches modèles et programmation
orientée aspect, D. DURAND |
| Application
du modèle de contour actif géométrique pour la segmentation
des images IRM, M. BELADGHAM, F. DERRAZ, M. KHELIF |
LaidaNet:
Un réseau ponté à commutation de labels, T.K. FEUZEU,
B. COUSIN |
| |
Modèles
de mémoire en Java Card. Introduction du concept de
pré-persistance, S. CHAUMETTE, D. SAUVERON |
| 12h30-14h30 |
DEJEUNER |
| 14h30-16h15 |
SESSION
1
Systèmes d'Information |
SESSION
2
Modélisation et Simulation |
| Données
semi-structurées et contraintes de chemin, D. DEBARBIEUX |
Proposition
pour la modélisation et le guidage des systèmes d’information
multi-facettes, M.H. EDME |
| Identification
des thèmes d'un document relativement à un référentiel
métier, W. NJOMGUE SADO, D. FONTAINE, P. FONTAINE |
Utilisation
de Arena pour la simulation des modèles spécifiés avec
Commonkads, M.E.A. HAMRI |
| Analyse
de profit de modèles futurs d'Urbanisme du SI, E.
PAPADACCI |
Modélisation
des panneaux solaires dans l’environnement OrCAD,
A. AZIZ, Ka. KASSMI, K. KASSMI, F. OLIVIE, R. MAIMOUNI,
G. SARRABAYROUSE, A. MARTINEZ |
| Elaboration
d'un outil de gestion de données techniques et d’aide
à la prescription des ouvrages du bâtiment, D. HAMANI,
F. AMEZIANE, J.M. OLIVE |
|
| Soutien
Personnalisé pour la Recherche d’Information Collaborative,
R. TAHER |
|
| 16h15-16h45 |
PAUSE |
| 16h45-18h00 |
SESSION
1
POSTERS |
SESSION
2
POSTERS |
| Description
dynamique et comportementale des architectures logiciels
orientées composants utilisant les ADLs, M.H. KACEM,
M. JMAIEL, A.H. KACEM, K. DRIRA |
L'ensemble
minimum de sommets de rebouclement pour le produit Kronecker
d'un graphe cubique connexe avec un graphe complet d'ordre
deux, F. TIGRINE, H. KHEDDOUCI |
| Technologies
de systèmes d'exploitation pour environnements répartis
appliquées aux systèmes multiprocesseurs sur puce,
A.E. ÖZCAN |
Les
modèles de Markov cachés via les algorithmes génétiques
pour l'analyse de la texture, Y. BORDJIBA, H. MEROUANI |
| Génération
automatique de patterns Bytecode Java, M. KMIMECH,
M.T. BHIRI, N. BENAMEUR |
Couverture
d'ensembles de clients par des arbres Multicast,
N. FAURE, E. GOURDIN |
| Assistance
intelligente à base de connaissances à la conception
d'un logiciel, F. SAHEB, Z. SAHNOUN |
Un
système Multi-classifieurs pour la reconnaissance des
montants littéraux arabes, I. GASMI, A. BOUZID,
L. SOUICI-MESLATI, H. MEROUANI |
| Choix
de l'ondelette analysante et classifications des signaux
phonocardiogrammes en fonction de souffles surajoutés,
S.M DEBBAL, F. BEREKSI-REGUIG |
Langage
et Interactions comme source d’Apprentissage Social
dans les Systèmes Multi Agents, I. JARS, N. KABACHI,
M. LAMURE |
| 19h30 |
RECEPTION
A L'HOTEL DE VILLE |
| 20h30 |
DINER
DE GALA |
VENDREDI
15 OCTOBRE
| 9h00-10h15 |
SESSION
1
Génie Logiciel |
SESSION
2
Modélisation et Simulation |
| Expérimentation
de GXL pour l'interopérabilité des outils de réingénierie
du logiciel, P.M. OUMOUMSACK, M. BOUNEFFA, Y. MAWEED |
Résolution
d’équations différentielles spatialisées à l’aide
de la quantification de variables et de Cell-DEVS,
D. VERSMISSE, R. DUBOZ, E. RAMAT |
| Vers
une transformation avancée de données structurées,
N. AMANEDDINE, J.P. BAHSOUN, J.P. BODEVEIX |
Utilisation
de diagrammes de décision de données pour la vérification
fonctionnelle de systèmes matériels, V. BEAUDENON,
E. ENCRENAZ |
| Vérification
d'invariant par superposition, J.F. COUCHOT |
Environnement
de simulation GDEVS compatible HLA, G. ZACHAREWICZ |
| 10h15-10h45 |
PAUSE |
| 10h45-12h15 |
SESSION
1
Génie Logiciel |
SESSION
2
Systèmes d'Information |
| Réutilisation
de composants : un processus interactif de recherche,
V. PUJALTE, P. RAMADOUR |
Approche
pour une étude probabiliste des protocoles de contrôle
de concurrence dans les bases de données temps réel,
S.R. SEMGHOUNI, B. SADEG, A. BERRED, L. AMANTON |
| Méthode
de conception de système d'information : une approche
orientée-composant, G. GUZELIAN |
Utilisation
de données multi-versions et de l'ordonnancement contrôlé
par rétro-action pour les transactions temps réel,
E. BOUAZIZI, C. DUVALLET, B. SADEG |
| Vérifier
le raffinement de manière compositionnelle, A. LANOIX |
Utilisation
de contraintes (m,k)-firm dans les SGBDTR manipulant
des transactions périodiques de mise à jour, J.
HAUBERT, E. BOUAZIZI, C. DUVALLET |
| Nouvelles
Propriétés Comportementales pour les Réseaux de Petri
Lots Déterministes et Stochastiques, K. LABADI,
H. CHEN, L. AMODEO |
Recherche
par similarité de séquences temporelles dans les bases
de données : un état de l'art, A. BAHRI, Y. NAÏJA,
G. JOMIER, M. MANOUVRIER |
| 12h15-12h30 |
CLÔTURE |
| 12h30-14h00 |
DEJEUNER |
|
MAJECSTIC © 2004
MAnifestation des JEunes Chercheurs STIC
Université du Littoral Côte d'Opale, pôle de Calais
- BP 719 - 62228 CALAIS Cedex - FRANCE
THE WEBMASTER
|
|
