Skip to Main content Skip to Navigation

hal-00842375v1  Conference papers
André Galligo. Computation of some Hilbert functions related to Schubert Calculus
Week of Algebraic Geometry held in Sitges (Barcelona), 5-12 October, 1983., Sebastian Xambó-Descamps, Oct 1983, Sitges, Spain. pp. 79-97
hal-02447228v1  Conference papers
Jean-Claude BermondGerard Memmi. A graph theoretical characterization of minimal deadlocks in Petri nets
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
inria-00589981v1  Conference papers
Radu Horaud. Spatial Object Perception from an Image
Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI '85), Aug 1985, Los Angeles, United States. pp.1116--1119
inria-00444651v1  Conference papers
Marc Shapiro. Structure and Encapsulation in Distributed Systems: the Proxy Principle
Int. Conf. on Distr. Comp. Sys. (ICDCS), IEEE, 1986, Cambridge, MA, USA, United States. pp.198--204
hal-02973251v1  Conference papers
Jean-Claude BermondJean-Claude KönigMichel Raynal. Genaral and efficient decentralized consensus protocols
Proceedings International workshop, Jul 1987, Amsterdam, Netherlands. pp.41-56
hal-01248234v1  Conference papers
Marc Shapiro. Domains and dynamic loading: reconciling autonomy and integration
SIGOPS European Workshop on ``Autonomy or interdependence in distributed systems?'', 1988, Cambridge, United Kingdom. ⟨10.1145/504092.504127⟩
hal-00641401v1  Conference papers
Willemien Visser. Towards modelling the activity of design: An observational study on a specification stage
IFAC/IFIP/IEA/IFORS Conference on Man-Machine Systems. Analysis, Design and Evaluation, IFAC/IFIP/IEA/IFORS, Jun 1988, Oulu, Finland
hal-01162532v1  Conference papers
Yves Moinard. Pointwise circumscription is equivalent to predicate completion (sometimes)
Fifth International Conference of Logic Programming (ICLP 88), Aug 1988, Seattle, United States
hal-01307039v1  Conference papers
Isabelle HerlinJean-Pierre Crettez. Texture analysis by a perceptual model
International Conference on Pattern Recognition (ICPR), Nov 1988, Rome, Italy. pp.764-766, ⟨10.1109/ICPR.1988.28352⟩
hal-01021826v1  Conference papers
Gabriel G. BèsClaire Gardent. French Order Without Order
EACL 1989 - Fourth Conference of the European Chapter of the Association for Computational Linguistics, 1989, Manchester, United Kingdom. pp.249-255
inria-00510147v1  Conference papers
François X. SillionClaude Puech. A General Two-Pass Method Integrating Specular and Diffuse Reflection
Proceedings of SIGGRAPH '89, 1989, Boston, United States. pp.335-344
inria-00436003v1  Conference papers
Jean-Pierre BanâtreMichel BanâtreChristine Morin. Implementing atomic rendezvous within a transactional framework
Eighth Symposium on Reliable Distributed Systems, 1989, Seattle, United States. pp.119-128
hal-00765072v1  Conference papers
Claude JardJean-Marc Jézéquel. A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines
9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands
inria-00589992v1  Conference papers
Radu HoraudBernard ConioOlivier LeboulleuxBernard Lacolle. An Analytic Solution for the Perspective 4-Point Problem
Proceedings Computer Vision and Pattern Recognition, Jun 1989, San-Diego, United States. pp.500--507, ⟨10.1109/CVPR.1989.37893⟩
hal-00643770v1  Conference papers
Pierre FalzonWillemien Visser. Variations in expertise: Implications for the design of assistance systems
HCI'89 - Third International Conference on Human-Computer Interaction, Sep 1989, Boston, United States. pp.121-128
hal-00765061v1  Conference papers
Jean-Marc Jézéquel. Building a global time on parallel machines
Proc. of the 3rd International Workshop on Distributed Algorithms, Sep 1989, Nice, France
inria-00589995v1  Conference papers
Radu HoraudThomas SkordasFrançoise Veillon. Finding Geometric and Relational Structures in An Image
1st European Conference on Computer Vision (ECCV'90), Apr 1990, Antibes, France. pp.374--384, ⟨10.1007/BFb0014886⟩
hal-01499983v1  Conference papers
Xavier Leroy. Efficient data representation in polymorphic languages
PLILP 1990: Programming Language Implementation and Logic Programming, Aug 1990, Linköping, Sweden. ⟨10.1007/BFb0024189⟩
inria-00589994v1  Conference papers
Laurent HéraultRadu HoraudFrançoise VeillonJean-Jacques Niez. Symbolic Image Matching by Simulated Annealing
4th British Machine Vision Conference (BMVC '90), Sep 1990, Oxford, United Kingdom. pp.319--324
inria-00000165v2  Conference papers
Willemien Visser. Evocation and elaboration of solutions: Different types of problem-solving actions. An empirical study on the design of an aerospace artifact --- Evocation et élaboration de solutions : différents types d'actions de résolution de problème. Une étude empirique de la conception d'une structure aérospatiale
COGNITIVA 90. At the crossroads of Artificial Intelligence, Cognitive science, and Neuroscience, AFCET (Association française pour la cybernétique économique et technique); Association COGNITIVA, Nov 1990, Madrid, Spain. pp.689-696
inria-00510146v1  Conference papers
Julie DorseyFrançois X. SillionDonald P. Greenberg. Design and Simulation of Opera Lighting and Projection Effects
SIGGRAPH'91 conference proceedings, 1991, Las Vegas, United States. pp.41-50
inria-00510144v1  Conference papers
Xiao Dong HeKenneth E. TorranceFrançois X. SillionDonald P. Greenberg. A Comprehensive Physical Model for Light Reflection
SIGGRAPH'91 conference proceedings, 1991, Las Vegas, United States
inria-00444615v1  Conference papers
Marc Shapiro. A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol
Symposium on Reliable Distributed Sytems (SRDS), 1991, Pisa, Italy, Italy. pp.208--217, ⟨10.1109/RELDIS.1991.145426⟩
inria-00510145v1  Conference papers
François X. SillionJames ArvoStephen WestinDonald P. Greenberg. A Global Illumination Solution for General Reflectance Distributions
SIGGRAPH'91 conference proceedings, 1991, Las Vegas, United States. pp.187-196
hal-00589091v1  Conference papers
Kamel SmaïliFrançois CharpilletJean-Marie PierrelJean-Paul Haton. A continuous speech recognition approach for the design of a dictation machine
European Conference on Speech Technology, 1991, Genova, Italy. pp.953-956
hal-01499974v1  Conference papers
Xavier LeroyPierre Weis. Polymorphic type inference and assignment
POPL 1991: 18th symposium Principles of Programming Languages, ACM, Jan 1991, Orlando, United States. pp.291-302, ⟨10.1145/99583.99622⟩
hal-01216856v1  Conference papers
ISIT 2991, Jun 1991, Budapest, Hungary. pp.7-7
hal-01401192v1  Conference papers
Jérôme Euzenat. Contexts for nonmonotonic RMSes
12th International Joint Conference on Artificial Intelligence (IJCAI), Aug 1991, Sydney, Australia. pp.300-305
hal-01499984v1  Conference papers
Xavier LeroyMichel Mauny. Dynamics in ML
FPCA 1991: Functional Programming Languages and Computer Architecture, Aug 1991, Boston, United States. pp.406-426
hal-01401195v1  Conference papers
Laurent BuissonJérôme Euzenat. A quantitative analysis of reasoning for RMSes
6th International Symposium on Methodologies for Intelligent Systems (ISMIS), Oct 1991, Charlotte, United States. pp.9-20
hal-03210114v1  Conference papers
Jean-Claude BermondPierre Fraigniaud. Broadcasting and NP-completeness
Proceedings Graph Theory Day 22, Nov 1991, New-York, United States. pp.8-14
inria-00128343v1  Conference papers
Françoise Detienne. Reasoning from a schema and from an analog in software code reuse
Fourth Annual Workshop on Empirical Studies of Programmers - ESP91, Dec 1991, New Brunswick, NJ, United States. pp.5-22
hal-02463486v1  Conference papers
Philippe MartinetPatrick RivesPascal FickingerJean-Jacques Borrelly. Parallel Architecture for Visual Servoing Applications
Workshop on Computer Architecture for Machine Perception, CAMP'91, Dec 1991, Paris, France. pp.407-418
inria-00444622v1  Conference papers
David PlainfosséMarc Shapiro. Experience with a Fault-Tolerant Garbage Collector in a Distributed List System
IWMM : Memory Management, International Workshop, 1992, Saint-Malo, France, France. pp.116--133
hal-01297750v1  Conference papers
Didier GalmicheGuy Perrier. A procedure for automatic proof nets construction
Conference on Logic Programming and Automated Reasoning, LPAR'92, 1992, St-Petersburg, Russia. pp.42-53
hal-01117277v1  Conference papers
Olivier DevillersNaji Mouawad. Guarding Vertices versus Guarding Edges in a Simple Polygon
4th Canadian Conference on Computational Geometry, 1992, St. John's, Canada. pp.99-102
hal-01499973v1  Conference papers
Xavier Leroy. Unboxed objects and polymorphic typing
POPL 1992: 19th symposium Principles of Programming Languages, Jan 1992, Albuquerque, United States. pp.177-188, ⟨10.1145/143165.143205⟩
inria-00590008v1  Conference papers
Laurent HeraultRadu Horaud. Figure-Ground Discrimination by Mean Field Annealing
2nd European Conference on Computer Vision (ECCV '92), May 1992, Santa Margherita Ligure, Italy. pp.58--66, ⟨10.1007/3-540-55426-2_7⟩
inria-00590011v1  Conference papers
Humberto SossaRadu Horaud. Model Indexing: the Graph-Hashing Approach
IEEE Conference on Computer Vision and Pattern Recognition (CVPR '92), Jun 1992, Urbana-Champaign, United States. pp.811--814, ⟨10.1109/CVPR.1992.223252⟩
hal-01862881v1  Conference papers
Abderrahman IggidrJean-Claude Vivalda. Local Stabilization of Analytic Systems with n-1 inputs
Proc. of the Nonlinear Control Systems Design Symposium NOLCOS'92, Jun 1992, Bordeaux, France
hal-01401190v1  Conference papers
Laurent BuissonJérôme Euzenat. The ELSA avalanche path analysis system: an experiment with reason maintenance and object-based representations
ECAI workshop on Applications of Reason Maintenance Systems, Aug 1992, Wien, Austria
hal-01893012v1  Conference papers
Isabelle Gnaedig. Termination of Order-sorted Rewriting
ALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩
hal-00568706v1  Conference papers
Pierre Nicodème. Compact Balanced Tries
Algorithms, Software, Architecture Information Processing 92, Sep 1992, Madrid, Spain. pp.477-483
hal-00765076v1  Conference papers
Marc AndreuMichèle HazizaClaude JardJean-Marc Jézéquel. Analyzing a space-protocol: from specification, simulation to experimentation
Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France
hal-01708592v1  Conference papers
Dieter LasserGeorges-Pierre Bonneau. Bézier Representation of Trim Curves
Dagstuhl Seminar on Geometric Modelling, 1993, Dagstuhl, Germany. pp.1-18
hal-00818241v1  Conference papers
Frédéric Devernay. A fast and Efficient Subpixelic Edge Detector
Quatrièmes Journées Orasis, 1993, Mulhouse, France
hal-00452279v1  Conference papers
Nicolas BouleauFrancis Hirsch. Some Results on Lipschitzian Stochastic Differential Equations by Dirichlet Forms Methods.
Classical and modern potential theory, 1993, Bonas, France. pp.125-132
hal-01499969v1  Conference papers
Damien DoligezXavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML
POPL 1993: 20th symposium Principles of Programming Languages, Jan 1993, Charleston, United States. pp.113-123, ⟨10.1145/158511.158611⟩