Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
  1. Search


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
hal-01434764v1  Conference papers
Jean-Charles Faugère, Fabrice Rouillier. Design of filter and filter banks using dedicated Computer Algebra Tools
International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
hal-01434763v1  Conference papers
Jean-Charles Faugère, Luc Rolland, Fabrice Rouillier. Using Computer algebra tools for off-line studies of parallel manipulators
International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
hal-01434761v1  Conference papers
Fabrice Rouillier. Real Solving of Polynomial Systems and Applications
ICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region
inria-00526961v1  Conference papers
Laurent Romary. Representation and mormalization of multilingual dictionaries
Workshop « From Information to Knowledge Using Astronomical Databases », Observatoire de Strasbourg, Jun 1999, Strasbourg, France
inria-00522005v1  Journal articles
Pierre-yves Durand, Jacques Chanliau, Jean-Pierre Thomesse, François Charpillet, Laurent Romary et al.  Une nouvelle ère en dialyse péritonéale : la télémédecine intelligente
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (1, S17)
inria-00110525v1  Conference papers
Michel Kern, Agany Oloui, Jean-Charles Faugère, Fabrice Rouillier. Using Groebner bases to compute higher order finite elements for mass lumping
Fourth International Congress on Industrial & Applied Mathematics - ICIAM'99, Jul 1999, Edinburgh, United Kingdom
inria-00110394v1  Book sections
Wilhelm Schaeffer, Alfonso Fugetta, Claude Godart, Jens Jahnke. Architectural Views and Alternatives
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.95-116, 1999, Lecture notes in Computer Science
inria-00110389v1  Book sections
Claude Godart, Hala Skaf, Nourredine Belkatir, Antonio Carzaniga, Estublier Jacky et al.  Cooperation Control in PSEE
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.117-166, 1999, Lecture Notes in Computer Science
inria-00108070v1  Conference papers
Philippe de Groote. The Non-associative Lambek calculus with product in polynomial time
Automatic Reasoning with Analytic Tableaux and Related Methods, Jun 1999, Saratoga Springs, NY USA, pp.128-139
inria-00108065v1  Conference papers
Antony Vignier, Benoit Sonntag, Marie-Claude Portmann. A hybrid method for a parallel machine scheduling problem
International Conference on Emerging Technologies on Factory & Automation - ETFA'99, IEEE, 1999, Barcelona, Spain, pp.671-678
inria-00108064v1  Journal articles
Bernard Girau, Arnaud Tisserand. MLP computing and learning on FPGA using on-line arithmetic
International Journal on System Research and Information Science, Inconnu, 1999, 21 p
inria-00108060v1  Conference papers
Abdel Halim Mahdi, Henri Amet, Marie-Claude Portmann. Genetic algorithms for the 2D cutting problem
Proceedings of the international Conference on Industrial Engineering & Production Management - IEPM99, FUCAM, 1999, Glasgow, GB, pp.540-549
inria-00108059v1  Journal articles
François Cuny, Laurent Alonso, Christophe Winkler, Nicolas Holzschuch. Radiosité à base d'ondelettes sur des mailles quelconques
Revue Internationale de CFAO et d'informatique graphique, Hermès, 1999, 14 (1), pp.41-56
inria-00108061v1  Conference papers
Stefania Cavallar, Bruce Dodson, Arjen-K. Lenstra, Paul Leyland, Walter M. Lioen et al.  Factorization of RSA-140 using the Number Field Sieve
International Conference on the Theory and Applications of Cryptology and Information Security - ASIACRYPT'99, Nov 1999, Singapore, Singapore. pp.195-207, ⟨10.1007/b72231⟩
inria-00108058v1  Conference papers
Siu-Wing Cheng, Otfried Cheong, Hazel Everett, Rene van Oostrum. Hierarchical Vertical Decompositions, Ray Shooting, and Circular Arc Queries in Simple Polygons
ACM Symposium on Computational Geometry, Association for Computing Machinery, 1999, Miami Beach, Florida, USA, pp.227-236
inria-00108057v1  Conference papers
Shlomo Zilberstein, François Charpillet, Philippe Chassaing. Optimal Sequencing of Contract Algorithms
Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel
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-00108051v1  Journal articles
yuri Bilu, Guillaume Hanrot. Thue equations with composite fields
Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
inria-00108052v1  Conference papers
Amos David, Abdel Belaid. Information Retrieval Systems in Document Analysis and Recognition
Document Layout Interpretation & its Applications - DLIA'99, 1999, Bangalore, India. 4 p
inria-00108049v1  Conference papers
Erwan Kerrien, Marie-Odile Berger, Eric Maurincomme, Laurent Launay, Régis Vaillant et al.  Fully automatic 3D/2D subtracted angiography registration
International Conference for Medical Image Computing & Computer Assisted Intervention - MICCAI'99, 1999, Cambridge, England, pp.664--671
inria-00108050v1  Conference papers
Gilles Simon, Marie-Odile Berger. Registration Methods for Harmonious Integration of Real Worlds and Computer Generated Objects
Advanced Research Workshop on Confluence of Computer Vision and Computer Graphics, Aug 1999, Ljubljana, Slovenia, 3 p
inria-00100818v1  Journal articles
Olivier Bournez. Achilles and the tortoise climbing up the hyper-arithmetical hiearchy
Theoretical Computer Science, Elsevier, 1999, 210 (1), pp.21-71
inria-00100817v1  Journal articles
Olivier Bournez. Some bounds on the computational power of piecewise constant derivative systems
Theory of Computing Systems, Springer Verlag, 1999, 32 (1), pp.35-67
inria-00100816v1  Conference papers
Philippe de Groote. A dynamic programming approach to categorial deduction
16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
inria-00100815v1  Conference papers
Philippe de Groote. On the Strong Normalisation of Natural Deduction with Permutation-Conversions
10th International Conference on Rewriting Techniques & Applications - RTA'99, 1999, Trento, Italy, pp.45--59
inria-00099387v1  Conference papers
Christophe Ringeissen, Eric Monfroy. Generating Propagation Rules for Finite Domains: a Mixed Approach
Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, pp.150-172
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-00099017v1  Conference papers
Michaël Rusinowitch, Sorin Stratulat, Francis Klay. Mechanical Verification of a Generic Incremental ABR Conformance Algorithm
Workshop on Modelling & Verification, Dec 1999, Besancon, France, 43 p
inria-00099015v1  Conference papers
Marie-Christine Haton, Jean-Paul Haton. Use of articulatory and spectral information for speech training
The XIVth International Congress of Phonetic Sciences, Aug 1999, San Francisco, USA, 5 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-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-00099012v1  Reports
Ahmed Jebali. Vérification Observationnelle
[Stage] 99-R-144 || jebali99a, 1999, 38 p
inria-00099011v1  Journal articles
Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages
Logic Journal of the IGPL, Oxford University Press (OUP), 1999, 7 (5), pp.629-654
inria-00099009v1  Conference papers
Gregory Kucherov, Michaël Rusinowitch. Patterns in words versus patterns in trees : a brief survey and new results
Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.283-296
inria-00099007v1  Conference papers
Frédéric Desprez, Eric Fleury, Claude Gomez, Serge Steer, Stéphane Ubéda. Bringing Metacomputing to Scilab
Computer Aided Control System Design - CACSd' 99, Aug 1999, Hawaï, USA, 6 p
inria-00099008v1  Conference papers
Frédéric Desprez, Eric Fleury, Laura Grigori. Scilab//: User interactive application and high performances
Third World Multiconference on Systemics, Cybernetics & Informatics - SCI'99 & Fifth International Conference on Information Systems Analysis & Synthesis - ISAS'99, Aug 1999, Orlando, USA
inria-00099001v1  Conference papers
Francis Klay, Michaël Rusinowitch, Sorin Stratulat. Analysing Feature Interactions with Automated Deduction Systems
7th International Conference on Telecommunication Systems Modeling & Analysis, Bezalel Gavish, 1999, Nashville, Tennessee, USA, 33 p
inria-00099003v1  Conference papers
Laurent Juban. Dichotomy Theorem for the Generalized Unique Satisfiability Problem
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.327-337
inria-00099004v1  Conference papers
Slim Ouni, yves Laprie. Design of hypercube codebooks for the acoustic-to-articulatory inversion respecting the non-linearities of the articulatory-to-acoustic mapping
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, pp.141-144
inria-00099006v1  Conference papers
Tawfik Es-Sqalli, Eric Fleury, Eric Dillon, Jacques Guyard. Using Medley in a CORBA environment
Euro-Par'99 Parallel Processing, Sep 1999, Toulouse, France, pp.113-116
inria-00099000v1  Conference papers
Adel Bouhoula, Ahmed Jebali, Michaël Rusinowitch. Reasoning about Object Behaviours with Rewriting.
Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (in conjunction with Principles, Logics, and Implementations of high-level programming languages PLI99) - OOSDS'99, 1999, Paris, France, 6 p
inria-00098996v1  Conference papers
Hélène Kirchner. ELAN
Journées Francophones de Programmation Logique et programmation par Contraintes - JFPLC'99, F.Fages, 1999, Lyon, France, pp.241--248
inria-00098986v1  Journal articles
Miki Hermann, Phokion G. Kolaitis. Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning, Springer Verlag, 1999, 23 (2), pp.107-136
inria-00098984v1  Conference papers
David Langlois, Kamel Smaïli. A New Based Distance Language Model for a Dictation Machine: application to MAUD
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, pp.1779-1782
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-00098981v1  Conference papers
Hélène Kirchner, Peter David Mosses. Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST'98 - 7th International Conference on Algebraic Methodology & Software Technology, Jan 1999, Amazonia, Brazil. pp.373--388, ⟨10.1007/3-540-49253-4_27⟩
inria-00098983v1  Conference papers
Marie-Dominique Devignes, André Schaaff, Malika Smaïl. Querying Heterogeneous Databases : a user oriented system for collecting and structuring genome information
Intelligent Systems for Molecular Biology 1999 - ISMB'99, 1999, Heidelberg, Germany, pp.30
inria-00098974v1  Conference papers
Amos David, David Bueno. Towards cooperative information retrieval system with user modelling
5th International conference on Information Systems Analysis & Synthesis - ISAS'99, Jul 1999, Orlando, United States
inria-00098977v1  Conference papers
Kamel Smaïli, Armelle Brun, Imed Zitouni, Jean-Paul Haton. Automatic and manual clustering for large vocabulary speech recognition: a comparative study
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, 4 p
inria-00098978v1  Book sections
Hélène Kirchner. Term Rewriting
Astesiano, E. & Kreowski, H.J. & Krieg-Brückner, B. Algebraic Foundations of Systems Specifications, Springer, pp.273--320, 1999, IFIP State-of-the-Art Reports
inria-00098976v1  Journal articles
Amos David, David Bueno. User modeling and cooperative information retrieval in information retrieval systems
Knowledge Organization, Ergon Verlag, 1999, 26 (1), pp.30-45
inria-00098972v1  Conference papers
Samir Tata, Gérôme Canals, Claude Godart. Specifying Interactions in Cooperative Applications
Eleventh International Conference on Software Engineering & Knowledge Engineering, 1999, Kaiserslautern Germany
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-00098970v1  Conference papers
Martial Michel, Judith Ellen Devaney. Fine Packet Size Tuning with AutoLink
International Workshop on Parallel Computing - IWPC'99, 1999, Fukushima, Japon, 5 p
inria-00098971v1  Directions of work or proceedings
André Schaff, Francis Lepage, Jean-Pierre Thomesse. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99
Hermès Science Publications, 494 p, 1999
inria-00098973v1  Conference papers
Samir Tata, Gérôme Canals, Claude Godart. Using Temporal Logic to Specify Interactions in Cooperative Applications
The AAAI'99 Symposium on Modal & Temporal Logic-based Planning for Open Networked Multimedia Systems - PONMS'99, Nov 1999, North Falmouth, Massachusetts, USA, 10 p
inria-00098966v1  Journal articles
Philippe Coucaud, Olivier Zendra, Dominique Colnet. La programmation à objets. Application au langage Eiffel
Linux Magazine France, Diamond Editions, 1999, pp.63-76
inria-00098968v1  Journal articles
Hala Naja. Multiview databases for building modelling
Automation in Construction, Elsevier, 1999, 8 (5), pp.567-579. ⟨10.1016/S0926-5805(98)00116-2⟩
inria-00098965v1  Journal articles
Bruno Gaujal, Nicolas Navet. Traffic Shaping in Real-Time Distributed Systems: a Low-Complexity Approach
Computer Communications, Elsevier, 1999, 22 (17), pp.1562-1573
inria-00098963v1  Reports
Néjib Boubaker. Supervision et Contrôle des Réseaux Actifs
[Stage] 99-R-070 || boubaker99a, 1999, 80 p
inria-00098964v1  Reports
Francois Xavier Duranceau. Supervision et Contrôle des Réseaux Actifs
[Stage] 99-R-071 || duranceau99a, 1999, 40 p
inria-00098956v1  Conference papers
Arnaud Durand, Miki Hermann, Laurent Juban. On the complexity of recognizing the Hilbert basis of a linear Diophantine system
24th International Symposium on Mathematical Foundations of Computer Science - MFCS'99, 1999, Szklarska Poreba, Poland, pp.92-102
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-00098951v1  Journal articles
Jean Lieber, Amedeo Napoli. Raisonnement à partir de cas et résolution de problèmes dans une représentation par objets
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1999, 13, pp.9-35
inria-00098948v1  Reports
Jean-Pierre Thomesse, Gregory Prince. Timing consideration for electronic device description
[Intern report] 99-R-274 || thomesse99f, 1999, 13 p
inria-00098946v1  Reports
Philippe de Groote, Catherine Pilière. On the semantics of static exception handling
[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
inria-00098947v1  Reports
Jean-Pierre Thomesse, Gregory Prince. Event Management and Real Time constraints model
[Intern report] 99-R-272 || thomesse99c, 1999, 12 p
inria-00098943v1  Reports
Isabelle Gnaedig, Hélène Kirchner, Thomas Genet. Induction for Termination
[Intern report] 99-R-338 || gnaedig99a, 1999, pp.21
inria-00098939v1  Reports
Sorin Stratulat. A General Framework to Build Multi-logic Implicit Induction Provers
[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
inria-00098938v1  Reports
Jean-Pierre Thomesse, Olivier Jaray. Time distribution and synchronization
[Intern report] 99-R-273 || thomesse99g, 1999, 12 p
inria-00098931v1  Reports
Adel Bouhoula. Simultaneous Checking of Completeness and Ground Confluence
[Intern report] 99-R-051 || bouhoula99b, 1999
inria-00098932v1  Reports
Frédéric Landragin. Rapports entre oral et écrit
[Interne] 99-R-054 || landragin99a, 1999, 9 p
inria-00098929v1  Conference papers
Laurent Romary. Representation and normalization of multilingual dictionaries
Workshop from Information to Knowledge Using Astronomical Databases, 1999, Strasbourg, France
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/