Centre de recherche en informatique

Mathématiques et systèmes




2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000
1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1983   1979  

2000

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

A/315/CRI :

Acquisition de connaissances à partir de testes, vers l'élaboration d'une ontologie du droit
IN : 5ème Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2000, Lyon, France, 10-13 Septembre 2000, pp.211-221.
Guiraude Lame

A/314/CRI :

Knowledge acquisition from texts towards an ontology of French law EKAW.
IN : Workshop on ontologies and texts, EKAW'2000, Juan-les-Pins, France, 1er octobre 2000
Guiraude Lame

Articles soumis :

Autres articles et rapports techniques :

A/316/CRI :

Efficient Intraprocedural Array Bound Checking.
Novembre 2000
Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan Keryell (LIT ENST Bretagne)

A/313/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées.
Juin 2000
Youcef Bouchebaba

A/312/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées,(version étendue).
Mars 2000
Youcef Bouchebaba

Rapports internes :

E/238/CRI :

Typage & Elimination des sous-expressions communes (Contribution à l'optimisation de programmes scientifiques).
RAPPORT DE STAGE
Septembre 2000
Pham Dinh Son, Fabien Coelho

E/237/CRI :

Une méthode de hiérarchisation de termes.
RAPPORT DE DEA
Août 2000
Christophe Charles

E/236/CRI :

Une méthode de corrélation des textes juridiques
RAPPORT DE DEA
Août 2000
Christophe Chotteau

E/235/CRI :

Optimization of array bound checking.
RAPPORT DE 1ÈRE ANNÉE
Octobre 2000
Thi Viet Nga Nguyen

E/232/CRI :

Serveur de Nom de Domaine dans Internet (DNS) - Berkeley Internet Name Domaine (BIND).
Cours IAR2M
4-5 janvier 2000
Ronan Keryell

E/231/CRI/1999 :

Du fonctionnement d'Internet.
Cours IAR2M
6 décembre 1999
Ronan Keryell

E/230/CRI/1999 :

Administration Unix - Le cas de Solaris 7.
Cours IAR2M
13 janvier 1999
Ronan Keryell

E/229/CRI/1999 :

PPP Point to Point Protocol - Mise en Oeuvre.
Cours IR2M
7 janvier 1999
Ronan Keryell

E/228/CRI/1999 :

Administration et développement Web -DRAFT
RAPPORT DE STAGE
Octobre 1999
Benjamin Schwarz