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


hal-02303802v1  Conference papers
Didier AnciauxMunerato FrancisDaniel RoyFrancois B. VernadatXiaolan 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èreFabrice 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èreLuc RollandFabrice 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 DurandJacques ChanliauJean-Pierre ThomesseFrançois CharpilletLaurent 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 KernAgany OlouiJean-Charles FaugèreFabrice 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 SchaefferAlfonso FugettaClaude GodartJens 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 GodartHala SkafNourredine BelkatirAntonio CarzanigaEstublier 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 VignierBenoit SonntagMarie-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 GirauArnaud 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 MahdiHenri AmetMarie-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 CunyLaurent AlonsoChristophe WinklerNicolas 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 CavallarBruce DodsonArjen-K. LenstraPaul LeylandWalter 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 ChengOtfried CheongHazel EverettRene 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 ZilbersteinFrançois CharpilletPhilippe 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 BertaultOlivier 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 BiluGuillaume Hanrot. Thue equations with composite fields
Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
inria-00108052v1  Conference papers
Amos DavidAbdel 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 KerrienMarie-Odile BergerEric MaurincommeLaurent LaunayRé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 SimonMarie-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 RingeissenEric 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 Bockmayryannis 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 BockmayrFriedrich EisenbrandMark HartmannAndreas 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 RusinowitchSorin StratulatFrancis 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 HatonJean-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 BonifaceFrédéric AlexandreSté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 BockmayrThomas 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 KucherovMichaë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 DesprezEric FleuryClaude GomezSerge SteerSté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 DesprezEric FleuryLaura 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 KlayMichaël RusinowitchSorin 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 Ouniyves 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-SqalliEric FleuryEric DillonJacques Guyard. Using Medley in a CORBA environment
Euro-Par'99 Parallel Processing, Sep 1999, Toulouse, France, pp.113-116
inria-00099000v1  Conference papers
Adel BouhoulaAhmed JebaliMichaë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 HermannPhokion 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 LangloisKamel 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 Bonneauyves LaprieJacqueline 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 KirchnerPeter 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 DevignesAndré SchaaffMalika 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 DavidDavid 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ïliArmelle BrunImed ZitouniJean-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 DavidDavid 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 TataGérôme CanalsClaude Godart. Specifying Interactions in Cooperative Applications
Eleventh International Conference on Software Engineering & Knowledge Engineering, 1999, Kaiserslautern Germany
inria-00098969v1  Journal articles
Mohamed Afifyyifan GongJean-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 MichelJudith 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é SchaffFrancis LepageJean-Pierre Thomesse. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99
Hermès Science Publications, 494 p, 1999
inria-00098973v1  Conference papers
Samir TataGérôme CanalsClaude 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 CoucaudOlivier ZendraDominique 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 GaujalNicolas 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 DurandMiki HermannLaurent 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 BerrahRafael 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 LieberAmedeo 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 ThomesseGregory Prince. Timing consideration for electronic device description
[Intern report] 99-R-274 || thomesse99f, 1999, 13 p
inria-00098946v1  Reports
Philippe de GrooteCatherine Pilière. On the semantics of static exception handling
[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
inria-00098947v1  Reports
Jean-Pierre ThomesseGregory Prince. Event Management and Real Time constraints model
[Intern report] 99-R-272 || thomesse99c, 1999, 12 p
inria-00098943v1  Reports
Isabelle GnaedigHélène KirchnerThomas 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 ThomesseOlivier 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