Institute for Research in Computer Science and Random Systems
Home
Browse
All items
Year
Subject
Document type
Latest additions
Authors
By laboratory
Search
Search
Advanced search
Id search
Services
Export a publication list
Create dynamic webpages
Links
IRISA Website
HAL-INRIA
Sherpa Romeo: Publishers open access policies
4426 articles – 2353 references
[version française]
.:.
Browse
>
Document type
> Document without publication reference .:.
52 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
Blind Phase Calibration in Sparse Recovery
Bilen C., Puy G., Gribonval R., Daudet L.
[hal-00813421 - version 1] (15/04/2013)
Compressed Sensing and Best Approximation from Unions of Subspaces: Beyond Dictionaries
Peleg T., Gribonval R., Davies M. E.
[hal-00812858 - version 1] (12/04/2013)
Lifting Numerical Abstract Domains to Heap-manipulating Programs
Fu Z., Jensen T., Pichardie D.
[hal-00809826 - version 1] (09/04/2013)
Projection Onto The k-Cosparse Set is NP-Hard
Tillmann A. M., Gribonval R., Pfetsch M. E.
[hal-00802359 - version 1] (21/03/2013)
Efficient Cover Song Identification using approximate nearest neighbors
Tavenard R., Jégou H., Lagrange M.
[hal-00672897 - version 1] (22/02/2012)
Constructing Positive Definite Elastic Kernels with Application to Time Series Classification
Marteau P.-F., Gibet S.
[hal-00486916 - version 5] (06/02/2013)
Graphical Gesture Commands' learning with the help of Customizable Gesture Menus
Li P., Anquetil E.
[hal-00809575 - version 1] (09/04/2013)
Coherence-based Partial Exact Recovery Condition for OMP/OLS
Herzet C., Soussen C., Idier J., Gribonval R.
[hal-00759433 - version 1] (30/11/2012)
A Geometrical Approach to Iterative Isotone Regression
Guyader A., Jégou N., Németh A. B., Németh S. Z.
[hal-00756715 - version 1] (23/11/2012)
New Insights into Approximate Bayesian Computation
Biau G., Cérou F., Guyader A.
[hal-00721164 - version 1] (26/07/2012)
Greedy-Like Algorithms for the Cosparse Analysis Model
Giryes R., Nam S., Elad M., Gribonval R., Davies M. E.
[hal-00716593 - version 2] (18/01/2013)
Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates
Kumar A., Fouque P.-A., Genet T., Tibouchi M.
[hal-00715726 - version 1] (09/07/2012)
On the length of one-dimensional reactive paths
Cérou F., Guyader A., Lelièvre T., Malrieu F.
[hal-00704704 - version 1] (06/06/2012)
Impact of the Backbone Network Market Structure on the ISP Competition
Coucheney P., Maillé P., Tuffin B., Guijarro L.
[hal-00694520 - version 1] (07/05/2012)
Comparison of Search Engines Non-Neutral and Neutral Behaviors
Coucheney P., Maillé P., Tuffin B.
[hal-00694524 - version 1] (04/05/2012)
Asynchronous Games over Tree Architectures
Genest B., Gimbert H., Muscholl A., Walukiewicz I.
[hal-00684223 - version 3] (15/02/2013)
Offline Social Networks: stepping away from the Internet (Position paper)
Kermarrec A.-M., Le Merrer E.
[hal-00680680 - version 1] (19/03/2012)
Towards Provably Robust Watermarking
Baelde D., Courtieu P., Gross-Amblard D., Paulin-Mohring C.
[hal-00682398 - version 1] (25/03/2012)
An RDF Vocabulary for the Representation and Exploration of Expressions with an Illustration on Mathematical Search
Ferré S.
[hal-00812197 - version 1] (11/04/2013)
ARAS: FULLY ALGEBRAIC TWO-LEVEL DOMAIN DECOMPOSITION PRECONDITIONING TECHNIQUE WITH APPROXIMATION ON COARSE INTERFACES
Dufaud T., Damien T.-D.
[hal-00805313 - version 1] (27/03/2013)