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

Filter your results

3 657 Results
Deposit type : Fulltext
Image document

Towards Practical Black-Box Accountable Authority IBE: Weak Black-Box Traceability With Short Ciphertexts and Private Keys

Benoit Libert , Damien Vergnaud
IEEE Transactions on Information Theory, 2011, 57 (10), pp.7189-7204
Journal articles hal-01110043v1
Image document

A formal study of Bernstein coefficients and polynomials

Yves Bertot , Frédérique Guilhot , Assia Mahboubi
Mathematical Structures in Computer Science, 2011, 21 (04), pp.731-761. ⟨10.1017/S0960129511000090⟩
Journal articles inria-00503017v2
Image document

Petri Net Reachability Graphs: Decidability Status of FO Properties

Philippe Darondeau , Stephane Demri , Roland Meyer , Christophe Morvan
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, IARCS, Dec 2011, Bombay, India
Conference papers inria-00627657v1
Image document

Semantic Search: Reconciling Expressive Querying and Exploratory Search

Sébastien Ferré , Alice Hermann
International Semantic Web Conference, Oct 2011, Bonn, Germany. pp.177-192
Conference papers hal-00658302v1
Image document

Combining Faceted Search and Query Languages for the Semantic Web

Sébastien Ferré , Alice Hermann , Mireille Ducassé
Semantic Search over the Web (SSW) - Advanced Information Systems Engineering Workshops - CAiSE Int. Workshops, Jun 2011, London, United Kingdom. pp.554-563
Conference papers hal-00658310v1
Image document

On shape optimization for an evolution coupled system

Guenter Leugering , A.A. Novotny , Augusto Perla Menzala , Jan Sokolowski
Applied Mathematics and Optimization, 2011, 64 (3), pp.441-446. ⟨10.1007/s00245-011-9148-7⟩
Journal articles hal-00609020v1
Image document

Intrinsic Dimension Estimation by Maximum Likelihood in Isotropic Probabilistic PCA

Charles Bouveyron , Gilles Celeux , Stéphane Girard
Pattern Recognition Letters, 2011, 32 (14), pp.1706-1713. ⟨10.1016/j.patrec.2011.07.017⟩
Journal articles hal-00440372v3
Image document

On The Recovery Performance of Single- and Multipath OLSR in Wireless Multi-Hop Networks

Inès Doghri , Laurent Reynaud , Isabelle Guérin-Lassous
Third International ICST Conference on Ad Hoc Networks, ADHOCNETS 2011, Sep 2011, Paris, France. pp.239, ⟨10.1007/978-3-642-29096-1⟩
Conference papers hal-00708684v1
Image document

De l'usage des codes fontaines dans les réseaux de capteurs multisauts

Anya Apavatjrut
Autre. INSA de Lyon, 2011. Français. ⟨NNT : 2011ISAL0064⟩
Theses tel-00708449v1
Image document

Packetization and Aggregate Scheduling

Anne Bouillard , Nadir Farhi , Bruno Gaujal
[Research Report] RR-7685, INRIA. 2011, pp.24
Reports inria-00608852v1
Image document

Mouton's table of logarithms and its extensions (ca. 1670)

Denis Roegel
[Research Report] 2011
Reports hal-00654572v1
Image document

Cheating to achieve Formal Concept Analysis over a large formal context

Victor Codocedo , Carla Taramasco , Hernan Astudillo
The Eighth International Conference on Concept Lattices and their Applications - CLA 2011, Oct 2011, Nancy, France. pp.349-362
Conference papers hal-00654576v1
Image document

Validation of surface velocity estimated from satellite images

Etienne Huot , Isabelle Herlin , Nicolas Mercier , Gennady K. Korotaev , Evgeny Plotnikov
[Research Report] RR-7658, INRIA. 2011, pp.17
Reports inria-00602972v1
Image document

MSVMpack: a Multi-Class Support Vector Machine Package

Fabien Lauer , Yann Guermeur
Journal of Machine Learning Research, 2011, 12, pp.2269-2272
Journal articles hal-00605009v1
Image document

A reconstruction of Beeger's table of primes (1951)

Denis Roegel
[Research Report] 2011
Reports hal-00654416v1
Image document

A reconstruction of Jones' table of factors (1896)

Denis Roegel
[Research Report] 2011
Reports hal-00654431v1
Image document

