7ème
Colloque Africain sur la Recherche en Informatique
7th
African Conference on Research in Computer Science
HAMMAMET(Tunisie / Tunisia)
22-25th november 2004
|
Conférences
invitées / Invited lectures
:
Simulation des
systèmes complexes, informatique et développement -
Alexis Drogoul (Université Pierre et Marie Curie,
Paris, France)
|
Mathematical
and computational challenges in the biological sciences:
Garett Witten (Captown University, Afrique du Sud) |
Session
S1 -
Modélisation du vivant I
- Modeling and simulation in life sciences I
|
A water supply optimization
problem for plant growth based on GreenLab
model.
L. WU (IA, LIAMA, Beijing, China) , F.X. Le Dimet
(LMC-IMAG, Grenoble, France) , B.G. Hu (IA, LIAMA,
Beijing, China), P.H. Cournède ( Ecole Centrale Paris,
LMA, France) , P. De Reffye (INRIA Rocquencourt, France) |
A
dynamical model of plant growth with full retroaction
between organo-
genesis and photosynthesis.
A. Mathieu. P.-H. Cournède (Ecole Centrale, Paris, LMA,
France),
P. de Reffye (INRIA Rocquencourt, France)
|
Modeling
and reachability of biological sequencing batch reactor.
D. Mazouni, J. Harmand (INRA, Narbonne, France),
A. Rapaport (INRA, Montpellier, France)
,
H. Hammouri (Univ. Claude Bernard, Lyon, France)
|
Session
S2 -
Traitement
et analyse d'images, traitement du signal I,
Image processing and analysis signal processing
I |
Caractérisation
structurelle du rein sur une image échographique.
M. Tahiri Alaoui, S.M. Farssi (E.S.P., Dakar, Sénégal),
A. Touzani (Ecole Mohammedia d'Ingénieurs, Rabat,
Maroc), K. Mortalla (CHU Aristide Le Dantec, Dakar,
Sénégal), P. Bunel (Univ Val-de-marne, Créteil,
France)
|
An
efficient algorithm for the computation of the
two-dimensional Fourier transform.
D. Chikouche, S.
Bouguezel, R. E. Bekka (Université de Sétif, Algérie)
|
Analyse
en composantes principales d'images optiques de
télédétection. Approche neuronale.
S. Chitroub (U.S.T.H.B., Alger, Algérie)
|
Session
S3 :
Modélisation du vivant II
:
Modeling
and simulation in life sciences II
|
Theoretical
study and numerical simulation of a stochastic model for
plant growth.
M.Z. Kang (Collège of Information Engineering, Beijing,
China), P.-H. Cournède (Ecole Centrale, Paris, France),
J. Le Roux (Ecole Normale Supérieure, Paris, France),
P. De Reffye (INRIA Rocquencourt. France),
B.C. Hu (LIAMA, Beijing, China)
|
Caractérisation
de formes de cellules par calcul d'un indicateur de
dispersion.
K. Assogba, F. Cloppet-Oliva (Ecole Polytechnique d'Abomey-Calavi,
Cotonou, Bénin / Univ. Paris V, France) |
Session
S4:
Traitement et analyse d’image, traitement
du signal II ,
Image processing and analysis signal processing II
|
Compression
robuste du signal ElectroMyoGraphique par la transformée avec
les B-splines.
P. Ntsama Eloundou (Univ. de Ngaoundéré, Cameroun),
P. Ele, E. Tonye (Univ. de Yaoundé I, ENSP, Yaoundé,
Cameroun)
|
Conférence
Invitée/ Invited lecture
:
Oracle
pour la tolérance aux fautes dans les systèmes répartis :
Michel
Raynal (Univ.de Rennes I, France)
|
Session
S5
- Réseaux, Systèmes Distribués et Bases de Données
-
Networks,
Distributed Systems, Database
|
Une
solution VoD interactive continue:
A. Gazdar, A. Belghith (Ecole Nationale des Sciences de
l'Informatique,Manouba, Tunisie)
|
Couplage
de services différenciés pour une QoS de bout en bout
:
I. Niang (Univ.
C.A. Diop, Dakar. Sénégal) ,
H. Afifi (INT, Evry, France),
D. Seret (Univ Paris V, France)
|
Session
S6 : Génie Logiciel
-
Software engineering
|
Développement
orienté point de vue : Implantation de la relation de visibilité, approche par le patron
d'analyse rôle :
A.
Hair (Faculté des Sciences et Techniques, Beni-Mellal,
Maroc)
|
Un
algorithme de génération de Patterns Bytecode Java:
M.
Kmimech. M.T. Bhiri (Faculté des Sciences de Sfax,
Tunisie), N.
Benameur (Univ. de Valenciennes et du Hainaut Cambrésis,
France)
|
Session
S7:
Réseaux, Systèmes Distribués et Bases de Données,
Networks, Distributed Systems, Database |
Le
protocole EAP-SSC
:
M.
T. Dandjinou (Université Polytechnique de
Bobo-Dioulasso, Burkina
Faso), P.
Urien (ENST, Paris, France) |
Priority
routing algorithms for Mobile Ad Hoc Networks:
F. Japhet Mtenzi (Dublin Institute of Technology,
Ireland),
A. Mushi (Univ. of Dar es salaams, Tanzania) |
Implémentation
d'un Client Universel RP*
:
S.
Ndiaye. M. T. Seck, J. E. Ndiaye (Univ. C.A. Diop,
Dakar, Sénégal),
W.
Litwin (Univ. de Paris Dauphine, France)
|
Session
S8 - Génie Logiciel -
Software engineering |
Un
environnement XP de tests unitaires répartis
-
I.
Lokpo, M.
Babri (INP Félix Houphouet-Boigny, Yamoussonkro. Côte d'Ivoire),
G.
Padiou (IRIT, Toulouse, France)
|
La
gestion des incertitudes dans les modèles à base de
cas en
estimation des coûts de logiciels
A.
Idri (ENSIAS, Rabat, Maroc),
A. Abran (École de technologie supérieure, Montréal,
Canada)
|
Assistance
pour l'intégration de méthodes fondée sur les graphes
conceptuels
F.
Haj Ayech (Faculté des Sciences de Tunis, Tunisie),
A. Khalfallah, S. Ben Ahmed (ISI, Tunis, Tunisie)
|
Conférence
Invitée / Invited lecture:
L'analyse asymptotique topologique et ses
applications:
Mohamed Masmoudi (Univ. Paul Sabatier, Toulouse, France) |
Session
S9
: Parallélisme, Calcul Scientifique
1-
Parallelism, scientific computing I |
Approche
de parallélisation de l'algorithme Apriori,
K.
Arour (INSAT, Tunis. Tunisie), Y.
Slimani, A. Assas (Faculté des Sciences de Tunis,
Tunisie), M.
Jemni (ESSTT, Tunis, Tunisie)
|
Hybrid
Finite Volume Theory and Application to Acquifers
Simulation
A. Njifenjou. E. Kamgnia (Univ. Yaoundé I. Cameroun) |
Session
S10:
Reconnaissance de la parole et du texte I -
Text and
speach récognition I |
Synthèse
vocale arabe sous MBROLA:
Z. Zemirli. S. Khabet (INI. Alger, Algérie) |
Comparaison
de différentes méthodes de classification pour la
détection de
mots clés en parole continue
Y.
Ben Ayed. D. Fohr. J. P. Haton (LORIA/INRIA,
Vandoeuvre-les-Nancy, France),
G.
Chollet (ENST, Paris, France)
|
Session
S11 - Parallélisme, Calcul scientifique II -
Parallelism, scientific computing II |
Time-lag
in derivative convergence for fixed point itérations:
A. Griewank (HU-Berlin, Germany),
A. Ponomarenko (HU-Berlin, Germany) |
MCMC
for non linear / non Gaussian state-space models.
Application to fishery stock assessment
F.
Campillo (INRIA IRISA, Rennes, France),
R.
Rakotozafy (Univ. de Fianarantsoa. Madagascar)
|
Session
S12
-
Reconnaissance de la parole et du texte II - Text and
speach récognition II |
Nouvelle
méthode d'entraînement des systèmes hybrides HMM/ANN
à base d'une segmentation floue. Application pour la reconnaissance,
L. Lazli, M. T. Laskri (Univ. de Annaba. Algérie) |
Un
système multiclassifieurs appliqué au traitement de
montants littéraux arabes
N.
Farah, L. Souici. M. Sellami (Univ. de Annaba, Algérie) |
Conférence
invitée / Invited lecture
-
Sécurité
des réseaux
-
Ahmed
Serhrouchni (ENST. Paris, France)
|
Session
S13: Méthodes formelles 1 -
Formal
methods 1 |
Spécification formelle et simulation du protocole de
mobilité IPv6
F. Ngani Noudem, C. Viho (IRISA/Univ. de Rennes I, France) |
Approche algorithmique pour une classe de problème de
découpe guillotine
A. Khelladi, Rouafi
(USTHB, Alger, Algérie) |
Session
S14
- Enseignement
Assisté par Ordinateur - E-Learning |
L'apprentissage par renforcement et la conception d'un
système tuteur
adaptatif
A. Bennane (CFIE, Rabat. Maroc) |
A virtual cooperative learning environment using human
companion
T. Bouhadada, M.
T. Laskri,, N.
Roukaya, L. Klibet (Univ. de Annaba, Algérie)
|
Session
S15
-
Méthodes formelles II - Formal
methods II |
Partitioning state spaces for distributed model
checking:
M. Bourahla
(Univ. de Biskra, Algérie),
M. Benmohamed (Univ. de Constantine, Algérie) |
Les agents mobiles et la sécurité :
H. Aouadi, M. Ben Ahmed (ENSI, Manouba, Tunisie) |
Le pèlerin optimiste. Gestion de la concurrence dans les
collectitiels : vers
des protocoles optimistes
T. M. Ba (ESP, Dakar,
Sénégal),
J. Henriet. J-C. Lapayre (Univ. de Franche-Comté,
Besançon, France) |
Session
S16
: Enseignement
Assisté par Ordinateur -
E-learning
|
Génération automatique de cours personnalisés dans un
environnement d'e-learning
H. Chorfi. M. Jemni (ESSTT, Tunis, Tunisie) |
Modélisation et adaptation des documents pédagogiques
hypermédias en enseignement à distance
A. Behaz (Univ. de Batna, Algérie),
M. Djoudi (Univ. de Poitiers, France) |
Génération
dynamique de documents pédagogiques structurés et adaptatifs
H. Seridi-Bouchelaghem, M. Sellami (Univ. de Annaba,
Algérie) |
Conférence
Invitée / Invited lecture -
Revue des préconditionnements pour les méthodes de
Krylov :
Gérard Meurant (CEA. Bruyères le Châtel, France |
Session
S17 -
Traitement et analyse d'image, traitement du
signal III ,
Image processsing and analysis signal processing III |
Approche hybride de reconstruction de facettes planes
3D
E. Zagrouba, Z. Ben Dhiaf (Faculté des Sciences de Tunis,
Tunisie) |
Une
approche gènetique quantique pour la fusion d'images
multi-sources
A. Draa, H. Talbi. M.C. Batouche (Univ. Mentouri,
Constantine, Algérie) |
Session
S18 -
Génie Logiciel III -
Software engineering III |
Une approche visant à l'assistance de l'ingénierie des
exigences avec des
cas d'utilisations
S. S. Somé (EITI, Ottawa, Canada) |
An object-oriented approach for modeling interfaces in a
codesign environment
M. Koudil, K.
Benatchba (INI, Oued Smar,
Algérie) |
Session
S19
- Traitement
et analyse d'image,traitement du signal IV,
Image processing and analysis signal
processing IV
|
Classification des Images Couleurs par association des
Transformations
Morphologiques aux Cartes de Kohonen,
M. Talibi-Alaoui. R. Touahni, A. Sbihi (Univ. Ibn Tofail,
Kénitra, Maroc) |
Parallélisation du ré-échantillonnage d'images:
M. Mahboub (Univ. ABOU Bakr BeIkaid, Tlemcen, Algérie),
B. Philippe (ENIT/ LAMSIN, Tunis, Tunisie et IRISA/TNRIA,
Rennes,
France) |
Session
S20 -
Génie Logiciel IV -
Software engineering IV |
Algorithme
de construction d'un treillis des concepts formels et de
détermination des générateurs minimaux,
Y. Slimani, S. Ben Tekaya. S. Ben Yahia (Faculté des
Sciences de Tunis, Tunisie) |
Un méta-modéle pour systèmes d'accès à des bases de composants hétérogènes
0. Khayati, A. Front, J-P. Giraudin (Lab. LSR-IMAG, Saint
Martin
d'Hères, France) |
Une approche formelle de description et de manipulation des
objets structurés mathématiques
B. Fotsing Talla, G.E. Kouamou (Univ. de Yaoundé I,
Cameroun) |
Conférence
Invitée / Invited lecture -
Comprendre la programmation par aspects :
Pierre Cointe (Ecole des Mines, Nantes, France) |
Session
S21 -
Systèmes
d'information, Intelligence artificielle1,
Information Systems, Artificial intelligence 1 |
Extraction de règles d'association pour la prédiction de valeurs
manquantes
S. Jami (Univ. Of London, UK),
T.Y. Jen (Univ. de Tours. France),
D. Laurent (LICP, Univ. de Cergy, France),
G. Loizou (Univ.
of London, UK), 0. Sv (Univ. Gaston Berger,
Saint Louis, Sénégal) |
Conception et développement d'un ouyil de modélisation et de
simulation orienté agents dédié à l'étude de la gestion
participative de ressources renouvelables.
A.
Bah (Univ. Cheikh Anta Diop, Dakar, Sénégal),
J..M. Estay (CREAM, Angers, France),
C. Fourage (CERIPSA, Angers, France) |
Session
S22 - Méthodes
formelles III -
Formal
methods III |
Exponential period of neuronal
recurrence automata with excitatorv memory
R. Ndoundam ,
M. Tchuente (Univ. de Yaoundé I, Cameroun) |
Application du réseau de neurones RBFN à l'estimation des coûts de logiciels
S. Mbarki (Univ. Ibn Tofail,
Kénitra, Maroc),
A. Idri (Univ. Mohamed V- Souissi,
Rabat, Maroc)
A. Abran (Ecole de Technologie Supérieure. Montréal,
Canada) |
Session
S23:
Système d'information, Intelligence artificielle II /
Information Systems, Artificial intelligence II |
Formation de coalition pour la maximisation de l'utilité de la réponse
: application à la recherche d'information -
H. Belleili (Univ. de Annaba. Algérie),
M. Bouzid (GREYC-CNRS, Caen, France),
M. Sellami (Univ. de Annaba, Algérie) |
Notes sur les mesures probabilistes de la qualité des régles
d'association : un algorithme efficace d'extraction des régles
d'association implicative:
A. Totohasina (ENSET, Antsiranana, Madagascar),
H. Ralambondrainy, J. Diatta (IREMIA, Saint-Denis, France) |
Génération incrémentale de concepts formels et leurs utilisations dans
le classifieur flou par localisation de concepts :
S. Elloumi, C. Ben Youssef, S. Ben Yahia, H. Ounelli (Faculté
des Sciences de Tunis, Tunisie) |
Session
S24 -
Méthodes formelles IV -
Formal methods IV |
Apprentissage de concepts à l'aide des réseaux de neurones : Une
approche pour la construction du réseau, basée sur les
exemples positifs:
G. Tindo (Univ. de Yaoundé I, Cameroun),
E. Mephu Nguifo (Univ. d'Artois, Lens, France) |
Valued
dynamic backtracking
distribué :
M. Belaïssaoui (ENCG. Univ.
Hassan 1er, Settat.,
Maroc) |
Les algébres de Pétri commutatives :
E. Badouel (IRISA INRIA,
Rennes, France),
J. Chenou (Univ. de Douala,
Cameroun) |