1. Recherche
820 résultats  enregistrer la recherche
...
hal-00850290v1  Communication dans un congrès
Louis Mandel, Cédric Pasteur, Marc Pouzet. Time Refinement in a Functional Synchronous Language
PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, pp.169-180, 2013, <10.1145/2505879.2505904>
...
hal-00850294v1  Communication dans un congrès
Guillaume Baudart, Louis Mandel, Marc Pouzet. Programming Mixed Music in ReactiveML
FARM '13 - ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design, Sep 2013, Boston, United States. ACM, pp.11-22, 2013, <10.1145/2505341.2505344>
hal-00654324v1  Chapitre d'ouvrage
Jean-Yves Audibert, Sébastien Bubeck, Rémi Munos. Bandit view on noisy optimization
Optimization for Machine Learning, MIT Press, pp.431-454, 2011, 978-0-262-01646-9
...
hal-00654266v1  Communication dans un congrès
Mikel Rodriguez, Ivan Laptev, Josef Sivic, Jean-Yves Audibert. Density-aware person detection and tracking in crowds
ICCV 2011 - 13th International Conference on Computer Vision, Nov 2011, Barcelona, Spain. 8 p., 2011
...
hal-00654404v1  Communication dans un congrès
Jean-Yves Audibert, Sébastien Bubeck. Best Arm Identification in Multi-Armed Bandits
COLT - 23th Conference on Learning Theory - 2010, Jun 2010, Haifa, Israel. 13 p., 2010
hal-01111463v1  Chapitre d'ouvrage
Vanessa Gratzer, David Naccache. How to Read a Signature?
David Naccache. Cryptography and Security: From Theory to Applications:Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday, 6805, Springer, pp.480-483, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-28367-3. <10.1007/978-3-642-28368-0_31>
...
hal-00424039v1  Communication dans un congrès
Matthieu Kowalski, Alexandre Gramfort. A priori par normes mixtes pour les problèmes inverses Application à la localisation de sources en M/EEG
GRETSI 2009, Sep 2009, Dijon, France. pp.564, 2009
...
hal-00424029v1  Communication dans un congrès
Alexandre Gramfort, Matthieu Kowalski. Improving M/EEG source localization with an inter-condition sparse prior
IEEE International Symposium on Biomedical Imaging (ISBI), Jun 2009, Boston, France. pp.141, 2009
...
inria-00424764v1  Communication dans un congrès
Jian Cheng, Aurobrata Ghosh, Tianzi Jiang, Rachid Deriche. A Riemannian Framework for Orientation Distribution Function Computing
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009, Sep 2009, London, United Kingdom. Springer, 5761, 2009, Lecture Notes in Computer Science; MICCAI 2009. <http://www.springerlink.com/content/vk4t377274521434/>. <10.1007/978-3-642-04268-3_112>
...
inria-00424765v1  Communication dans un congrès
Jian Cheng, Feng Shi, Kun Wang, Ming Song, Jiefeng Jiang et al.  Nonparametric Mean Shift Functional Detection in the Functional Space for Task and Resting-state fMRI
Workshop on fMRI data analysis: statistical modeling and detection issues in intra- and inter-subject functional MRI data analysis, in conjunction with the MICCAI 2009, Sep 2009, London, United Kingdom. 2009
...
hal-00645221v1  Communication dans un congrès
Sven Verdoolaege, Albert Cohen, Anna Beletska. Transitive Closures of Affine Integer Tuple Relations and their Overapproximations
Eran Yahav. SAS 2011 - The 18th International Static Analysis Symposium, Sep 2011, Venice, Italy. Springer, 6887, pp.216-232, 2011, LNCS. <10.1007/978-3-642-23702-7_18>
...
inria-00577167v1  Communication dans un congrès
Olivier Blazy, Georg Fuchsbauer, Malika Izabachène, Amandine Jambert, Hervé Sibert et al.  Batch Groth-Sahai
Jianying Zhou and Moti Yung. Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Jun 2010, Beijing, China. Springer, 6123, pp.218-235, 2010, Lecture Notes in Computer Science; Applied Cryptography and Network Security, 8th International Conference, ACNS 2010. <http://www.springerlink.com/content/hv34521472vp7m43/>. <10.1007/978-3-642-13708-14>
...
hal-01152348v3  Article dans une revue
Matthew Trager, Jean Ponce, Martial Hebert. Trinocular Geometry Revisited
International Journal on Computer Vision (IJCV), Springer, 2016
...
hal-01225363v1  Communication dans un congrès
Benoît Libert, Thomas Peters, Marc Joye, Moti Yung. Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications
Advances in Cryptology - Asiacrypt 2015, Nov 2015, Auckland, New Zealand. Advances in Cryptology - Asiacrypt 2015, 2015, Advances in Cryptology - Asiacrypt 2015. <https://www.math.auckland.ac.nz/~sgal018/AC2015/index.html>
...
hal-00723365v3  Communication dans un congrès
Francis Bach. Sharp analysis of low-rank kernel matrix approximations
International Conference on Learning Theory (COLT), 2013, United States. 2013
...
hal-01225353v1  Communication dans un congrès
Benoît Libert, Thomas Peters, Moti Yung. Short Group Signatures via Structure-Preserving Signatures: Standard Model Security from Simple Assumptions
Advances in Cryptology - Crypto 2015, Aug 2015, Santa Barbara, United States. Springer, 9216, 2015, Advances in Cryptology - Crypto 2015. <https://www.iacr.org/conferences/crypto2015/>. <10.1007/978-3-662-48000-7_15>
...
hal-01273894v1  Communication dans un congrès
Ivo Adan, Marko Boon, Ana Busic, Jean Mairesse, Gideon Weiss. Queues with Skill Based Parallel Servers and a FCFS Infinite Matching Model
MAMA 2013 workshop of ACM Sigmetrics, 2013, Pittsburgh, United States. ACM, ACM SIGMETRICS Performance Evaluation Review, 41 (3), pp.22-24, 2014, <10.1145/2567529.2567536>
...
hal-01225344v1  Communication dans un congrès
Benoît Libert, Marc Joye, Moti Yung, Thomas Peters. Secure Efficient History-Hiding Append-Only Signatures in the Standard Model
Public Key Cryptography 2015 (PKC 2015), Mar 2015, Washington DC, United States. Springer, 9020, 2015, Public Key Cryptography 2015 (PKC 2015). <https://www.iacr.org/workshops/pkc2015/>. <10.1007/978-3-662-46447-2_20>
...
hal-01225271v1  Communication dans un congrès
Anastasia Podosinnikova, Francis Bach, Simon Lacoste-Julien. Rethinking LDA: Moment Matching for Discrete ICA
NIPS 2015 - Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
...
hal-00721569v2  Communication dans un congrès
Sébastien Briais, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, David Naccache et al.  Random Active Shield
IEEE Computer Society. Fault Diagnosis and Tolerance in Cryptography, Sep 2012, Leuven, Belgium. 11 p., 2012, <10.1109/FDTC.2012.11>
...
hal-01425902v1  Communication dans un congrès
Xuan Do, Stephane Louise, Albert Cohen. Transaction Parameterized Dataflow: A Model for Context-Dependent Streaming Applications
Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2016, Dresden, Germany
...
hal-00925670v1  Communication dans un congrès
Caterina Urban. The Abstract Domain of Segmented Ranking Functions
Logozzo, Francesco and Fähndrich, Manuel. Static Analysis, 20th International Symposium,, Jun 2013, Seattle, United States. Springer, 7935, pp.43-62, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-38856-9_5>
hal-00925731v1  Communication dans un congrès
Caterina Urban, Antoine Miné. An abstract domain to infer ordinal-valued ranking functions
Zhong Shao. ESOP 2014 - 23rd European Symposium on Programming, Apr 2014, Grenoble, France. Springer, 8410, pp.412-431, 2014, Lecture Notes in Computer Science; Programming Languages and Systems. <10.1007/978-3-642-54833-8_22>
...
tel-00673326v1  Thèse
Rodolphe Jenatton. Structured Sparsity-Inducing Norms : Statistical and Algorithmic Properties with Applications to Neuroimaging
Machine Learning [cs.LG]. École normale supérieure de Cachan - ENS Cachan, 2011. English
hal-00925682v1  Communication dans un congrès
Caterina Urban. Piecewise-Defined Ranking Functions
Johannes Waldmann. 13th International Workshop on Termination, Aug 2013, Bertinoro, Italy. pp.69-73, 2013
halshs-00376665v1  Communication dans un congrès
Michael Baker, Matthieu Quignard, Kristine Lund, Arnauld Séjourné. Computer-supported collaborative learning in the space of debate.
B. Wasson, S. Ludvigsen & U. Hoppe. International Conference on Computer Supported Collaborative Learning 2003, 2003, France. Kluwer Academic Publishers., pp.11-20, 2003
...
inria-00577142v1  Communication dans un congrès
Aurélie Bauer, Jean-Sébastien Coron, David Naccache, Mehdi Tibouchi, Damien Vergnaud. On The Broadcast and Validity-Checking Security of PKCS #1 v1.5 Encryption
Jianying Zhou and Moti Yung. Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Jun 2010, Beijing, China. Springer, 6123, pp.1-18, 2010, Lecture Notes in Computer Science; Applied Cryptography and Network Security, 8th International Conference, ACNS 2010. <10.1007/978-3-642-13708-2_1>
...
inria-00577145v1  Communication dans un congrès
Georg Fuchsbauer, Damien Vergnaud. Fair Blind Signatures without Random Oracles
Daniel J. Bernstein and Tanja Lange. Africacrypt 2010, May 2010, Stellenbosch, South Africa. Springer, 6055, pp.16-33, 2010, Lecture Notes in Computer Science; Progress in Cryptology - Africacrypt 2010. <10.1007/978-3-642-12678-9_2>
hal-00925345v1  Communication dans un congrès
Jonathan Hayman, Tobias Heindel. Pattern Graphs and Rule-Based Models: The Semantics of Kappa
Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5>

Contact


archive-ouverte@inria.fr