Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

652 Results
Deposit type : Notice

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition

Philippe Aubry , Dongming Wang
Third International Workshop on Automated Deduction in Geometry - ADG'2000, J. Richter-Gebert, D. Wang, 2000, Zurich, Switzerland, pp.154-174
Conference papers inria-00100607v1

Interpolation, definability and fixed points in interpretability logics

Areces Carlos , Eva Hoogland , Dick de Jongh
K. Segerberg, M. Zakharyaschev, M. de Rijke, and H. Wansing. Advances in Modal Logic, CSLI Publications, 2000
Book sections inria-00104543v1

On the performance and feasibility of multicast core selection heuristics

Eric Fleury , Yih Huang , P. K. Mckinley
Networks, 2000, 35 (2), pp.145-156
Journal articles inria-00110775v1

Matching color uncalibrated images using differential invariants

Philippe Montesinos , Valérie Gouet , Rachid Deriche , Danielle Pelé
Image and Vision Computing, 2000, 18 (9), pp.659-671. ⟨10.1016/s0262-8856(99)00070-0⟩
Journal articles istex hal-02338260v1

Reflecting BDDs in Coq

Kumar Neeraj Verma , Jean Goubault-Larrecq , Sanjiva Prasad , S. Arun-Kumar
6th Asian Computing Science Conference (ASIAN 2000), Nov 2000, Penang, Malaysia. pp.162-181
Conference papers hal-03207264v1

Building and Browsing Hyper-Videos: a Content Variation Modeling Solution

Riad Hammoud , Roger Mohr
Formal Pattern Analysis & Applications, 2000
Journal articles inria-00548304v1

Improvement in TDEM sounding interpretation in presence of induced polarization. A case study in resistive rocks of the Fogo volcano, Cape Verde Islands

Marc Descloitres , Roger Guérin , Yves Albouy , Alain Tabbagh , Michel Ritz
Journal of Applied Geophysics, 2000, 45, pp.1-18. ⟨10.1016/S0926-9851(00)00015-X⟩
Journal articles istex hal-04110490v1

1-D Modelling rock compaction in sedimentary basins using a visco-elastic rheology

Elena Suetnova , Guy Vasseur
Earth and Planetary Science Letters, 2000, 178, pp.373-383. ⟨10.1016/S0012-821X(00)00074-1⟩
Journal articles istex hal-04110491v1

Merveilleux nombres premiers : Voyage au coeur de l'arithmétique

Jean-Paul Delahaye
Belin-Pour La Science, 2000, 2-7011-5017-5
Books hal-00731940v1

Une forme de négociation Dans les systèmes multi-agents

Philippe Mathieu , Alain Taquet
Actes des Journées Francophones d'Intelligence Artificielle Distribuée et des Systèmes Multi-Agents (JFIADSMA'2000), 2000, undef, France. pp.133--148
Conference papers hal-00732017v1

Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach

Yves Dumond , Didier Girardet , Flavio Oquendo
13th International Conference on Software and Systems Engineering and their Applications, Dec 2000, Paris, France. pp.1-9
Conference papers hal-01191618v1

A retrospective study of the microbiological and parasitological status of laboratory rodents in France

L. Zenner , J-P. Regnault
Journal of Experimental Animal Science, 2000, 40(4), pp.211-222
Journal articles hal-00698345v1

Moduli spaces of PU(2)-Monopoles

Andrei Teleman
Asian Journal of Mathematics, 2000, 4 (2), pp.391-436
Journal articles hal-00881750v1

Les représentations de connaissances par objets

Amedeo Napoli , Jérôme Euzenat , Roland Ducournau
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2000, 19 (1-3), pp.387-394
Journal articles hal-00825896v1

Effective boundary conditions for thin ferromagnetic layers: the one-dimensional model

Houssem Haddar , Patrick Joly
SIAM Journal on Applied Mathematics, 2000, 61 (4), pp.1386--1417 (electronic). ⟨10.1137/S0036139998346361⟩
Journal articles hal-00744194v1

Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over CAN (Controller Area Network)

Nicolas Navet , Ye-Qiong Song , François Simonot
Journal of Systems Architecture, 2000, 46 (7), pp.607-617
Journal articles inria-00099080v1

Performances Study on crossover operators keeping good schemata for some scheduling problems

Marie-Claude Portmann , Antony Vignier
Proceedings of the Second Genetic & Evolutionary Computation COnference - GECCO'2000, 2000, Las Vegas, USA, pp.331-338
Conference papers inria-00099090v1

Modélisation stochastique d'une population de neurones, méta-apprentissage dans un problème de classification

Bruno Scherrer , Frédéric Alexandre , François Charpillet , Stéphane Vialle
Neurosciences et sciences de l'ingénieur, 2000, Dinard, France, 4 p
Conference papers inria-00099114v1

Predicate diagrams for the verification of reactive systems

Dominique Cansell , Dominique Méry , Stephan Merz
Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397
Conference papers inria-00099125v1

Report about the user experience with ISAEUS

Marie-Christine Haton
[Contract] A00-R-242 || haton00a, 2000, 75 p
Reports inria-00099131v1

FPNA: interaction between FPGA and neural computation

Bernard Girau
International Journal of Neural Systems, 2000, 10 (3), pp.243-259
Journal articles inria-00099134v1

Conciliating connectionism and parallel digital hardware

Bernard Girau
Parallel and Distributed Computing Practices, 2000, 3 (2), pp.145-162
Journal articles inria-00099135v1

Simulation géométrique de trajectoire avec erreurs de données de CAO

Luc Rolland , Fabrice Rouillier
[Contrat] A00-R-265 || rolland00a, 2000, 25 p
Reports inria-00099159v1

Generalization performance of multi-class discriminant models

Hélène Paugam-Moisy , André Elisseeff , Yann Guermeur
IJCNN'2000, 2000, Come, Italie, pp.177-182
Conference papers inria-00099163v1

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

Michaël Rusinowitch , Sorin Stratulat , Francis Klay
12th International Conference on Computer Aided Verification - CAV'2000, 2000, Chicago, USA, pp.344-357
Conference papers inria-00099167v1

Combining Protein Secondary Structure Prediction Methods with a new Multi-Category SVM

Yann Guermeur , Dominique Zelus
Intelligent Systems for Molecular Biology - ISMB'2000, 2000, San-Diego, Californie, USA, 1 p
Conference papers inria-00099180v1

Introduction to the constraint language NCL

Jianyang Zhou
Journal of Logic Programming, 2000, 45 (1-3), pp.71-103
Journal articles inria-00099184v1

Case-Based Reasoning for Breast Cancer Treatment Decision Helping

Jean Lieber , Benoît Bresson
fifth European Workshop on Case-Based Reasoning - EWCBR'2000, 2000, Trento, Italie, pp.173--185
Conference papers inria-00099202v1

Intégration du support IPv6 dans l'environnement de supervision de réseaux actif ANAIS

Stéphane d'Alu , Guillaume Chelius , Isabelle Chrisment , Olivier Festor , Eric Fleury
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2000, Oct 2000, Toulouse, France, 16 p
Conference papers inria-00099203v1

Logiciels et modèles de développement

Jeanine Souquières
[Contrat] A00-R-021 || souquieres00c, 2000, 4 p
Reports inria-00099208v1