Skip to Main content Skip to Navigation

inria-00074344v1  Reports
Stéphane GrumbachChristophe Tollu. On the Expressive Power of Counting
[Research Report] RR-2330, INRIA. 1992, pp.38
inria-00077192v1  Conference papers
Guy FayolleStéphane GrumbachChristophe Tollu. Asymptotic probabilities of languages with generalized quantifiers
Eighth Annual IEEE Symposium on Logic in Computer Science, Jun 1993, Montréal / Canada, pp.199-207, ⟨10.1109/LICS.1993.287587⟩
hal-01499967v1  Conference papers
Maria-Virginia AponteXavier Leroy. Llamado de procedimientos a distancia y abstracción de tipos
20th CLEI PANEL latino-american computer science conference, Aug 1994, Mexico, México. pp.1281-1292
hal-00706168v1  Books
Philippe BolonJean-Marc ChasseryJean-Pierre CocquerezDidier DemignyChristine Graffigne et al.  Analyse d'images : Filtrage et segmentation
Jean-Pierre Cocquerez; Sylvie Philipp. MASSON, 1995, Enseignement de la physique, 2-225-84923-4
inria-00532690v1  Conference papers
Bertrand LeroyIsabelle HerlinLaurent D. Cohen. Face Identification by Deformation Measure
Proceedings of the International Conference on Pattern Recognition, Aug 1996, Vienne, Austria. pp.633-637, ⟨10.1109/ICPR.1996.547023⟩
hal-01401180v1  Conference papers
Christian BessièreJérôme EuzenatRobert JeansoulinGérard LigozatSylviane Schwer. Raisonnement spatial et temporel
6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. pp.77-88
inria-00532707v1  Conference papers
Dominique BéréziatIsabelle HerlinLaurent Younes. Méthodes de détection de mouvement adaptées aux images météorologiques
GRETSI 97 : seizième colloque sur le traitement du signal et des images, Sep 1997, Grenoble, France. pp.909-912
inria-00078882v1  Conference papers
Sandrine BlazyPhilippe Facon. Application of formal methods to the development of a software maintenance tool
ASE'97: The 12th IEEE Conference on Automated Software Engineering., Lowry, M. and Ledru, Y., Nov 1997, Lake Tahoe, Nevada, USA, pp.162-171
inria-00077199v1  Reports
Gilles DowekThérèse HardinClaude Kirchner. Theorem Proving Modulo
[Research Report] RR-3400, INRIA. 1998, pp.27
hal-01499962v1  Conference papers
Marco DaneluttoRoberto Di CosmoXavier LeroySusanna Pelagatti. Parallel Functional Programming with Skeletons: the OCamlP3L experiment
ACM Workshop on ML and its applications, ACM, Sep 1998, Baltimore, United States
hal-00723837v1  Conference papers
Daniel AugotJean-François DelaigleCaroline Fontaine. DHWM: A Scheme for Managing Watermarking Keys in the Aquarelle Multimedia Distributed System
ESORICS 98 : 5th European Symposium on Research in Computer Security, Sep 1998, Louvain-la-Neuve, Belgium. pp.241-255, ⟨10.1007/BFb0055867⟩
hal-00723737v1  Journal articles
Daniel AugotJean-Marc BoucqueauJean-François DelaigleCaroline FontaineEddy Goray. Secure Delivery of Images over Open Networks
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 1999, 87 (7), pp.1251 - 1266. ⟨10.1109/5.771076⟩
hal-03208846v1  Conference papers
Jean Goubault-LarrecqEric Goubault. Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs
IMLA 1999 - 1st Workshop on Intuitionistic Modal Logics and Applications, Jul 1999, Trento, Italy
inria-00000878v1  Conference papers
Frédéric RaynalEvelyne LuttonPierre ColletMarc Schoenauer. Manipulation of Non-Linear IFS attractors using Genetic Programming
Congress on Evolutionary Computation, Jul 1999, Washington DC, USA
inria-00000879v1  Conference papers
Pierre ColletEvelyne LuttonFrédéric RaynalMarc Schoenauer. Individual GP: an Alternative Viewpoint for the Resolution of Complex Problems
GECCO, Genetic and Evolutionary Computation Conference,, Jul 1999, Orlando, Florida, USA
inria-00471696v1  Conference papers
Cédric AdjihKhaldoun Al AghaFrançois DumontetPhilippe JacquetAlberto Lopez et al.  Quality of service aspect for BRAIN architecture
11th IEEE International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), 2000, London, United Kingdom. pp.1-5
inria-00512791v1  Journal articles
Mireille FouquetPierrick GaudryRobert Harley. An extension of Satoh's algorithm and its implementation
Journal of the Ramanujan Mathematical Society, Ramanujan Mathematical Society, 2000, 15, pp.281-318
inria-00000097v1  Journal articles
Pierre ColletEvelyne LuttonFrédéric RaynalMarc Schoenauer. Polar IFS + Parisian GP = Efficient IFS inverse problem solving
Genetic Programming and Evolvable Machines, Springer Verlag, 2000, 1 (4), pp.339-361
hal-00948932v1  Journal articles
Bernd AmannIrini FundulakiMichel Scholl. Integrating ontologies and thesauri for RDF schema creation and metadata querying
International Journal on Digital Libraries, Springer Verlag, 2000, 3 (3), pp.221--236. ⟨10.1007/s007990000037⟩
inria-00444644v1  Book sections
Paulo FerreiraMarc ShapiroXavier BlondelOlivier FambonJoão Garcia et al.  PerDiS: design, implementation, and use of a PERsistent DIstributed Store
Sacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, Springer-Verlag, pp.427--452, 2000, Lecture Notes in Computer Science, ⟨10.1007/3-540-46475-1_18⟩
inria-00471695v1  Conference papers
Karell BertetIsabelle Guérin-LassousLaurent Viennot. Un premier pas vers la réservation de bande passante dans les réseaux radio
2es rencontres francophones sur les Aspects Algorithmiques des Télécommunications (ALGOTEL), 2000, La Rochelle, France. pp.25-30
hal-01248216v1  Conference papers
Marc ShapiroPaulo FerreiraNicolas Richer. Experience with the PerDiS large-scale data-sharing middleware
9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.55-69, ⟨10.1007/3-540-45498-5_6⟩
hal-01248218v1  Conference papers
Nicolas RicherMarc Shapiro. The memory behavior of WWW, or the WWW considered as a persistent store
9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.161-176, ⟨10.1007/3-540-45498-5_14⟩
inria-00000875v1  Conference papers
Pierre ColletEvelyne LuttonMarc SchoenauerJean Louchet. Take it EASEA
PPSN VI, Sep 2000, Paris - France
inria-00107866v1  Conference papers
Daniel Lazard. Resolution of polynomial systems
4th Asian Symposium on Computer Mathematics - ASCM 2000, Dec 2000, Chiang Mai, Thailand. pp.1 - 8
inria-00471622v1  Conference papers
Philippe JacquetPaul MuhlethalerThomas Heide ClausenAnis LaouitiAmir Qayyum et al.  Optimized Link State Routing Protocol for Ad Hoc Networks
Multi Topic Conference, 2001. IEEE INMIC 2001, 2001, Lahore, Pakistan. pp.62 - 68, ⟨10.1109/INMIC.2001.995315⟩
inria-00471619v1  Journal articles
Michel HabibChristophe PaulLaurent Viennot. Linear time recognition of P4-indifference graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, 4 (2), pp.173-178
inria-00099402v1  Conference papers
Daniel Lazard. Optimality of the parameterization of quadrics and their intersections
Journées de cloture Visi3D et CoSTIC, 2001, Paris, France
hal-00948950v1  Conference papers
Bernd AmannIrini FundulakiMichel SchollCatriel BeeriAnne-Marie Vercoustre. Mapping XML fragments to community web ontologies
WebDB 2001 - International Workshop on the Web and Databases, May 2001, Santa Barbara, California, United States. pp.97--102
inria-00471698v1  Conference papers
Khaldoun Al AghaLaurent Viennot. Spatial reuse in wireless LAN networks
Personal Wireless Communications (IFIP PWC'2001), Aug 2001, Lappeenranta, Finland. pp.209-222
inria-00107534v1  Conference papers
Daniel Lazard. On the specification for solvers of polynomial systems
5th Asian Symposium on Computer Mathematics - ASCM 2001, Sep 2001, Matsuyama, Japan. pp.66 - 75, ⟨10.1142/9789812799661_0007⟩
inria-00471697v1  Conference papers
Karell BertetClaude ChaudetIsabelle Guérin-LassousLaurent Viennot. Impact of Interferences on Bandwidth Reservation for Ad Hoc Networks: a First Theoretical Study
IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM), Nov 2001, San Antonio, United States. pp.2907 - 2910, ⟨10.1109/GLOCOM.2001.965960⟩