HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

inria-00100754v1  Journal articles
Bruno LévySylvain PetitjeanNicolas RayJérôme Maillot. Least Squares Conformal Maps for Automatic Texture Atlas Generation
ACM Transactions on Graphics, Association for Computing Machinery, 2002, 21 (3), 10 p. ⟨10.1145/566654.566590⟩
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-00098905v1  Journal articles
Manuel MunierKhalid BenaliClaude Godart. DisCOO, a really distributed system for cooperation
Networking and Information Systems Journal, Editions Hermès, 1999, 2 (5-6), pp.605-637
hal-02340520v1  Reports
Denis Roegel. A brief survey of 20th century logical notations
[Research Report] LORIA - Université de Lorraine. 2002
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-02082013v1  Conference papers
Philippe LacommeChristian PrinsWahiba Ramdane Cherif-Khettaf. Planning problems in arc routing
Actes de PMS 2002 (EURO Working Group on Project Management and Scheduling), 2002, Valencia, Spain. pp.232-235
hal-02082012v1  Conference papers
G. FleuryPhilippe LacommeChristian PrinsWahiba Ramdane Cherif-Khettaf. Robustness evaluation of solutions for the Capacitated Arc Routing Problem
Simulation and Planning in High Autonomy Systems, 2002, Lisbon, Portugal. pp.290-295
hal-02082011v1  Conference papers
Philippe LacommeChristian PrinsWahiba Ramdane Cherif-Khettaf. Realistic arc routing problems: fast heuristics and instance generator
actes de CO2002 (International Sympsium on Combinatorial Optimization), 2002, Paris, France. pp.112
hal-01875371v1  Reports
Christophe de Saint-RatSamuel Cruz-LaraPatrice BonhommeLaurent Romary. The ELAN Architecture
[Contract] Deliverables D3.1-1 and D3.2-1, Inria. 1999
hal-01862871v1  Conference papers
Abderrahman IggidrAbderrahim OuahbiJean-Claude Vivalda. On the Control of an Exploited Population of Fish
1999 European Control Conference (ECC), Aug 1999, Karlsruhe, Germany. ⟨10.23919/ECC.1999.7099447⟩
inria-00100827v1  Conference papers
Salma JamoussiKamel SmaïliJean-Paul Haton. Neural Network and Information Theory In Automatic Speech Understanding
SPECOM 2002 - International Workshop Speech and Computer, 2002, St-Petersburg, Russia. pp.1-4
inria-00101041v1  Conference papers
Laurent RomaryZina Tucnak. Experience with OLAC for the ATILF archives
Proceedings of the Third International Conference on Language Resources and Evaluation - LREC'2002, S. Bird, H. Uszkoreit, G. Simons, 2002, Las Palmas, Spain, France
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
hal-01434758v1  Conference papers
Nathalie RevolFabrice Rouillier. A library for arbitrary precision interval arithmetic
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
hal-01431513v1  Book sections
Eddy CaronFrédéric DesprezEric FleuryFrédéric LombardJean-Marc Nicod et al.  Une approche hiérarchique des serveurs de calculs
Françoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X
hal-01431508v1  Conference papers
Eddy CaronFrédéric DesprezFrédéric LombardJean-Marc NicodMartin Quinson et al.  A Scalable Approach to Network Enabled Servers
8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4
hal-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
inria-00100858v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi Liquori. Rewriting Calculus with(out) Types
WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
hal-00956165v1  Journal articles
Jean-Michel DischlerKarl MaritaudBruno LévyDjamchid Ghazanfarpour. Texture Particles
Computer Graphics Forum, Wiley, 2002, 21 (3), pp.401-410. ⟨10.1111/1467-8659.t01-1-00600⟩
hal-00922292v1  Conference papers
Rim Al-HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina 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-00098759v1  Conference papers
Joseph Di MartinoYves Laprie. An Efficient F0 Determination Algorithm Based on the Implicit Calculation of the Autocorrelation of the Temporal Excitation Signal
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary. 4 p
inria-00099412v1  Conference papers
Joseph Di Martino. On The Use of High Order Derivatives for High Performance Alphabet Recognition
International Conference on Acoustics Speech and Signal Processing - ICASSP 2002, 2002, Orlando, Florida, United States. 4 p
inria-00101016v1  Conference papers
Amalia TodirascuLaurent RomaryDalila Bekhouche. Combining Syntax and Ontologies for Information Extraction
Terminology and Knowledge Engineering - TKE'02, Aug 2002, Nancy, France
inria-00563279v1  Poster communications
Olivier ZendraDominique Colnet. Optimized late binding: the SmallEiffel example
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 1999, Denver, United States
inria-00098772v2  Conference papers
Thérèse BiedlErik DemaineMartin DemaineSylvain LazardAnna 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-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-00525171v1  Conference papers
Massimo PoesioFlorence BruneseauxLaurent Romary. The MATE meta-scheme for coreference in dialogues in multiple languages
ACL'99 Workshop Towards Standards and Tools for Discourse Tagging, Jun 1999, College Parc, United States. pp.65-74
inria-00098819v1  Conference papers
Frédéric WolffLaurent Romary. A contextual analysis of referring gestures
Proceedings of the 4th International Conference on Intelligent User Interfaces - IUI'99, 1999, Los Angeles, CA, United States
inria-00099449v1  Conference papers
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  On the Number of Lines Tangent to Four Convex Polyhedra
14th Canadian Conference on Computational Geometry - CCCG'02, 2002, Lethbridge, Canada
inria-00098832v1  Conference papers
Therese C. BiedlErik D. DemaineSylvain LazardSteven M. RobbinsMichael 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-00100878v1  Book sections
Laurent DupontDaniel LazardSylvain LazardSylvain Petitjean. Towards the Robust Intersection of Implicit Quadrics
J. Winkler and M. Niranjan. Uncertainty in Geometric Computations, Kluwer Academic Publishers, pp.59-68, 2002, International Series in Engineering and Computer Science
inria-00100887v1  Journal articles
Pankaj K. AgarwalThérèse BiedlSylvain LazardSteve RobbinsSubhash 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-00100846v1  Journal articles
Elias DahlhausJens GustedtRoss M. Mcconnell. Partially complemented representations of digraphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2002, Vol. 5, pp.147-168. ⟨10.46298/dmtcs.303⟩
inria-00100772v1  Conference papers
Harry BuntLaurent Romary. Towards Multimodal Content Representation
LREC Workshop on International Standards of Terminology and Language Resources Management, May 2002, Las Palams, Spain. 7 p
inria-00100763v1  Conference papers
Amalia TodirascuEric KowLaurent Romary. Towards Reusable NLP Components
Proceedings of the Third International Conference on Language Resources and Evaluation, European Language Resources Association (ELRA), May 2002, Las Palmas, Iles Canaries, Spain. pp.1116-1123
inria-00100771v1  Conference papers
Nancy IdeLaurent Romary. Standards for Language Resources
LREC 2002 - Third International Conference on Language Resources and Evaluation, May 2002, Las Palmas, Spain. pp.9
inria-00098949v1  Conference papers
D. BlampainSylviane DescotteJean-Luc HussonHans RohdeLaurent 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-00147379v1  Conference papers
Tawfik Es-SqalliJacques GuyardEric Dillon. Using MeDLey for the Grid-Decomposition Methods
International Conference on Parallel & Distributed Processing Techniques & Applications - PDPTA'99, 1999, Las Vegas, Nevada/USA, pp.1868-1873
inria-00363326v1  Conference papers
Samuel ThibaultXavier CavinOlivier FestorEric Fleury. Unreliable Transport Protocol for Commodity-Based OpenGL Distributed Visualization
Workshop on Commodity-Based Visualization Clusters, Oct 2002, Boston, United States
inria-00100770v1  Conference papers
Daan BroederPeter WittenburgThierry DeclerckLaurent Romary. LREP: A Language Repository Exchange Protocol
Third International Conference on Language Resources and Evaluation - LREC'2002, May 2002, Las Palmas, Spain
inria-00098751v1  Conference papers
Antonella de AngeliFrédéric WolffPatrice LopezLaurent Romary. Relevance and Perceptual Constraints in Multimodal Referring Actions
ESSLLI Workshop on Deixis, Demonstration & Deictic belief in Multimedia Contexts, Aug 1999, Utrecht, The Netherlands, 9 p
hal-00293496v1  Conference papers
Karim BaïnaFrançois CharoyClaude GodartDaniela GrigoriSaad 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
halshs-00261854v1  Conference papers
Sabrina KacherJean-Claude BignonGilles HalinGérald Duffing. The content-based image retrieval as an assistance tool to the architectural design domain
Conférence DDSS, Design and Decision Support Systems, Jul 2002, ELLECOM, Netherlands
halshs-00261852v1  Conference papers
Sabrina KacherGilles HalinJean-Claude BignonGérald Duffing. The content based-image retrieval as an assistance tool to the architectural design domain
The 6thWorld Multiconference on Systemics, Cybernetics and Informatics, Jul 2002, ORLANDO, United States. pp.54-59
hal-00190206v1  Journal articles
Monique Grandbastien. Teaching Expertise is at The Core of ITS Research
International Journal of Artificial Intelligence in Education (IJAIED), 1999, 10 (3-4), pp.335-349
inria-00147568v1  Conference papers
Philippe KislinAmos Abayomi DavidOdile Thiery. A model of information retrieval problem in Economic Intelligence context
6th World Multi-Conference on Systemics, Cybernetics and Informatics - SCI'2002, IIIS, 2002, Orlando, USA, pp.148-153
inria-00147550v1  Conference papers
Karim BaïnaSchahram 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-00099415v1  Conference papers
Mercedes MartinezJean-Claude DerniamePablo de la Fuente. A method for the dynamic generation of virtual versions of evolving documents
ACM Symposium on Applied Computing (Special track on Digital Libraries) - SAC'2002, ACM, 2002, Madrid, Spain, pp.476-482, ⟨10.1145/508791.508880⟩
inria-00133716v1  Book sections
Yolande BelaïdAbdel 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
hal-00120944v1  Conference papers
Hervé PanettoJean-François PétinDominique Méry. Formalisation of enterprise modelling standards using UML and the B method.
8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101
halshs-00112841v1  Book sections
Frédéric LandraginAntonella de AngeliFrédéric WolffPatrice LopezLaurent Romary. Relevance and Perceptual Constraints in Multimodal Referring Actions
Information Sharing: Reference and Presupposition in Language Generation and Interpretation, CSLI Publications, pp.395-413, 2002
hal-00112778v1  Conference papers
Frédéric Landragin. The Role of Gesture in Multimodal Referring Actions
Fourth IEEE International Conference on Multimodal Interfaces, 2002, Pittsburgh, PA, United States. pp.173-178
hal-00112772v1  Conference papers
Frédéric LandraginNadia BellalemLaurent Romary. Referring to Objects with Spoken and Haptic Modalities
Fourth IEEE International Conference on Multimodal Interfaces, 2002, Pittsburgh, PA, United States. pp.99-104
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 Skaf-MolliNourredine 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-00108115v1  Conference papers
Dominique MéryYassine Mokhtari. Validation of formal specifications
AAAI'99, Fall Symposium, Nov 1999, none, 5 p
inria-00108113v1  Conference papers
Virginie Govaere. A Combination of Representation Styles for the Acquirement of Speech Abilities
Artificial Intelligence in Education, S.P. Lajoie & M.Vivet, 1999, none, pp.371-378
inria-00108114v1  Conference papers
John Paul GibsonDominique MéryYassine Mokhtari. Animating formal specifications : a telephone simulation case study
13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145
inria-00108079v1  Reports
Orazio GurrieriPaolo CastelpietraOlivier Barrière. Using EAST-ADL with GME 2000
[Intern report] A02-R-416 || gurrieri02b, 2002
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-00108068v1  Directions of work or proceedings
Dominique Méry. Special Issue FMPPTA'98
World Scientific, 1999, Parallel Processing Letters
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-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-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-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-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-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 Abayomi DavidAbdel Belaid. Information Retrieval Systems in Document Analysis and Recognition
Document Layout Interpretation & its Applications - DLIA'99, 1999, Bangalore, India. 4 p
inria-00108053v1  Conference papers
Abdel BelaïdAmos 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-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-00107842v1  Reports
Dominique ColnetEmmanuel StapfOlivier Zendra. NICE ELKS 2000 proposal
[Intern report] 99-R-359 || colnet99c, 1999, 29 p