Skip to Main content Skip to Navigation


...
inria-00000558v1  Book sections
Françoise Simonot-LionYvon Trinquet. Exemples de systèmes temps réel et choix d'implémentation
Jacky Akoka - Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
...
inria-00000560v1  Book sections
Françoise Simonot-LionYe-Qiong SongBernard BerthomieuFrançois Vernadat. Vérification des applications temps réel
Jacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
hal-00014309v1  Book sections
Marc BenoîtMathieu CapitaineFlorence Le Ber. Méthodes de représentation des règles d'organisation du territoire agricole
C. Laurent et P. Thinon. Agricultures et territoires, Hermès Lavoisier, pp.191 -- 206, 2005, Traité IGAT
...
inria-00000854v1  Book sections
Chantal Reynaud-DelaîtreBrigitte SafarHélène Gagliardi. Une expérience de représentation d'une ontologie dans le médiateur PICSEL
R. Teulier, J. Charler, P. Tchounikine. Ingénierie des connaissances, L'Harmattan, pp.117-138, 2005, 2-7475-8240-X
inria-00000905v1  Book sections
Guillaume Hanrot. Quelques idées sur l'algorithmique des équations diophantiennes.
Nicole Berline, Alain Plagne, Claude Sabbah. Journées mathématiques X-UPS 2005. Théorie algorithmique des nombres et équations diophantiennes, Ellipses, pp.157-185, 2005, 2-7302-1293-0
inria-00069441v1  Book sections
Bertrand Gaiffe. Références
Gérard Sabah. Compréhension des langues et interaction, Lavoisier, 2006, Traité IC2, Série Cognition et traitement de l'information, 2-7462-1256-0
...
hal-00079150v1  Book sections
Laurent Romary. De la sémantique des contenus à la sémantique des structures
Jean-Claude Le Moal, Bernard Hidoine, Lisette Calderan. La Recherche d'information sur les réseaux, ADBS Editions, pp.203-229, 2002
inria-00081343v1  Book sections
Stephan Merz. Model checking : éléments de base
Nicolas Navet. Systèmes Temps Réel - techniques de description et de vérification, Hermes-Science Lavoisier, pp.89-120, 2006, 2-7462-1303-6
inria-00084476v1  Book sections
Bernard Cousin. IPv6 Théorie et pratique, chapitre Multicast
Laurent Toutain. IPv6 Théorie et pratique, Editions O'Reilly, 467 p., 2005, 2-84177-337-X
...
hal-00096910v1  Book sections
Laurent RomaryIsabelle KramerSusanne Salmon-AltJoseph Roumier. Gestion de données terminologiques : principes, modèles, méthodes
Widad Mustafa El Hadi. Terminologie et accès à l'information, Hermes, 13 p., 2006
hal-00097007v1  Book sections
Cong-Duc PhamMoufida Maimour. Le contrôle de congestion dans les communications multicast
Multicast Multimédia sur l’Internet, chapitre 7, 2005
inria-00098582v1  Book sections
Anne ReboulJacques Moeschler. Pertinence
Houde, G. and Kayser, D. and Koenig, O. and Proust, J. and Rastier, F. Vocabulaire des sciences cognitives : neuro-sciences cognitives, psychologie, intelligence artificielle, linguistique et philosophie de l'esprit, PUF, 3 p, 1998
inria-00098588v1  Book sections
Anne Reboul. l'expression : sentiments, art et connaissance
Borillo, M. and Pouivet, R. and Virbel, J. Esthétique cognitive, Hermes, 10 p, 1998
inria-00098593v1  Book sections
Anne Reboul. Le linguiste, le zoologue et le cognitiviste : vers une vision réaliste de la référence
Moeschler, J. and Reichler-Béguelin, M.J. Référence temporelle et nominale, Peter Lang, 25 p, 1998
inria-00098804v1  Book sections
Laurence Danlos. Discours causal et rôles thématiques
ouvrage coordonné par M. Plénat. Des structures linguistiques à leur interprétation, mélanges en l'honneur d'André Borillo, Rodopi, 12 p, 1999
inria-00098857v1  Book sections
Isabelle ChrismentOlivier Festor. MIB (Management Information Base) pour IPv6
Gisèle Cizault. IPv6: Théorie et pratique, O'Reilly, 325 p, 1999
...
inria-00099070v1  Book sections
Dominique FohrJean-Paul HatonJean-François MariKamel SmaïliImed Zitouni. MAUD : Un prototype de machine à dicter vocale
none. Ressources et évaluation en ingénierie des langues, De Boeck, pp.315-328, 2000, universités francophones
inria-00099105v1  Book sections
Arnaud SimonAmedeo Napoli. Un algorithme de fouille dans une représentation des données par objets : une application au domaine médical
J. Charlet & M. Zacklad & G. Kassel & D. Bourigaul. Ingénierie des Connaissances, évolutions récentes et nouveaux défis, Eyrolles, 11 p, 2000
inria-00099211v1  Book sections
Jean-Marie PierrelLaurent Romary. Dialogue homme-machine
Jean-Marie Pierrel. Ingénierie des Langues, Hermes, pp.331-349, 2000, Traité IC2 (Information communication et commande)
inria-00099254v1  Book sections
Patrice BonhommeFlorence BruneseauxJean-Marie PierrelLaurent Romary. Vers une normalisation des ressources linguistiques : le serveur SILFIDE
K. Chibout, J. Mariani, N. Masson, F. Neel. Ressources et évaluation en ingénierie de langue, Editions De Boeck Université, pp.631-642, 2000, "Actualités scientifiques" de l'AUPELF•UREF
inria-00099320v1  Book sections
Jacques FrançoisDaniel Coulon. La représentation de la localisation spatio-temporelle : grammaires fonctionnelles vs réseaux conceptuels
Jacques Moeschler et Marie-Jose Beguelin. Référence temporelle et nominale, Peter Lang, pp.167-189, 2000, Sciences pour la communication
inria-00099338v1  Book sections
Nicolas CapponiYannick Toussaint. Interprétation de classes de termes par généralisation de structures prédicat-arguments
J. Charlet, M.Zacklad, G. Kassel et D. Bourigault. Ingénierie des connaissances, évolutions récentes et nouveaux défis, Eyrolles, pp.337-357, 2000
inria-00099376v1  Book sections
Jean LieberAmedeo Napoli. Planification à partir de cas et classification
Jean Charlet, Manuel Zacklad, Gilles Kassel, Didier Bourigault. Ingénierie des connaissances -- Évolutions récentes et nouveaux défis, Eyrolles, pp.357--369, 2000, collection technique et scientifique des télécommunications
inria-00099634v1  Book sections
Jean-Pierre Thomesse. Les réseaux de terrain
Luc Loron. Commande des systèmes électriques : perspectives technologiques - Traité EGEM Electronique série Génie électrique et Microélectronique, Hermès, pp.40, 2003
inria-00099658v1  Book sections
Ye-Qiong SongAnis Koubaa. Gestion dynamique de la QdS temps réel selon (m,k)-firm
none. Ecole d'Eté Temps Réel 2003 - ETR'03, 16 p, 2003
inria-00099661v1  Book sections
Jean-Pierre Thomesse. Les réseaux locaux industriels
none. Les Techniques de l'Ingénieur Chapitre R 7 574, Editions Techniques de l'Ingénieur, pp.40, 2003, Techniques de l'Ingénieur
inria-00099735v1  Book sections
Christelle BlochMarie-Claude PortmannAntony Vignier. Application des algorithmes génétiques à l'ordonnancement de la production
Marc Pirlot et Jacques Teghem. Résolution de problèmes de RO par les métaheuristiques, Hermes Lavoisier, pp.155-195, 2003, Information et systèmes d'information: IC2
inria-00099840v1  Book sections
Michael BakerErica Vries (de)Kristine LundMatthieu Quignard. Interactions épistémiques médiatisées par ordinateur pour la co-élaboration des notions scientifiques
C. Deaudelin et Thérèse Nault. Collaborer pour apprendre et faire apprendre, la place des outils technologiques, Presses Universitaires du Québec, pp.121-134, 2003, Education Recherche