8ème
Colloque Africain sur la Recherche en Informatique
8th African Conference on Research in Computer Science
Bénin – COTONOU -
Benin
6 - 9 novembre 2006 / November 6 - 9, 2006
[http://www.cari-info.org] |
|
Conférence Plénière / Plenary Session,
Intelligence
économique et propriété intellectuelle
J. P. BERNADAT
|
|
Conférences invitées / Invited lectures
Agrégation de variables et
dynamique des populations
Pierre AUGER (IRD, Bondy,
France) |
|
Session1: Génie logiciel / Software Engineering
|
|
Combining B Tools for
Multi-Process Systems Specification
C. Attiogbé
(LINA -
Université de Nantes, France)
|
Identification and Separation of Crosscutting Concerns:
A Case Study
A. Amirat
(Centre Universitaire de Souk Ahras, Algérie), M. T.
Laskri , D. Meslati
(Université de Annaba, Algérie) |
|
Session2:
Calcul scientifique / Scientific Computing |
Dual mixed finite element
methods of the elasticity problem with Lagrange
multipliers
S. Nicaise , L.
Paquet (Université de Valenciennes et du Hainaut
Cambrésis, France), J. Rafilipojaona(Université de
Fianarantsoa, Madagascar) |
|
Implementation of new variants of MPFA methods for
anisotropic flow problems
A. Kinfack Jeutsa (ENSP, Yaoundé, Cameroon,
A.
Njifenjou (ENSP, Yaoundé, Cameroon) |
|
Session3:
Systèmes
distribués / Distributed Systems
|
|
Modèle Arborescent pour
l'équilibrage de charge dans les Grilles de Calcul
B. Yagoubi
(Université d’Oran, Algérie) |
|
Finding polynomials to count
lattice points; Computer explorations with
MuPAD-Combinat
J. Nzeutchap (Inst. Gaspard Monge, Université
Marne-la-Vallée, France) |
|
Un algorithme adaptatif
optimal pour le calcul parallèle des préfixes
J-L. Roch, D. Traore (Institut National Polytech.
Grenoble, France) |
|
Session4:
Statistique / Statistics |
|
Etude et simulation du
phénomène d’attente dans un système bancaire.
Approximation des mesures de performances des files
d’attente M/G/C
D. Chedom Fotso ,
L. P. Fotso (Université de Yaoundé I, Cameroun)
|
|
Analyse bayésienne de
modèles markoviens d’évolution de ressources naturelles.
F. Campillo (Inria/Irisa,
Rennes, France
,
R. Rakotozafy (Université de Fianarantsoa, Madagascar )
V. Rossi (Inria/Irisa, France)
|
|
Techniques de soft computing
pour l’identification lithologique dans la province
triasique
S. Chikhi (Université de Constantine, Algérie)
|
|
Conférence Invitée/ Invited lecture
Comment extraire
l’énergie des ondes locales dans les structures
hétérogènes ?
Philippe DESTUYNDER
(CNAM Paris, France)
|
|
Session5:
Algorithmique / Algorithmic
|
|
The
Hardcoded Dynamic State Allocation Algorithm
E. Ketcha Ngassam ,
D. Kourie (B. Watson,University of Pretoria, South
Africa) |
|
Heuristiques du problème du
voyageur de commerce
B. Tadunfock Teti (Université de Yaoundé I,
Cameroun), L.P. Fotso (Université de Yaoundé I,
Cameroun)
|
|
Session6:
Traitement du signal et de l’image / Signal and Image
Processing |
Codage vidéo par block
matching adaptatif
A. Djeffal , Z. E. Baarir (Université Mohamed Khider,
Biskra, Algérie) |
Lane boundaries following to
driver assistance system
R. Nourine ,
M.
Elarbi Boudihir ,N. Benamrane ,
F. S. Khelifi (Univ.D.
Liabès, Sidi Bel-abbès, Algérie) |
|
Session7:
Logique et vérification / Logic and Verification |
|
Timed Model-Checking Game:
Case of Event Recording Logic
O. L. Nguena Timo
(Université de Bordeaux 1, France)
|
|
Vérification des
architectures de systèmes distribués par l’utilisation
du LTL model checker Maude
C. Jerad (ENIT, Tunisie), K. Barkaoui (CNAM Paris,
France), A. Touzi-Grissa (ENIT, Tunisie )
|
|
Session8:
Automatique / Control |
On the
stabilization of an exploited fish population model
E. H. El Mazoudi (Université Sidi Mohammed Ben
Abdellah, Fès, Maroc),
M. Mrabti (Université Sidi Med Ben Abdellah, Fès, Maroc
),
N. Elalami (Mohammadia School of Engineering (EMI,
Rabat, Maroc) |
Observer
Design For an Exploited Fish Population Model
E. H. El Mazoudi (Université Sidi Mohammed Ben
Abdellah, Fès, Maroc),
M. Mrabti (Université Sidi Med Ben Abdellah, Fès, Maroc),
N. Elalami (Mohammadia School of Engineering (EMI,
Rabat, Maroc) |
|
Session9:
Méthodes formelles / Formal Methods |
|
Classification de
contextes de liens hypertextes
M. Al-Hajj
(Université François-Rabelais, Tours, France), G. Verley
(Université François-Rabelais, Tours, France) |
|
Cohérence de vues
dans les grammaires algébriques
E. Badouel (Irisa/Inria,
Rennes, France), M. Tchoupé (Irisa,
Rennes, France et Université de Yaoundé 1, Cameroun) |
|
Session10:
Calcul scientifique / Scientific Computing |
|
Numerical simulation of exhaust muffler. An homogenized
finite element method
E. Bécache (INRIA
Rocquencourt, France),
A.S.
Bonnet-Bendhia (Poems-Ensta, Paris, France), R. Ben Fatma (Enit
- Lamsin, Tunisie)D. Drissi (Enit - Lamsin, Tunisie), N. Gmati (Enit -
Lamsin, Tunisie) |
|
Etude comparative des
méthodes de calcul de PageRank
S-J. Djungu
(Université de Kinshasa, R.D. Congo), F. Mathieu (France
Télécom R&D, France), P. Manneback
(Faculté Polytechnique de Mons, Belgique) |
|
Conférence plénière /
Plenary session
Montage de Start-up
François Brown de Colstoun,
(INRIA, Directeur DREI, Rocquencourt, France) |
|
Conférence
invitée / Invited lecture
Jacobian-free
Optimization
Andreas Griewank,
(Humbold-Universität,
Berlin, Germany) |
|
Session11:
Informatique fondamentale / Theoretical Computer Science |
|
Combinatoire autour des mots sturmiens
I. Kabore,
T.
Tapsoba
(Université Polytechnique de
Bobo-Dioulasso, Burkina Faso) |
|
Dynamical Behaviour of Neural Networks iterated with
Memory
P. Melatagia Yonta,
R. Ndoundam,
M. Tchuente (Université de Yaoundé I, Cameroun) |
|
Session12:
Reconnaissance de texte et de la parole /
Text and Speach Recognition |
Discriminating noisy sentences with partially recurrent
neural networks
E. C. Ezin (Université d'Abomey-Calavi, Bénin) |
From
3D soil Computed Tomography images to geometrical soil
structures
O. Monga
(IRD, France) |
|
Session13:
Méthodes formelles / Formal Methods |
|
Test
Cases Generation for Multi-Agent Systems using Formal
Specification
Y. Kissoum (Skikda University, Algeria),
Z. Sahnoun (Mentouri University, Algeria) |
|
CCPBAC: Un cryptosystème à clés publiques basés sur les
automates cellulaires
G. Tindo (Université de Yaoundé I, Cameroun) |
|
Session14:
Calcul
Scientifique / Scientific Computing |
|
On
solving the data recovering problem on a flat boundary;
Applications to a class of inverse problems
A. Ben Abda (Enit
- Lamsin, Tunisie), L. Belaid-Jaafar (Enit
- Lamsin, Tunisie ), A. Sakat
(Université Cadi Ayyad, Maroc) |
A robust
recovery algorithm for the Robin inverse problem
S. Chaabane (Fac. des Sciences de Sfax, Tunisie),
C. Elhechmi (Fac.des Sciences de Gabès, Tunisie),
M. Jaoua (Enit - Lamsin,
Tunisie) |
|
Conférence
Invitée / Invited lecture
Mathématiques,
informatique et écologie microbienne
Claude LOBRY,
(CIMPA, Nice, France) |
|
Session15: |
|
An
Efficient Host-to-Host Available Bandwidth Estimation Scheme
A.
Oluwatope (A. Aderounmu, Obafemi Awolowo University,
Nigeria), O. Obembe
(A. Aderounmu, Obafemi Awolowo University, Nigeria) , F. Ogwu (University
of Botswana) |
|
Interoperability test generation: formal definitions and
algorithm
A. Desmoulin (Irisa/Université
de Rennes I, France), C. Viho (Irisa/Université
de Rennes I, France) |
|
Session16: |
|
A New
Mathematical Formulation for Plant Structure
Dynamics
L. Wu (Université
J. Fourier, Grenoble, France/Chinese Academy of Sciences,
China), F.-X. Le
Dimet (Université Joseph Fourier,Grenoble, France),
Ph. De Reffye (Inria
Rocquencourt, France),
B-G. Hu (Chinese
Academy of Sciences, China) |
|
Analysis
error via Hessian in variational data
assimilation
F.-X. Le Dimet (LMC-Imag,
Université Joseph Fourier, Grenoble, France),
V.
Shutyaev
(Inst. of Numerical Math, Russian Academy of Sciences,
Moscow, Russia) |
|
Session17:
Bases
de données /
Data Bases
|
|
Une approche pour
l'extraction des itemsets (fermés) fréquents
A. Bouchahda (Faculté des Sciences de Tunis, Tunisie), Y. Slimani (Faculté des Sciences de Tunis, Tunisie), S. Benyahia (Faculté des Sciences de Tunis, Tunisie) |
|
Intégration de
données hétérogènes dans SenPeer
D. Faye (Université Gaston Berger, Saint-Louis,
Sénégal),
G. Nachouki (Université de Nantes, France),
P. Valduriez (Inria et Lina, France)
|
|
Extraction de connaissances
basée sur les arbres Patricia
M. Ben Haj Hmida (Faculté des Sciences de Tunis,
Tunisie) |
|
Session18:
Traitement et analyse d’images / Image Processing and
Analysis |
A dual
algorithm for denoising and preserving edges in image
processing
Ph.
Destuynder (CNAM Paris, France),
M. Jaoua (Laboratoire J.-A. Dieudonné, Nice, France
),
Hela Sellami (ENIT, Tunisie) |
|
Recalage non rigide
utilisant des déformations de forme libre (FFD) pour la
reconstruction faciale tridimensionnelle
A. Kermi (Université
Annaba, Algérie, ENST Paris), I. Bloch (ENST
Paris, France), M. T. Laskri (Université Annaba, Algérie) |
|
Description
des formes planaires par lissage progressif de contours
fermés
K. Kpalma (IETR,
France), J. Ronsin (IETR, France) |
|
Conférence
Invitée / Invited lecture
IP
Telephony in Mobile ad hoc networks : challenges and
emerging approaches
Roch
Glitho ( L.M.
Ericsson/Université Concordia, Montréal/IMSP, Porto Novo,
Bénin) |
|
Session19:
Méthodes formelles / Formal Methods |
|
Agent d'apprentissage
et la gestion du processus pédagogique
A. Bennane (Centre
de formation des inspecteurs de l'enseignement, Maroc)
|
|
Une approche itérative
pour l'allocation des tâches sur réseaux réguliers
C. Tayou Djamegni (Université
de Dschang, Cameroun, P. Quinton (INRIA
Rennes / ENS Cachan, Rennes), S. Rajopadhye (USA), M. Tchuenté, (Université de Yaoundé I, Cameroun) |
|
Session20:
Calcul
scientifique / Scientific Computing |
|
Identification of pointwise sources and small size flaws via
the reciprocity gap principle; stability estimates
A. Ben
Abda (Enit - Lamsin, Tunis, Tunisia), R. Mdimagh
(Enit - Lamsin, Tunis, Tunisia), A. Saada (Enit
- Lamsin,
Tunis, Tunisia) |
|
Topological
sensitivity analysis for detection of small flaws locations
A. Ben
Abda (Enit - Lamsin, Tunis, Tunisia), M. Hassine
(Enit - Lamsin, Tunis, Tunisia ),
M.
Jaoua (Laboratoire J.-A.Dieudonné, Nice and Enit -
Lamsin, Tunis, Tunisia)
|
|
Session21:
Systèmes multi agents / Multi Agent Systems |
|
Coordination par
les jeux stochastiques – Apprentissage par renforcement
et théorie des jeux pour la coordination de systèmes
multi-agents
A. Dutech (Loria
/ Inria, France), R. Aras (Loria /
Inria, France), F. Charpillet (Loria
/ Inria,
France) |
|
Modélisation
multi-agents de systèmes physiques : application à l'érosion
côtière
J.-M. Dembele (Université
Cheikh Anta Diop, Dakar, Sénégal), C. Cambier (Université
de Paris 6, France) |
|
Session22:
Traitement
et analyse d’images / Image Processing and Analysis |
|
Classification des
textures: Application à la classification d'images médicales
A. Moussa(Ecole
Nationale des Sciences Appliquées de Tanger, Maroc), A. Sbihi (Université
Ibn Tofail, Kénitra, Maroc), J.-G. Postaire (Université
des Sciences et Technologies de Lille, France) |
|
Méthode optimisée de
classification d’images satellitaires radar RSO par usage de
paramètres de texture d’ordre supérieur. Application à la
mangrove littorale Camerounaise
N. Talla
Tankam (ENSP, Yaoundé, Cameroun),
A. Dipanda (Université
de Bourgogne, France),
E. Tonyé (ENSP,
Yaoundé, Cameroun), A. Akono (ENSP,
Yaoundé, Cameroun) |
|
DEMONSTRATIONS
Un
système d’antivol de voiture à télécommande GSM doté d’une
fonction de géolocalisation
par GSM et GPS
A.S. Adedjoum (Ecole Polytechnique d’Abomey-Calavi,
Cotonou, Bénin),G. Adjovi (Ecole Polytechnique d’Abomey-Calavi,
Cotonou, Bénin), L. Aga (Ecole Polytechnique d’Abomey-Calavi, Cotonou,
Bénin), B. Degbo (Ecole Polytechnique d’Abomey-Calavi, Cotonou,
Bénin)
|
|
|
|
