Skip to Main content Skip to Navigation

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-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⟩
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
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-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-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
hal-01401191v1  Conference papers
Jérôme EuzenatLaurent Buisson. SaMaRis: un environnement pour l'expérimentation et l'étude du maintien des raisonnements
8e congrès AFCET-INRIA-ARC-AFIA sur Reconnaissance des Formes et Intelligence Artificielle (RFIA), Nov 1991, Villeurbanne, France. pp.1233-1247
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