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
|
|
(Pour accéder
aux articles, cliquer sur le lien)
|
|
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) |
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
|
Génie logiciel /
Software Engineering
|
Calcul
scientifique / Scientific Computing
|
|
Combining B Tools for Multi-Process Systems
Specification
C. Attiogbé
(LINA
- Université de Nantes, France)
|
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) |
|
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) |
Implementation of new variants of MPFA methods for
anisotropic flow problems
A. Kinfack Jeutsa (ENSP, Yaoundé, Cameroon
A.
Njifenjou (ENSP, Yaoundé, Cameroon) |
|
Pause
/ Break |
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
|
Systèmes distribués / Distributed Systems
|
Statistique / Statistics
|
|
Modèle Arborescent pour
l'équilibrage de charge dans les Grilles de Calcul
B.
Yagoubi (Université d’Oran, Algérie) |
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) |
|
Finding
polynomials to count lattice points; Computer
explorations with MuPAD-Combinat
J. Nzeutchap (Inst.
Gaspard Monge, Université Marne-la-Vallée, France) |
Analyse bayésienne de
modèles markoviens d’évolution de ressources naturelles.
F. Campillo (Inria/Irisa,
Rennes, Franc)e
R. Rakotozafy
(Université de Fianarantsoa, Madagascar ) V. Rossi (Inria/Irisa,
France) |
|
Un algorithme
adaptatif optimal pour le calcul parallèle des préfixes
J-L. Roch, D. Traore (Institut
National Polytech. Grenoble, France) |
Techniques de soft
computing pour l’identification lithologique dans la
province triasique
S. Chikhi
(Université de Constantine, Algérie)
|
|
Mardi
7 novembre
2006 /
Tuesday, November
7, 2006
|
|
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)
|
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
|
Algorithmique / Algorithmic
|
Traitement du signal et de l’image / Signal and Image
Processing
|
|
The
Hardcoded Dynamic State Allocation Algorithm
E. Ketcha Ngassam ,
D. Kourie (B. Watson,University of Pretoria, South
Africa) |
Codage vidéo par block matching adaptatif
A. Djeffal ,
Z. E. Baarir (Université Mohamed Khider, Biskra,
Algérie) |
|
Heuristiques du problème du voyageur de commerce
B. Tadunfock Teti (Université de Yaoundé I, Cameroun)
L.P. Fotso (Université de Yaoundé I, Cameroun)
|
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) |
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
|
Logique et vérification / Logic and Verification |
Automatique / Control
|
|
Timed
Model-Checking Game: Case of Event Recording Logic
O. L.
Nguena Timo (Université de Bordeaux 1, France)
|
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) |
|
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 )
|
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) |
|
|
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
|
Méthodes formelles / Formal Methods |
Calcul scientifique / Scientific Computing |
|
Classification de
contextes de liens hypertextes
M. Al-Hajj
(Université François-Rabelais, Tours, France)
G. Verley
(Université François-Rabelais, Tours, France)
|
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) |
|
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) |
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) |
|
Mercredi
8 Novembre 2006 /
Wednesday,
November 8, 2006
|
|
Conférence
invitée / Invited lecture
Jacobian-free
Optimization
Andreas Griewank
(Humbold-Universität,
Berlin, Germany) |
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
Informatique fondamentale / Theoretical Computer Science |
Reconnaissance de texte et de la parole /
Text and Speach Recognition
|
|
Combinatoire autour des mots sturmiens
I. Kabore,
T.
Tapsoba
(Université Polytechnique de
Bobo-Dioulasso, Burkina Faso) |
Discriminating noisy sentences with partially recurrent
neural networks
E. C. Ezin (Université d'Abomey-Calavi, Bénin)
|
|
Dynamical Behaviour of Neural Networks iterated with
Memory
P. Melatagia Yonta,
R. Ndoundam,
M. Tchuente (Université de Yaoundé I, Cameroun) |
From
3D soil Computed Tomography images to geometrical soil
structures
O. Monga
(IRD, France)
|
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
Méthodes formelles / Formal Methods |
Calcul
Scientifique / Scientific Computing |
|
Test
Cases Generation for Multi-Agent Systems using Formal
Specification
Y. Kissoum (Skikda University, Algeria)
Z. Sahnoun (Mentouri University, Algeria) |
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) |
|
CCPBAC: Un cryptosystème à clés publiques basés sur les
automates cellulaires
G. Tindo (Université de Yaoundé I, Cameroun) |
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) |
|
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) |
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) |
|
Interoperability test generation: formal definitions and
algorithm
A. Desmoulin (Irisa/Université
de Rennes I, France)
C. Viho (Irisa/Université
de Rennes I, France)
|
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) |
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
|
Bases
de données /
Data Bases
|
Traitement et analyse d’images / Image Processing and
Analysis
|
|
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) |
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) |
|
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)
|
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) |
|
Extraction de
connaissances basée sur les arbres Patricia
M. Ben Haj Hmida (Faculté des Sciences de Tunis,
Tunisie) |
Description des
formes planaires par lissage progressif de contours
fermés
K. Kpalma (IETR,
France)
J. Ronsin (IETR,
France) |
|
JEUDI
9 NOVEMBRE 2006 /
Thursday, November
9, 2006 |
|
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) |
|
SESSIONS
PARALLELES
/
Parallel Sessions
|
Méthodes formelles / Formal Methods |
Calcul
scientifique / Scientific Computing |
|
Agent d'apprentissage
et la gestion du processus pédagogique
A. Bennane (Centre
de formation des inspecteurs de l'enseignement, Maroc)
|
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) |
|
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) |
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)
|
|
SESSIONS PARALLELES
/
Parallel Sessions
|
Systèmes multi agents / Multi Agent Systems |
Traitement
et analyse d’images / Image Processing and Analysis |
|
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) |
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) |
|
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) |
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)
|
|
DEMONSTRATIONS
Optimisation du
rééchantillonnage dans un logiciel d’amélioration des
plantes
Ph. Baradat (Inra, Montpellier, France)
T. Labbé (Inra, Cestas, France) |
|
Pause
/ Break |
|
Réunion CARI et Séance de clôture
Fin du Colloque / End of the Conference |
http://www.cari-info.org
| |
Journées de formation
avancée / Tutorials
3 – 4 - 5 novembre 2006 /
3 – 4 - 5 November, 2006 |
|
Tutoriel
I |
|
Tutoriel III |
Tutoriel
IV |
| |
Programme CARI'2006
6,7,8,9 novembre 2006 /
6,7,8,9 November, 2006 |
| |
Lundi/Monday
6th nov. 2006 |
Mardi / Tuesday
7th nov. 2006 |
Mercredi/Wed.
8th nov. 2006 |
Jeudi/Thursday
9th nov. 2006 |
|
09h00 - 09h30 |
Accueil
Registration |
Conférence invitée
Invited Lecture |
Conférence invitée
Invited Lecture |
Conférence invitée
Invited Lecture |
|
09h30 - 10h00 |
|
10h00 - 10h30 |
Session ouverture
Opening session |
S3A |
S3B |
S6A |
S6B |
S10A |
S10B |
|
10h30 - 11h00 |
S3A |
S3B |
S6A |
S6B |
S10A |
S10B |
|
11h00 - 11h30 |
Pause / Break |
|
11h30 - 12h00 |
Conférence Plénière
Plenary Session |
S4A |
S4B |
S7A |
S7B |
S11A |
S11B |
|
12h00 - 12h30 |
S4A |
S4B |
S7A |
S7B |
S11A |
S11B |
|
12h30 - 14h30 |
Déjeuner
/ Lunch |
|
14h30 - 15h00 |
Conférence invitée
Invited Lecture |
S5A |
S5B |
Conférence invitée
Invited Lecture |
Demonstration |
|
15h00 - 15h30 |
S5A |
S5B |
Demonstration |
|
15h30 - 16h00 |
S1A |
S1B |
Pause / Break |
S8A |
S8B |
Pause / Break |
|
16h00 - 16h30 |
S1A |
S1B |
Assemblée Générale CARI /
General Meeting CARI
(Pause/Break) |
S8A |
S8B |
Réunion CARI
Clôture / Fin du Colloque |
|
16h30 - 17h00 |
Pause / Break |
Pause / Break |
|
17h00 - 17h30 |
S2A |
S2B |
S9A |
S9B |
|
|
17h30 - 18h00 |
S2A |
S2B |
Conférence plénière /
Plenary
session |
S9A |
S9B |
|
18h00 - 18h30 |
S2A |
S2B |
S9A |
S9B |
[retour]
|
|
|
|
|
