Skip to Main content Skip to Navigation
  1. Search


...
inria-00071208v1  Reports
Mongi Abdelmoula, Neha Jha, Ashok Anand, Isabelle Réchiniac. Implementation of IP-MIB Modules for IPv4 and IPv6 protocol
[Technical Report] RT-0271, INRIA. 2002, pp.199
...
inria-00107574v1  Conference papers
Imine Abdessamad, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
inria-00100923v1  Conference papers
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte. Higher-Order" Mathematics in B
2nd International Conference of B and Z Users - ZB'2002, D. Bert, J.P. Bowen, M.C. Henson, K. Robinson, Jan 2002, Grenoble, France, pp.370-393
inria-00098969v1  Journal articles
Mohamed Afify, Yifan Gong, Jean-Paul Haton. A Minimum Cross-Entropy Approach to Hidden Markov Model Adaptation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 1999, 6 (6), pp.132-134
...
inria-00100887v1  Journal articles
Pankaj K. Agarwal, Thérèse Biedl, Sylvain Lazard, Steve Robbins, Subhash Suri et al.  Curvature-Constrained Shortest Paths in a Convex Polygon
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2002, 31 (6), pp.1814-1851. ⟨10.1137/S0097539700374550⟩
inria-00100962v1  Conference papers
Riad Aggoune, Marie-Claude Portmann. A New Heuristic for the Flow Shop Scheduling Problem with Availability Constraints
International Symposium on Combinatorial Optimization - CO'02, Apr 2002, Paris, France, 1 p
inria-00100961v1  Conference papers
Riad Aggoune, Marie-Claude Portmann. A heuristic approach for the job shop scheduling problem with availability constraints
XV Conference of the European Chapter on Combinatorial Optimization - ECCO'2002, ECCO, May 2002, Lugano, Switzerland, 1 p
...
inria-00107628v1  Conference papers
Rim Al Hulou, Olivier Corby, Rose Dieng-Kuntz, Jérôme Euzenat, Carolina Ramirez et al.  Three knowledge representation formalisms for content-based manipulation of documents
Workshop on Semantic Web - SemWeb@KR2002, Apr 2002, Toulouse, France, 8 p
...
inria-00099406v1  Conference papers
Rim Al Hulou, Amedeo Napoli. Combining XML and DL for describing and querying documents
International Workshop on Description Logics - DL'2002, 2002, Toulouse, France, 8 p
hal-00922292v1  Conference papers
Rim Al-Hulou, Olivier Corby, Rose Dieng-Kuntz, Jérôme Euzenat, Carolina Medina Ramirez et al.  Three knowledge representation formalisms for content-based representation of documents
Proc. KR 2002 workshop on Formal ontology, knowledge representation and intelligent systems for the world wide web (SemWeb), Apr 2002, Toulouse, France. No pagination
inria-00100743v1  Journal articles
Miguel Alabau, Lhassane Idoumghar, René Schott. New Hybrid Genetic Algorithms for the Frequency Assignment Problem
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (1), pp.27-34. ⟨10.1109/11.992851⟩
inria-00098830v1  Conference papers
Félix Albu, Dominique Martinez. The Application of Support Vector Machines with Gaussian Kernels for Overcoming Co-channel Interference
IEEE Workshop on Neural Networks for Signal Processing IX, Aug 1999, Madison, Wisconsin, U.S.A, pp.49-57
...
inria-00107586v1  Conference papers
Frédéric Alexandre. Neurosymbolic Integration for Industrial Applications
Human Centered Processes - HCP'99, 10th mini-Euro conference, 1999, Brest, France, pp.469-474
inria-00100793v1  Conference papers
Frédéric Alexandre. Different Levels of Time for Artificial Models and Biological Mechanisms
7th International Conference on Simulation of Adaptive Behavior - SAB'02, Aug 2002, Edinburgh UK, 1 p
...
inria-00107798v1  Conference papers
Luís Almeida, Miguel Leon-Chavez, José Alberto Fonseca, Jean-Pierre Thomesse. Real time communications in manufacturing
5th International Conference on Information System Analysis & Synthesis - ISAS'99, 1999, Orlando/USA, 8 p
inria-00100951v1  Conference papers
Mohamed Ali Aloulou, Marie-Claude Portmann, Antony Vignier. Predictive-Reactive Scheduling for the Single Machine Problem
Eighth International Workshop on Project Management and Scheduling - PMS 2002, Apr 2002, Valencia, Spain, pp.39-42
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-00100901v1  Journal articles
Gülgün Alpan, Mohsen A. Jafari. Synthesis of a closed-loop combined plant and controller model
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Institute of Electrical and Electronics Engineers, 2002, 32 (2), pp.163-175. ⟨10.1109/3477.990873⟩
inria-00100895v1  Conference papers
Gülgün Alpan, Bruno Gaujal. Optimal routing in timed continuous Petri nets applied to scheduling assignment problems
IEEE International Conference on Systems, Man and Cybernetics 2002 - IEEE SMC 2002, 2002, Hammamet/Tunisia
inria-00100922v1  Conference papers
Ernst Althaus, Alexander Bockmayr, Matthias Elf, Thomas Kasper, Michael Jünger et al.  SCIL - Symbolic Constraints in Integer Linear Programming
10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, pp.75-87
inria-00098807v1  Conference papers
Eitan Altman, Sandjai Bhulai, Bruno Gaujal, Arie Hordijk. Optimal Routing to M parallel queues with no buffers
33rd Allerton Conference on Communication, Control, & Computing, 1999, Allerton, Illinois/USA, 10 p
inria-00100899v1  Journal articles
Eitan Altman, Bruno Gaujal, Arie Hordijk. Regular Ordering and Applications in Control Policies
Discrete Event Dynamic Systems, Springer Verlag, 2002, 12 (2), pp.187-210
...
inria-00099408v1  Conference papers
Marilisa Amoia, Claire Gardent, Stefan Thater. Using set constraints to generate distinguishing descriptions
7th International Workshop on Natural Language Understanding and Logic Programming - NLULP'02, Jul 2002, Copenhagen, Denmark, 15 p
inria-00101004v1  Reports
Ashok Anand. Implementation of SNMP Agent for New version Internet protocol IPv6
[Internship report] A02-R-466 || anand02a, 2002, 120 p
hal-02303802v1  Conference papers
Didier Anciaux, Munerato Francis, Daniel Roy, Francois B. Vernadat, Xiaolan Xie. INTAS Project 2183: Concurrent Design of Flexible Manufacturing Systems: Control and Command
International Conference on Industrial Logistics, Jun 1999, Saint Perterbourg, Russia
inria-00100915v1  Conference papers
Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna et al.  The AVISS Security Protocol Analysis Tool
14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, pp.349-353
...
inria-00069903v1  Reports
Isabelle Réchiniac, Olivier Festor. Current Status of IPv6 Management
[Technical Report] RT-0274, INRIA. 2002, pp.32
inria-00100741v1  Conference papers
Isabelle Réchiniac, Olivier Festor. A Hierarchical Topology Discovery Service for IPv6 Networks
Network Operations and Management Symposium - NOMS 2002, IEEE/IFIP, 2002, Florence, Italie, 14 p
inria-00100982v1  Journal articles
Philippe Aubry, Fabrice Rouillier, Mohab 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-00071933v1  Reports
Daniel Augot, Magali Bardet, Jean-Charles Faugère. Efficient Decoding of (binary) Cyclic Codes beyond the correction capacity of the code using Gröbner bases
[Research Report] RR-4652, INRIA. 2002
...
inria-00071926v1  Reports
Olivier Aycard, Jean-François Mari, Richard Washington. Learning to automatically detect features for mobile robots using second-order Hidden Markov Models
[Research Report] RR-4659, INRIA. 2002, pp.32
inria-00100900v1  Journal articles
François Baccelli, Bruno Gaujal, Daniel Simon. Analysis of Preemptive Periodic Real-Time Systems Using the (Max,PLus) Algebra With Applications in Robotics
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2002, 10 (3), pp.268-380
...
inria-00072883v1  Reports
François Baccelli, Bruno Gaujal, Daniel Simon. Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics
[Research Report] RR-3778, INRIA. 1999
hal-00293496v1  Conference papers
Karim Baïna, François Charoy, Claude Godart, Daniela Grigori, Saad El Hadri et al.  CORVETTE : a Cooperative Workflow Development Experiment
3rd IFIP Working Conference on Infrastructures for Virtual Enterprises - PRO-VE'2002, 2002, Sesimbra, Portugal. pp.634
...
inria-00107554v1  Conference papers
Karim Baïna, Jamal Baïna, Salah Baïna, Samira Baïna, Christophe Humbert et al.  Bio-expert : Knowledge Management Platform and Experiment for Bio-Medical e-Learning
4th International Workshop on Enterprise Networking and Computing in Health Care Industry, Technically co-sponsored by IEEE - HEALTHCOM'02, Jun 2002, Nancy/France, pp.138-141
inria-00147550v1  Conference papers
Karim Baïna, Schahram Dustdar. Web-Services Coordination Model
Second International Workshop on Cooperative Internet Computing, in cooperation with VLDB 2002 - CIC'2002, Hong Kong Polytechnic University, 2002, Hong Kong, China, 13 p
inria-00101057v1  Reports
Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence Wolsey. On unions and dominants of polytopes
[Intern report] A02-R-104 || balas02a, 2002, 23 p
inria-00100869v1  Conference papers
Ghizlane Bana, Roman Kolpakov, Mathieu Giraud, Ralph Rabbat, Gregory Kucherov. mreps: a program for exhaustive search for tandem repeats in DNA sequences
Sixth Annual International Conference on Research in Computational Biology - RECOMB 2002, Apr 2002, Washington, DC, US
inria-00100801v1  Conference papers
Dominique Barth, Johanne Cohen, Paraskevi Fragopoulou, Gérard Hébuterne. Wavelengths assignment on a ring all-optical metropolitan area network
3rd Workshop on Approximation and Randomization Algorithms in Communication Networks - ARACNE'2002, Sep 2002, Rome, Italy, 9 p
inria-00098924v1  Conference papers
Abdel Belaïd. The retroconversion in Digital Libraries
Conférence internationale sur les Sciences de l'information - CISI'1999, 1999, Tunis, Tunisia
inria-00108053v1  Conference papers
Abdel Belaïd, Amos Abayomi David. The use of Information Retrieval Tools in Automatic Document Modelling and Recognition
Tenth International Workshop on Database & Expert Systems Applications - DAUd'99, 1999, Florence, Italia, pp.522-526
...
inria-00133716v1  Book sections
Yolande Belaïd, Abdel Belaïd. Form Analysis by Neural Classification of Cells
S. -W. Lee and Y. N akano. Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS'98. Selected Papers, 1655 (1655), Springer Verlag, pp.58-71, 1999, Lecture Notes in Computer Science
inria-00100718v1  Conference papers
Abdel Belaïd, Laurent Pierron. A generic approach for OCR performance evaluation
Electronic Imaging, SPIE, 2002, San Jose, California, 5 p
inria-00100826v1  Conference papers
David Bellot, Anne Boyer, François Charpillet. Designing smart agent based telemedicine systems using dynamic bayesian networks: an application to kidney disease people
4th International Workshop on Enterprise Networking and Computing in Health Care Industry - HEALTHCOM 2002, 2002, Nancy, France, 8 p
inria-00100825v1  Conference papers
David Bellot, Anne Boyer, François Charpillet. A new definition of qualified gain in a data fusion
The Fifth International Conference on Information Fusion - FUSION'2002, 2002, Annapolis, Maryland, USA, 8 p
inria-00100841v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gé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
inria-00100835v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gé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-00100842v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gérard Chollet. Support Vector Machines for Keyword Spotting
International Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p
inria-00100833v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gérard Chollet. Recognition and Rejection Performance in Wordspotting Systems Using Support Vector Machines
2nd WSEAS International Conference on Signal, Speech and Image Processing - WSEAS ICOSSIP'2002, Sep 2002, Koukounaries, Skiathos Island, Greece, 6 p
inria-00100963v1  Conference papers
Abdelghani Benharref, Rachida Dssouli, Zineb Berbich, Isabelle 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-00101005v1  Journal articles
Manuel Benito, Wolfgang Creyaufmueller, Juan Luis Varona, Paul Zimmermann. Aliquot Sequence 3630 Ends After Reaching 100 Digits
Experimental Mathematics, Taylor & Francis, 2002, 11 (2), pp.201-206
inria-00098820v1  Journal articles
Marie-Odile Berger, Brigitte Wrobel-Dautcourt, Sylvain Petitjean, Gilles Simon. Mixing Synthetic and Video Images of an Outdoor Urban Environment
Machine Vision and Applications, Springer Verlag, 1999, 11 (3), pp.145-159
inria-00098833v1  Conference papers
Marie-Odile Berger, Goetz Winterfeldt, Jean-Paul Lethor. Contour Tracking in Echocardiographic Sequences without Learning Stage : Application To the 3D Reconstruction of The Beating Left Ventricule
International Conference for Medical Image Computing & Computer Assisted Intervention - MICCAI'99, 1999, Cambridge, England, pp.508--515
inria-00098829v1  Conference papers
Amine Bermak, Dominique Martinez. Digital VLSI implementation of a multi-precision neural network classifier
6th International Conference on Neural Information Processing - ICONIP'99, Nov 1999, Perth, Australia, 6 p
...
inria-00107570v1  Conference papers
Amine Bermak, M. Hopfinger, Dominique Martinez. Image segmentation using Spiking Pixel Architecture
Special session on Next Generation Image Sensors for Multimedia applications - SCI'2002, Jul 2002, Orlando, Florida, USA, 5 p
inria-00098952v1  Conference papers
Ahmed-Reda Berrah, Rafael Laboissière. SPECIES: an evolutionary model for the emergence of phonetic structures in an artificial society of speech agents
5th European Conference on Artificial Life - ECAl'99, 1999, Lausanne, Suisse, pp.674-678
inria-00098835v1  Conference papers
François Bertault, Paul Zimmermann. Unranking of unlabelled decomposable structures
Troisième Conférence International sur les Ensembles Ordonnés, Algorithmes et Applications - Ordal'99, 1999, Montpellier/France, pp.12
inria-00108056v1  Journal articles
François Bertault, Olivier Ramaré, Paul Zimmermann. On Sums of Seven Cubes
Mathematics of Computation, American Mathematical Society, 1999, 68 (227), pp.1303-1310
inria-00101044v1  Journal articles
Yves Bertot, Nicolas Magaud, Paul Zimmermann. A Proof of GMP Square Root
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
...
inria-00072113v1  Reports
Yves Bertot, Nicolas Magaud, Paul Zimmermann. A proof of GMP square root using the Coq assistant
[Research Report] RR-4475, INRIA. 2002
...
inria-00098772v2  Conference papers
Thérèse Biedl, Erik Demaine, Martin Demaine, Sylvain Lazard, Anna Lubiw et al.  Locked and Unlocked Polygonal Chains in Three Dimensions
Symposium on Discrete Algorithms - SODA'99, Jan 1999, Baltimore, United States. pp.866 - 867
...
inria-00098832v1  Conference papers
Therese C. Biedl, Erik D. Demaine, Sylvain Lazard, Steven M. Robbins, Michael A. Soss. Convexifying Monotone Polygons
10th Annual International Symposium on Algorithms & Computation - ISAAC'99, Kamakoti V (IMSC, India) Rangarajan K (MCC, India) Rama R (IIT, Madras, India) Boopal E (IIT, Madras, India), Dec 1999, Chennai, India. 10 p, ⟨10.1007/3-540-46632-0_42⟩
inria-00100828v1  Conference papers
Brigitte Bigi, Salma Jamoussi, Kamel Smaïli. Dynamic Topic Identification : Introduction of Trigger pairs in the Cache Model
International Workshop Speech and Computer 2002 - SPECOM'2002, 2002, St-Petersburg, Russia, 4 p
inria-00108051v1  Journal articles
Yuri Bilu, Guillaume Hanrot. Thue equations with composite fields
Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
...
inria-00072867v1  Reports
Yuri Bilu, Guillaume Hanrot, Paul Voutier. Existence of Primitive Divisors of Lucas and Lehmer Numbers
[Research Report] RR-3792, INRIA. 1999, pp.41
inria-00100792v1  Conference papers
Nicolas Biri, Didier Galmiche. A Modal Linear Logic for Distribution and Mobility - extended abstract
Workshop on Linear Logic - FLOC'02, 2002, Copenhagen, Danemark, 6 p
...
inria-00107573v1  Conference papers
Julia Bitcheva, Olivier Perrin, Claude Godart. Cooperative Process Coordination
6th IASTED International Conference on Software Engineering and Applications - SEA'2002, IASTED, Nov 2002, Cambridge, MA, USA, pp.218-240
inria-00101054v1  Reports
Julia Bitcheva, Olivier Perrin, Claude Godart. Cross-Organizational Processes Coordination
[Intern report] A02-R-046 || bitcheva02a, 2002, 9 p
inria-00100891v1  Journal articles
Patrick Blackburn, Maarten Marx. Remarks on Gregory's ``Actually'' Operator
Journal of Philosophical Logic, Springer Verlag, 2002, 31, pp.281-288
inria-00100892v1  Conference papers
Patrick Blackburn, Maarten Marx. Tableaux for Quantified Hybrid Logic
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2002, Jul 2002, Copenhagen, Denmark, pp.38-52
hal-02759166v1  Conference papers
Frédéric Blaise, Laurent Saint‐andré, J. M. Leban, Jean-Claude Gégout, Jean-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-00098949v1  Conference papers
D. Blampain, Sylviane Descotte, Jean-Luc Husson, Hans Rohde, Laurent Romary et al.  Le projet européen DHYDRO : la normalisation à l'épreuve d'un forum terminologique
Conférence sur la Coopération dans le Domaine de la Terminologie en Europe, 1999, Paris, France. 8 p
inria-00100711v1  Journal articles
Richard Blute, François Lamarche, Paul Ruet. Entropic Hopf Algebras and Models of Non Commutative Logic
Theory and Applications of Categories, Mount Allison University, 2002, 10 (17), pp.424-460
inria-00100783v1  Conference papers
Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems
18th International Conference on Logic programming - ICLP'02, 2002, Copenhagen, Denmark, pp.85-99
inria-00099013v1  Conference papers
Alexander Bockmayr, Thomas Kasper. Branch-and-Infer: A Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming
Journées Francophones de Programmation Logique et Programmation par Contraintes - JFPLC'99, 1999, Lyon, France, pp.141-142
inria-00099171v1  Conference papers
Alexander Bockmayr, Yannis Dimopoulos. Integer programs and valid inequalities for planning problems
5th European Conference on Planning - ECP'99, 1999, Durham, UK, pp.239-251
inria-00099018v1  Journal articles
Alexander Bockmayr, Friedrich Eisenbrand, Mark Hartmann, Andreas S. Schulz. On the Chvátal Rank of Polytopes in the 0/1 Cube
Discrete Applied Mathematics, Elsevier, 1999, 98 (1-2), pp.21-27
...
inria-00107635v1  Reports
Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems
[Intern report] A02-R-026 || bockmayr02a, 2002, 15 p
...
inria-00098791v1  Reports
Guillaume Bonfante, François Lamarche. Constructing orders by means of inductive definitions
[Intern report] 99-R-035 || bonfante99a, 1999, 15 p
...
inria-00098761v1  Conference papers
Yann Boniface, Frédéric Alexandre, Stéphane Vialle. A bridge between two paradigms for parallelism : Neural Networks and general purpose MIMD computers.
International Joint Conference on Neural Networtks - IJCNN'99, 1999, Washington, DC, 6 p
inria-00099014v1  Conference papers
Yann Boniface, Frédéric Alexandre, Stéphane Vialle. A library to implement neural networks on MIMD machines
Euro-Par'99 Parallel Processing, CERFACS & ENSEEIHT - IRIT., 1999, Toulouse, France, pp.935-938
...
inria-00107587v1  Conference papers
Anne Bonneau, Parham Mokhtari. A phonetically-guided diagnosis of auditory deficiency based on synthetic speech stimuli
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, Technical University of Budapest & The Scientific Society for Telecommunications, 1999, Budapest, Hungary, pp.559-562
inria-00098985v1  Conference papers
Anne Bonneau, Yves Laprie, Jacqueline Vaissière. Hypertext atlas of speech sounds
Method & Tool Innovations for Speech Science Education, Worshop of the European Speech Communication Association, Apr 1999, none, pp.65-68
inria-00100876v1  Conference papers
Anne Bonneau, Parham Mokhtari. A platform for the diagnosis of auditory deficiency
4th International Workshop on Enterprise Networking and Computing in Health Care Industry - Healthcom 2002, Jun 2002, Nancy, France, 4 p
...
hal-01153734v1  Journal articles
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
inria-00100974v1  Journal articles
Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view
Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185
...
inria-00107841v1  Reports
Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from the rewriting logic point of view
[Intern report] 99-R-284 || borovansky99b, 1999, 39 p
inria-00000271v1  Journal articles
Nazeih Botros, Yang Jian, Philip Feinsilver, René Schott. Hardware Realization of Krawtchouk Transform using VDHL Modeling and FPGAs
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1306-1312
...
inria-00107559v1  Conference papers
Najoua Bouaka, Amos Abayomi David, Odile Thiery. Contribution to the understanding of explanatory factors for the decision-maker problem within the framework of economic intelligence
6th World Multiconference on Systimics, Cybernetics and Informatics - SCI' 2002, 2002, Orlando, Florida, USA, 5 p
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/