Towards a Discourse Relation Algebra for Comparing Discourse Structures

Charlotte Roze
CID 2011 - Constraints In Discourse, Sep 2011, Agay, France. pp.1-7
Conference papers hal-00655825v1
Image document

Learning Equivariant Structured Output SVM Regressors

Andrea Vedaldi , Matthew B. Blaschko , Andrew Zisserman
International Conference on Computer Vision, Nov 2011, Barcelona, Spain. pp.959-966, ⟨10.1109/ICCV.2011.6126339⟩
Conference papers hal-00855739v1
Image document

Observer-based control of linear complementarity systems

W. P. Maurice H. Heemels , M. Kanat Camlibel , Johannes M. Schumacher , Bernard Brogliato
International Journal of Robust and Nonlinear Control, 2011, Special Issue: New Directions on Hybrid Control Systems, 21 (10), pp.1193-1218. ⟨10.1002/rnc.1626⟩
Journal articles hal-00756195v1
Image document

Formal Verification of an SSA-based Middle-end for CompCert

Gilles Barthe , Delphine Demange , David Pichardie
[University works] 2011
Reports inria-00634702v3
Image document

Named entity extraction for ontology enrichment

Yayoi Nakamura-Delloye
IPSJ Special Interest Group - Information Fundamentals and Access Technologies (IFAT), Aug 2011, Japan. pp.1
Conference papers hal-00606077v1
Image document

Solving the Laplacian Equation in 3D using Finite Element Method in C# for Structural Analysis

Bedr'Eddine Ainseba , Mostafa Bendahmane , Alejandro Lopez
ALEJANDRO PEDROZA, CELSO GUTIÉRREZ, ELSA CHAVIRA and FRANCISCO J. MENDIETA. VEHICULOS AEROESPACIALES, Sociedad Mexicana de Ciencia y Tecnología Aeroespacial (Mexican Society of Aerospace Science, and Technology), 2011
Book sections hal-00656481v1
Image document

An RMS Architecture for Efficiently Supporting Complex-Moldable Applications

Cristian Klein , Christian Pérez
IEEE International Conference on High Performance Computing and Communications, Sep 2011, Banff, Alberta, Canada
Conference papers inria-00606771v1
Image document

Image-Guided Weathering: A New Approach Applied to Flow Phenomena

Carles Bosch , Pierre-Yves Laffont , Holly Rushmeier , Julie Dorsey , George Drettakis
ACM Transactions on Graphics, 2011, 30 (3), ⟨10.1145/1966394.1966399⟩
Journal articles inria-00606830v1
Image document

Composition d'Interfaces Homme-Machine en contexte : approche par planification automatique

Yoann Gabillon , Gaëlle Calvary , Humbert Fiorino
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (10), pp.1143-1166. ⟨10.3166/tsi.30.1143-1166⟩
Journal articles hal-00757984v1
Image document

A Quantitative Evaluation of Global Word Sense Induction

Marianna Apidianaki , Tim van de Cruys
CICLing'11 - 12th International Conference on Intelligent Text Processing and Computational Linguistics, Feb 2011, Tokyo, Japan. pp.253--264, ⟨10.1007/978-3-642-19400-9_20⟩
Conference papers hal-00607673v1
Image document

Automated detection of white matter fiber bundles

Ralph Suarez , Olivier Commowick , Xavier Tomas-Fernandez , Sanjay Prabhu , Simon K. Warfield
IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2011, Apr 2011, Chicago, IL, United States. pp.845-848, ⟨10.1109/ISBI.2011.5872536⟩
Conference papers inserm-00607800v1
Image document

Register Reverse Rematerialization

Mouad Bahi , Christine Eisenbeis
[Research Report] 2011
Reports inria-00607323v1
Image document

Volatility made observable at last

Michel Fliess , Cédric Join , Frédéric Hatt
3èmes Journées Identification et Modélisation Expérimentale, JIME'2011, Apr 2011, Douai, France. pp.CDROM
Conference papers hal-00562488v1
Image document

Global Memory Access Modelling for Efficient Implementation of the Lattice Boltzmann Method on Graphics Processing Units

Christian Obrecht , Frédéric Kuznik , Bernard Tourancheau , Jean-Jacques Roux
VECPAR, 2011, Porto, Portugal. pp.151--161
Conference papers inria-00563159v1