Skip to Main content Skip to Navigation


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
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-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
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-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-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)
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
inria-00147563v1  Conference papers
Daniel Lazard. Mélange de deux lois Gaussiennes; systèmes sur-déterminés dépendant de paramètres approchés
Journees LNF, Liens Calcul Numerique-Calcul Formel, 2002, Toulouse, France
inria-00147556v1  Book sections
Frédéric Alexandre. Extraction d'invariants et prise en compte de la variabilité dans les réseaux de neurones artificiels
J. Lautrey. Invariants et variabilité dans les sciences cognitives, Éditions de la Maison des sciences de l'homme, 10 p, 2002, Cognitique
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-00147544v1  Conference papers
Vincent LepetitMarie-Odile Berger. Un outil de segmentation pour la manipulation de séquences vidéo
13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d'Intelligence Artificielle - RFIA'2002, 2002, Angers, France, 8 p
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-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-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 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-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-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-00101083v1  Reports
Paolo CastelpietraJörn MiggeEvelyne Silva. AIL, AIML and XML in the AEE Project
[Intern report] A02-R-401 || castelpietra02a, 2002
inria-00101069v1  Reports
Olivier Bournez. A Generalization of Equational Proof Theory?
[Intern report] A02-R-333 || bournez02e, 2002, 2 p
inria-00101066v1  Reports
Dominique PoulalhonGilles Schaeffer. A note on Bipartite Eulerian Planar Maps
[Intern report] A02-R-213 || poulalhon02a, 2002, 5 p
inria-00101054v1  Reports
Julia BitchevaOlivier PerrinClaude Godart. Cross-Organizational Processes Coordination
[Intern report] A02-R-046 || bitcheva02a, 2002, 9 p
inria-00101056v1  Reports
Isabelle GnaedigOlivier FissoreHélène Kirchner. Induction for weak termination
[Intern report] A02-R-111 || gnaedig02a, 2002, 23 p
inria-00101057v1  Reports
Egon BalasAlexander BockmayrNicolai PisarukLaurence Wolsey. On unions and dominants of polytopes
[Intern report] A02-R-104 || balas02a, 2002, 23 p
inria-00101050v1  Reports
Volodymyr Nemchenko. Génération de suites de test pour les protocoles IPv6
[Interne] A02-R-022 || nemchenko02a, 2002, 14 p
inria-00101044v1  Journal articles
Yves BertotNicolas MagaudPaul 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-00101043v1  Conference papers
Yves Caniou. Ordonnancement pour le modèle temps partagé
Ecole d'hiver Grid 2002, Dec 2002, Aussois, France
inria-00101042v1  Conference papers
Marie-Dominique MorchYvan NorsaMalika SmaïlPhilippe ColletLionel Domenjoud. From putative promoter sequence to genomic context : biological data collection on the web using a generic application (Xprom)
European Conference on Computational Biology - ECCB'2002. Session Posters, Sep 2002, Saarbrücken, Germany, 2 p
inria-00101038v1  Journal articles
Vladimir Y. LuninNatasha LuninaA. PodjarnyAlexander BockmayrAlexandre Urzhumtsev. Ab initio phasing starting from low resolution
Zeitschrift für Kristallographie, De Gruyter, 2002, 217 (12), pp.668-685
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-00101036v1  Conference papers
Lhassane IdoumgharPhilippe Debreux. New Modelling Approach for the Frequency Assignment Problem in Broadcasting
IASTED International Conference on Software Engineering and Applications - SEA'2002, 2002, Cambridge USA, pp.805-812
inria-00101035v1  Journal articles
Lhassane IdoumgharDebreux Philippe. New Modelling Approach for the Frequency Assignment Problem in Broadcasting
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (4), pp.293-298
inria-00101032v1  Conference papers
Mark G. J. van den BrandJ. ScheerderJ.J. VinjuEelco Visser. Disambiguation Filters for Scannerless Generalized LR Parsers
11th International Conference on Compiler Construction - CC'02, Apr 2002, Grenoble, France, pp.143-158
inria-00101033v1  Journal articles
Jean-François MariFlorence Le BerMarc Benoît. Segmentation temporelle et spatiale de données agricoles
Revue Internationale de Géomatique, Lavoisier, 2002, 12 (4), pp.439-460
inria-00101030v1  Conference papers
Mark G. J. van den BrandPaul KlintJ.J. Vinju. Term Rewriting with Type-safe Traversal Functions
2nd International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2002, Jul 2002, Copenhagen, Denmark, 18 p
inria-00101029v1  Journal articles
Mark G. J. van den BrandJ. HeeringP. KlintP.A. Olivier. Compiling language definitions: The ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2002, 24 (4), pp.334-368
inria-00101028v1  Conference papers
Mark G. J. van den BrandPierre-Etienne MoreauChristophe Ringeissen. The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
Workshop on Language Descriptions, Tools and Applications - LDTA'02, Apr 2002, Grenoble, France, 7 p
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-00101025v1  Conference papers
Sandy MaumusAmedeo NapoliRafik TaouilSophie Visvikis-Siest. A first study of the central role of the analyst in the knowledge discovery process in biology
Poster session at the 10th International Conference on Intelligent Systems for Molecular Biology - ISMB'02, Aug 2002, Edmonton, Canada, 1 p
inria-00101024v1  Conference papers
Eric DeplagneClaude Kirchner. Deduction versus Computation: the Case of Induction
Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
inria-00101020v1  Conference papers
Antonio Capobianco. Acquisition et évaluation ergonomique de stratégies d'aide contextuelles
Journée d'étude du réseau thématique "Système d'aide opératoire", ACI Cognitique, 2002, Paris, France
inria-00101019v1  Conference papers
Antonio Capobianco. Demandes d'aide procédurale : spécification des besoins d'utilisateurs novices
14e Conférence Francophone sur l'Interaction Homme-Machine - IHM 2002, 2002, Poitiers, France. pp.57-64, ⟨10.1145/777005.777014⟩
inria-00101022v1  Conference papers
Noëlle CarbonellConstantine Stephanidis. European Research Consortium for Informatics and Mathematics Workshop Adjunct Proceedings
7th ERCIM Workshop "User Interfaces for All" Special theme : "Universal Access", INRIA, 2002, Chantilly, France. 210 p