Skip to Main content Skip to Navigation


hal-02295737v1  Conference papers
Frederic MazencSabine MondiéSilviu-Iulian Niculescu. On the stabilization of input delayed oscillators
41st IEEE Conference on Decision and Control, Dec 2002, Las Vegas, NV, United States. pp.1780-1785
inria-00000262v1  Conference papers
Gérôme CanalsLaurence NigayPhilippe Pucheral. Mobilité : accès aux données et interaction homme-machine
Assises Nationales du GdR I3, Loria, Dec 2002, Nancy, France, pp.119-140
inria-00100726v1  Journal articles
Paolo CastelpietraYe-Qiong SongFrançoise Simonot-LionMondher Attia. Analysis and simulation methods for performance evaluation of a multiple networked embedded architecture
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1251-1264. ⟨10.1109/TIE.2002.804972⟩
inria-00101037v1  Conference papers
Olivier FestorGuillaume DoyenEmmanuel Nataf. Supervision et réseaux P2P
Ecole thématique Calcul Distribué, Méta-Computing, Globalisation des Ressources - GRID'2002, Dec 2002, Aussois, France, 9 p
inria-00101043v1  Conference papers
Yves Caniou. Ordonnancement pour le modèle temps partagé
Ecole d'hiver Grid 2002, Dec 2002, Aussois, France
inria-00100934v1  Conference papers
Laurent CiarlettaIsabelle Chrisment. Outils pour l'expérimentation des technologies de l'informatique ambiante
16ème Congrès DNAC : De Nouvelles Architectures pour les communications - DNAC'2002, Dec 2002, Paris, France, 15 p
inria-00100963v1  Conference papers
Abdelghani BenharrefRachida DssouliZineb BerbichIsabelle Chrisment. Formal Specifications, TTCN and executable test cases for main IPv6 protocols
International Workshop on Communication Software Engineering - IWCSE'2002, Dec 2002, Marrakech, Morocco
inria-00100881v1  Conference papers
Jens GustedtEmmanuel JeannotJean-Louis PazatStéphane Vialle. GRID 2002
Ecole thèmatique sur la globalisation des ressources informatiques et des données, Emmanuel Jeannot, Dec 2002, Aussois, France
inria-00100982v1  Journal articles
Philippe AubryFabrice RouillierMohab Safey El Din. Real solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
inria-00100938v1  Conference papers
Philippe DuchonPhilippe FlajoletGuy LouchardGilles Schaeffer. Random Sampling from Boltzmann principles
29th International Colloquium on Automata, Languages and Programming - ICALP'2002, Nov 2002, Malaga, Spain, pp.501-513
inria-00100850v1  Conference papers
Mohamed EssaïdiIsabelle Guérin-LassousJens Gustedt. SSCRAP: An Environment for Coarse Grained Algorithms
14th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS'2002, Nov 2002, Boston, MA, USA, pp.398-403
inria-00100857v1  Conference papers
Murat DevirenKhalid Daoudi. Continuous Speech Recognition Using Dynamic Bayesian Networks: A Fast Decoding Algorithm
First European Workshop on Probabilistic Graphical Models - PGM'02, Nov 2002, Cuenca, Spain, 9 p
inria-00100986v1  Conference papers
Etienne HuguesFlorent GuilleuxOlivier Rochel. Contour Detection by Synchronization of Integrate-and-Fire Neurons
2nd internationale Workshop on Biologically Motivated Computer Vision - BMCV 2002, Max Planck Institute for Biological Cybernetics, Nov 2002, Tübingen, Allemagne, pp.60-69
inria-00100794v1  Conference papers
Alistair Bray. An Adaptive Hierarchical Model of the Ventral Visual Pathway Implemented on a Mobile Robot
2nd internationale Workshop on Biologically Motivated Computer Vision - BMCV 2002, Max Planck Institute for Biological Cybernetics, Nov 2002, Tübinger, Germany, pp.548-557
inria-00100811v1  Conference papers
François Lamarche. Multiplicative Linear Logics and Fibrations
Category Theory in computer science - CTCS'2002, R Blute, Ph. Scott, Nov 2002, Ottawa, Ontario, Canada, 21 p
inria-00000240v1  Conference papers
Antoine TabboneLaurent WendlingDaniel Girardeau-Montaut. Mesures de rectangularité et d'ellipticité à partir de la transformée de Radon
4ème Colloque International Francophone sur l'Ecrit et le Document - CIFED'2002, Oct 2002, Hammamet/Tunisie, pp.265-274
inria-00100957v1  Conference papers
Asma GhaffariFehmi Reben NjimaNidhal RezgXiaolan Xie. Design and coordination of partial Petri net controllers for a maximally permissive supervisory control
IEEE International Conference on Systems Man and Cybernetics - SMC'02, Oct 2002, Hammamet, Tunisie, 6 p
inria-00101006v1  Conference papers
Emmanuel GothiéYann GuermeurFabrice LeclercChristiane BranlantAlexander Bockmayr. Analyse des Séquences InterORF chez les Levures - Application à la Recherche des petits ARN
Structure, Intégration, Fonction et Réactivité des ARN - SIFRARN, Oct 2002, Nancy, France
inria-00100806v1  Conference papers
Claude Godart. Tutorial : Les outils du travail coopératif. Un point de vue ingénierie des données
18èmes Journées Bases de Données Avancées - BDA'02, Oct 2002, Evry, France, 21 p
inria-00100859v1  Conference papers
Laurent NoéGregory Kucherov. A new method of finding similarity regions in DNA sequences
European Conference on Computational Biology - ECCB'2002, Oct 2002, Saarbrücken, Germany, pp.173-174
inria-00101026v1  Conference papers
Emmanuel Nauer. DefineCrawler : un crawler paramétrable pour la recherche d'information intelligente sur le Web
Journées scientifiques Web sémantique, Oct 2002, Paris, France, 6 p
inria-00100953v1  Conference papers
Mohamed Ali Aloulou. On the reactive scheduling design using flexible predictive schedules
IEEE International Conference on Systems Mans and Cybernetics - SMC 2002, Oct 2002, Hammamet, Tunisie, 6 p
inria-00100956v1  Conference papers
Asma GhaffariNidhal RezgXiaolan Xie. Algebraic and geometric characterization of Petri net controllers using the theory of regions
The 6th International Workshop on Discrete Event Systems - WODES'02, Oct 2002, Saragosse, Espagne, pp.219-224
inria-00101012v1  Conference papers
Gilles DowekThérèse HardinClaude Kirchner. Binding Logic: proofs and models
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
inria-00101023v1  Conference papers
Claude Kirchner. Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)
Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA
hal-02759166v1  Conference papers
Frédéric BlaiseLaurent Saint‐andréJ. M. LebanJean-Claude GégoutJean-Christophe Hervé. Connection between forest inventory data and geographic information systems for assessing timber value at the stand level
IUFRO 2002 - International Union of Forestry Research Organizations Working Party S5.01.04.4, Sep 2002, Harrison Hot Springs, Canada
inria-00100987v1  Conference papers
Solen CorvezFabrice Rouillier. Using computer algebra tools to classify serial manipulators
Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Sep 2002, Hagenberg, Austria. pp.31-43, ⟨10.1007/978-3-540-24616-9_3⟩
inria-00100808v1  Conference papers
Jacques Lonchamp. Collaboration Flow Management: a New Paradigm for Virtual Team Support
13th International Conference on Database and Expert Systems Applications - DEXA 2002, Sep 2002, Aix-en-Provence, France, pp.1441-1506
inria-00100835v1  Conference papers
Yassine BenayedDominique FohrJean-Paul HatonGérard Chollet. Keyword Spotting using Support Vector Machines
Fifth International Conference on Text, Speech and Dialogue - TSD'2002, Sep 2002, Brno, Czech Republic, 8 p
inria-00100841v1  Conference papers
Yassine BenayedDominique FohrJean-Paul HatonGérard Chollet. Recognition and Rejection Performance in Wordspotting Systems Using Hidden Markov modeling techniques
International Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p