Skip to Main content Skip to Navigation

inria-00098695v1  Conference papers
Laurent BougrainFrédéric Alexandre. Unsupervised Algorithms for Vector Quantization: Evaluation on an environmental data set
NEURAP, Fourth International Conference on Neural Networks and their Applications, 1998, Marseille, France, pp.347-350
inria-00638356v1  Conference papers
Stefan Haar. Branching Processes of General S/T-Systems and their Properties
Proceedings of the MFCS'98 Workshop on Concurrency, 1998, Brno, Czech Republic, Czech Republic. pp.65-74, ⟨10.1016/S1571-0661(05)80250-6⟩
inria-00098452v1  Conference papers
Ousmane KonéRichard Castanet. Test Design From System Level Specification
International Conference on Parallel & Distributed Processing Techniques & Applications - PDPTA'98, CSREA-USA, 1998, Las Vegas, USA
inria-00098453v1  Conference papers
Ousmane KonéRichard CastanetP. Laurencot. On the fly test generation for real time protocols
International Conference on Computer Communications & Networks - IC3N'98, 1998, Lafayette, Louisiana, USA
hal-00869128v1  Conference papers
Narendra JussienOlivier Lhomme. About avoidable computations in Interval methods
SCAN ― IMACS/GAMM international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1998, Budapest, Hungary. pp.66
hal-00869129v1  Conference papers
Narendra JussienOlivier Lhomme. Dynamic domain splitting for numeric CSP
European Conference on Artificial Intelligence, 1998, Brighton, United Kingdom. pp.224--228
inria-00444641v1  Conference papers
Xavier BlondelPaulo FerreiraMarc Shapiro. Implementing Garbage Collection in the PerDiS system
Proceedings of the Eighth International Workshop on Persistent Object Systems, 1998, Tiburon CA, USA, United States
hal-02338347v1  Conference papers
Philippe MontesinosValérie Gouet-BrunetRachid Deriche. Differential invariants for color images
Fourteenth International Conference on Pattern Recognition, 1998, Brisbane, Australia. pp.838-840, ⟨10.1109/icpr.1998.711280⟩
cea-00333675v1  Conference papers
Alexis RocheGrégoire MalandainXavier PennecNicholas Ayache. The Correlation Ratio as a New Similarity Measure for Multimodal Image Registration
Medical Image Computing and Computer-Assisted Interventation, 1998, France. pp.1115-1124, ⟨10.1007/BFb0056181⟩
hal-01179696v1  Conference papers
Pierre AlliezOlivier DevillersJack Snoeyink. Removing Degeneracies by Perturbing the Problem or the World
Canadian Conference on Computational Geometry, 1998, Montreal, Canada
hal-00744198v1  Conference papers
Houssem HaddarPatrick Joly. An asymptotic approach of the scattering of electromagnetic waves by thin ferromagnetic coatings
Mathematical and numerical aspects of wave propagation (Golden, CO, 1998), 1998, Golden, CO, United States. pp.292--296
hal-03211080v1  Conference papers
Jean Goubault-Larrecq. A proof of weak termination of typed λσ-calculi
International Workshop on Types for Proofs and Programs (TYPES'96), 1998, Aussois, France. pp.134-153, ⟨10.1007/BFb0097790⟩
inria-00615687v1  Conference papers
Karl KrissianGrégoire MalandainNicholas AyacheRégis VaillantYves Trousset. Model-Based Multiscale Detection of 3D Vessels
Proc. of the IEEE Conf. on Computer Vision and Pattern Recognition, CVPR'98, 1998, Santa Barbara, United States. pp.722-727
inria-00615688v1  Conference papers
Karl KrissianGrégoire MalandainNicholas AyacheRégis VaillantYves Trousset. Model-Based Multiscale Detection of 3D Vessels
Proc. of Worshop on Biomedical Image Analysis WBIA'98, 1998, Santa Barbara, United States. pp.202-208
inria-00615813v1  Conference papers
Hervé Delingette. Initialization of Deformable Models from 3D Data
Proceedings of the Sixth Int. Conf. on Computer Vision (ICCV'98), 1998, Bombay, India, India. pp.311-316
inria-00615815v1  Conference papers
S. ValenteJean-Luc DugelayHervé Delingette. An Analysis/Synthesis Cooperation for Head Tracking and Video Face Cloning
Workshop on Perception of Human Action, ECCV Conference, 1998, Freiburg, Germany, Germany
inria-00098599v1  Conference papers
Didier GalmicheDominique Larchey-Wendling. Formulae-as-Resources Management for an Intuitionistic Theorem Prover
5th Workshop on Logic, Language, Information and Computation - WoLLIC'98, 1998, Sao Paulo, Brazil, 6 p
inria-00098600v1  Conference papers
Didier Galmiche. Proof construction in linear logic and programming
COST 15 LIEGE Seminar on Non Classical Logics for Computer Science Applications, invited lecture, 1998, Liege/Belgium, 1 p
inria-00098529v1  Conference papers
Didier GalmicheVincent Balat. Proof Systems for Intuitionistic Provability in Linear Logic
First International Workshop on Labelled Deduction - Ld'98, 1998, Freiburg/Germany
inria-00615804v1  Conference papers
Jean-Philippe ThirionSylvain PrimaGérard SubsolNeil Roberts. Statistical Analysis of Normal and Abnormal Dissymmetry in Volumetric Medical Images
IEEE Workshop on Biomedical Image Analysis, WBIA'98, 1998, Santa Barbara, USA, United States. pp.74-83
inria-00615805v1  Conference papers
Nicholas Ayache. Medical Image Analysis: a challenge for computer vision research
Int. Conf. on Pattern Recognition, ICPR'98, 1998, Brisbane, Australie, Australia. pp.1255--1256
inria-00615806v1  Conference papers
Guillaume CalmonNeil RobertsPaul EldridgeJean-Philippe Thirion. Automatic quantification of changes in the volume of brain structures
Proc. of First Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI'98), 1998, Cambridge, USA, United States. pp.769--769
inria-00615808v1  Conference papers
Alexandre GuimondJean MeunierJean-Philippe Thirion. Automatic Computation of Average Brain Models
Proc. of First Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI'98), 1998, Cambridge, USA, United States. pp.631--640
inria-00615810v1  Conference papers
Sylvain PrimaJean-Philippe ThirionGérard SubsolNeil Roberts. Automatic Analysis of Normal Brain Dissymmetry of Males and Females in MR Images
Proc. of First Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI'98), 1998, Cambridge, USA, United States. pp.770--779
inria-00615811v1  Conference papers
Guillaume CalmonNeil RobertsQ. GongPaul EldridgeA.R. Brodbelt et al.  Automatic quantification of changes in tumor volume and mass effect following radiotherapy
Proc. of Medical Image Understanding and Analysis (MIUA'98), 1998, Leeds, UK, United Kingdom
inria-00615803v1  Conference papers
Alexandre GuimondJ. WebbC. MackayNeil RobertsPaul Eldridge et al.  Automatic Detection of Hippocampal Atrophy
Human Brain Mapping Conference Proceedings, 1998, Montréal, Canada, Canada. pp.704
hal-01862874v1  Conference papers
Mohamed BensoubayaAbdelhak FerferaAbderrahman Iggidr. A jurdjevic-Quinn theorem for nonlinear systems
Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), 1998, Tampa, Florida, Unknown Region. pp.2485--2490, ⟨10.1109/cdc.1998.757798⟩
inria-00532719v1  Conference papers
Jean-Paul BerroirD. Bereziat. Use of image processing and remote sensing techniques to improve input data quality and collection
Proceedings of International Conference on Air Pollution Modelling and Simulation, 1998, Champ-sur-Marne, France
inria-00615809v1  Conference papers
Xavier PennecCharles R.G. GuttmannJean-Philippe Thirion. Feature-based Registration of Medical Images: Estimation and Validation of the Pose Accuracy
Proc. of First Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI'98), 1998, Cambridge, USA, United States. pp.1107--1114, ⟨10.1007/BFb0056300⟩
hal-00091895v1  Conference papers
Silvano Dal Zilio. Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus
SOAP'98 -- 1st International Workshop on Semantics of Objects as Processes, 1998, Aalborg, Denmark. pp.7
hal-01349210v1  Conference papers
Stéphane LavirotteLoïc Pottier. Mathematical formula recognition using graph grammar
Electronic Imaging, Jan 1998, San José, United States
inria-00544975v1  Conference papers
Isabelle RylYves RoosMireille Clerbout. About Synchronization Languages
Proc. 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), 1998, Brno, Czech Republic
inria-00565190v1  Conference papers
Pierre BouletXavier Redon. Communication Pre-evaluation in HPF
Euro-Par'98, 1998, Southampton, United Kingdom. pp.263-272
inria-00098486v1  Conference papers
Gülgün AlpanMohsen A. Jafari. A Combined Plant + Controller Model of Discrete Event Systems
International Workshop on Discrete Event Systems - WoDES, 1998, Cagliari, Sardinia, pp.73-78
inria-00390868v1  Conference papers
Olivier BruneauFethi Ben OuezdouPierre-Brice Wieber. Dynamic transition simulation of a walking anthropomorphic robot
IEEE International Conference on Robotics & Automation, 1998, Leuven, Belgium
hal-01248219v1  Conference papers
Paulo FerreiraMarc Shapiro. Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proof
Euro. Conf. on Object-Oriented Pging. (ECOOP), 1998, Brussels, Belgium. pp.234--259, ⟨10.1007/BFb0054094⟩
inria-00098504v1  Conference papers
Matthieu CourrierFrançoise Simonot-LionYe-Qiong Song. Microscopic Modeling of Support System for In-Vehicle Embedded Systems
International IFIP Workshop on Distributed & Parallel Embedded Systems, IFIP, 1998, Paderborn/Germany, 10 p
inria-00098455v1  Conference papers
Nicolas NavetYe-Qiong Song. Design of Reliable Real-Time Applications Distributed over CAN (Controller Area Network)
INCOM98, IFAC 9th Symposium on Information Control in Manufacturing, 1998, Nancy/Metz/France, 6 p
inria-00098456v1  Conference papers
Nicolas NavetYe-Qiong Song. On fault tolerance and worst-case response time analysis in CAN
23nd IFAC/IFIP Workshop on Real-Time Programming, 1998, Shantou/China, 6 p
inria-00510087v1  Conference papers
Jean-Dominique GascuelMarie-Paule CaniMathieu DesbrunEric LeroyCarola Mirgon. Simulating Landslides for Natural Disaster Prevention
9th Eurographics Workshop on Computer Animation and Simulation (EGCAS'98), 1998, Lisbonne, Portugal
hal-01179446v1  Conference papers
Olivier Devillers. Improved incremental randomized Delaunay triangulation
Proceedings of the 14th Annual Symposium on Computational Geometry, 1998, Mineapolis, United States. pp.106-115, ⟨10.1145/276884.276896⟩
inria-00259896v1  Conference papers
Jerome Monnier. Shape optimal design problem in fluid mechanics with thermal transfer
European Community on Computational Methods in Applied Sciences, ECCOMAS'98, 1998, Athens, Greece. pp.245-261
inria-00098468v1  Conference papers
Arnaud DuryFlorence Le BerVincent Chevrier. A reactive approach for solving constraint satisfaction problems
Agent Theories,Architectures, and Languages - ATAl'98, 1998, Paris, France
inria-00098434v1  Conference papers
Florence Le BerVincent ChevrierArnaud Dury. A Multi-Agent System for the Simulation of Land Use Organization
3rd IFAC/CIGR Workshop on Artificial Intelligence in Agriculture, 1998, Makuhari, Chiba, Japan. 6 p
hal-01517331v1  Conference papers
Laure Tougne. The moirés of circles
IEEE Southwest Symposium on Image Analysis and Interpretation, 1998, Tucson, United States. pp.115-120