 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01100350v1
Communication dans un congrès
Pramod Bhatotia, Umut A. Acar, Flavio P. Junqueira, Rodrigo Rodrigues. Slider: Incremental Sliding Window Analytics Middleware 2014: Proceedings of the 15th International Middleware Conference, Dec 2014, Bordeaux, France. <10.1145/2663165.2663334> |
||
|
hal-00981575v2
Communication dans un congrès
Tomáš Kocák, Michal Valko, Rémi Munos, Shipra Agrawal. Spectral Thompson Sampling AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada |
||
|
hal-01223968v1
Communication dans un congrès
Diane Bouchacourt, Sebastian Nowozin, M. Pawan Kumar. Entropy-based Latent Structured Output Prediction International Conference on Computer Vision (ICCV), Dec 2015, Santiago, Chile. 2015 |
||
|
hal-01424796v1
Article dans une revue
Cătălin Hriţcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo Amorim, Maxime Dénès et al. Testing Noninterference, Quickly Journal of Functional Programming (JFP); Special issue for ICFP 2013, 2016, 26, e4 (62 p.). <10.1017/S0956796816000058> |
||
|
hal-01272457v1
Communication dans un congrès
Christine Morin, Renaud Lottiaux, Anne-Marie Kermarrec. A two-level checkpoint algorithm in a highly-available parallel single level store system Proceeding of the workshop on Distributed Shared Memory on Clusters (held in conjunction with CCGrid-01), 2001, Brisbane, Australia. pp.514-520, 2001 |
||
|
hal-01425962v1
Communication dans un congrès
Karthikeyan Bhargavan, Chris Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss et al. Downgrade Resilience in Key-Exchange Protocols IEEE Symposium on Security and Privacy (SP), 2016 , May 2016, San Jose, United States. <10.1109/SP.2016.37> |
||
|
hal-01425964v1
Article dans une revue
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss. miTLS: Verifying Protocol Implementations against Real-World Attacks IEEE Security & Privacy, IEEE, 2016, 14 (6), pp.18-25. <10.1109/MSP.2016.123> |
||
|
hal-00935743v1
Communication dans un congrès
Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy et al. Probabilistic relational verification for cryptographic implementations The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. 2014 |
||
|
hal-01009672v1
Communication dans un congrès
Herve Lombaert, Darko Zikic, Antonio Criminisi, Nicholas Ayache. Laplacian Forests: Semantic Image Segmentation by Guided Bagging Polina Golland; Nobuhiko Hata; Christian Barillot; Joachim Hornegger; Robert Howe. MICCAI 2014 - 17th International Conference Medical Image Computing and Computer-Assisted Intervention, Sep 2014, Boston, United States. Springer, 8674, 2014, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-319-10470-6_62> |
||
|
hal-00872896v1
Direction d'ouvrage, Proceedings
Youssef Hamadi, Eric Monfroy, Frédéric Saubion. Special Issue on Autonomous Search CLS, pp.65, 2009 |
||
|
hal-00872921v1
Chapitre d'ouvrage
Youssef Hamadi, Eric Monfroy, Frédéric Saubion. An Introduction to Autonomous Search Hamadi, Y. and Monfroy, E. and Saubion, F. Autonomous Search, Springer-Verlag, pp.11, 2012 |
||
|
hal-00872869v1
Chapitre d'ouvrage
Youssef Hamadi, Frédéric Saubion, Eric Monfroy. What is Autonomous Search? van Hentenryck P. and Milano, M. Hybrid Optimization (The 10 Years of CP-AI-OR), Springer-Verlag, pp.357-391, 2011, Optimization and its Applications |
||
|
hal-00872880v1
Direction d'ouvrage, Proceedings
Youssef Hamadi, Eric Monfroy, Frédéric Saubion. Autonomous search Springer-Verlag, pp.307, 2012 |
||
|
hal-01045036v1
Communication dans un congrès
Tomáš Kocák, Michal Valko, Rémi Munos, Branislav Kveton, Shipra Agrawal. Spectral Bandits for Smooth Graph Functions with Applications in Recommender Systems AAAI Workshop on Sequential Decision-Making with Big Data, Jul 2014, Québec City, Canada |
||
|
inria-00331193v1
Communication dans un congrès
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca. Canonical Big Operators Theorem Proving in Higher Order Logics, Aug 2008, Montreal, Canada. 5170/2008, 2008, LNCS. <10.1007/978-3-540-71067-7> |
||
|
hal-00746740v1
Communication dans un congrès
Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache. Current-based 4D shape analysis for the mechanical personalization of heart models Menze, Bjoern and Langs, Georg and Montillo, Albert and Tu, Zhuowen and Criminisi, Antonio. MCV - MICCAI Workshop on Medical Computer Vision - 2012, Oct 2012, Nice, France. Springer Berlin Heidelberg, 7766, pp.283-292, 2012, LNCS; Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging. <http://link.springer.com/chapter/10.1007/978-3-642-36620-8_28>. <10.1007/978-3-642-36620-8_28> |
||
|
hal-00646674v1
Communication dans un congrès
Jan Margeta, Ezequiel Geremia, Antonio Criminisi, Nicholas Ayache. Layered spatio-temporal forests for left ventricle segmentation from 4D cardiac MRI data Oscar Camara and Ender Konukoglu and Mihaela Pop and Kawal Rhode and Maxime Sermesant and Alistair Young. STACOM Workshop at MICCAI 2011, Sep 2011, Toronto, Canada. Springer, 7085, pp.109-119, 2011, LNCS; Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges - Second International Workshop, STACOM 2011. <http://link.springer.com/chapter/10.1007%2F978-3-642-28326-0_11>. <10.1007/978-3-642-28326-0_11> |
||
|
inria-00548597v1
Communication dans un congrès
Mark Everingham, Andrew Zisserman, Chris Williams, Luc Van Gool, Moray Allan et al. The 2005 PASCAL Visual Object Classes Challenge Joaquin Quiñonero-Candela and Ido Dagan and Bernardo Magnini and Florence d'Alché-Buc. First PASCAL Machine Learning Challenges Workshop (MLCW '05), Apr 2005, Southampton, United Kingdom. Springer-Verlag, 3944, pp.117--176, 2006, Machine Learning Challenges; Lecture Notes in Computer Science (LNCS). <http://springerlink.metapress.com/content/mj0641n75434n534/>. <10.1007/11736790_8> |
||
|
hal-00780803v1
Communication dans un congrès
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub et al. Fully Abstract Compilation to JavaScript 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'13 (2013), Jan 2013, Roma, Italy. 2013 |
||
|
inria-00628775v1
Communication dans un congrès
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen. Self-certification: Bootstrapping certified typecheckers in F* with Coq 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12, Jan 2012, Philadelphia, United States. 2012 |
||
|
hal-00863451v1
Communication dans un congrès
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer. Bandit-based Search for Constraint Programming Christian Schulte. International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. Springer Verlag, 8124, pp.464-480, 2013, LNCS; Proc. CP'2013 |
||
|
hal-00863453v1
Communication dans un congrès
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte. Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop problem Nicosia, Giuseppe and Pardalos, Panos. LION7 - Learning and Intelligent OptimizatioN Conference, Jan 2013, Catania, Italy. Springer Verlag, 7997, pp.315-320, 2013, LNCS |
||
|
inria-00614372v1
Communication dans un congrès
Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub. Modular Code-Based Cryptographic Verification 18th ACM Conference on Computer and Communications Security, Oct 2011, Chicago, United States. 2011 |
||
|
hal-00935747v1
Article dans une revue
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella-Béguelin. Verified indifferentiable hashing into elliptic curves Journal of Computer Security, IOS Press, 2013 |
||
|
hal-01237571v1
Communication dans un congrès
Roman Shapovalov, Dmitry Vetrov, Anton Osokin, Pushmeet Kohli. Multi-utility Learning: Structured-Output Learning with Multiple Annotation-Specific Loss Functions Energy Minimization Methods in Computer Vision and Pattern Recognition, Jan 2015, Hong Kong, China. 8932, pp.406-420, Lecture Notes in Computer Science. <10.1007/978-3-319-14612-6_30> |
||
|
hal-01237023v1
Communication dans un congrès
James Supancic, Gregory Rogez, Yi Yang, Jamie Shotton, Deva Ramanan. Depth-based hand pose estimation: data, methods, and challenges ICCV 2015 - IEEE International Conference on Computer Vision, Dec 2015, Santiago, Chile. IEEE, pp.1868-1876, <http://pamitc.org/iccv15/>. <10.1109/ICCV.2015.217> |
||
|
hal-01102229v1
Communication dans un congrès
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub et al. Proving the TLS Handshake Secure (as it is) Juan A. Garay; Rosario Gennaro. CRYPTO 2014, Aug 2014, Santa Barbara, United States. Springer, 8617, pp.235-255, 2014, Lecture Notes in Computer Science. <10.1007/978-3-662-44381-1_14> |
||
|
hal-01203568v1
Communication dans un congrès
Herve Lombaert, Antonio Criminisi, Nicholas Ayache. Spectral Forests: Learning of Surface Data, Application to Cortical Parcellation Nassir Navab; Joachim Hornegger; William M. Wells; Alejandro F. Frangi. Medical Image Computingand Computer Assisted Intervention (MICCAI 2015), Oct 2015, Munich, Germany. Springer, 9349, pp.547-555, Lecture Notes in Computer Science. <10.1007/978-3-319-24553-9_67> |
||
|
hal-01203570v1
Communication dans un congrès
Herve Lombaert, Michael Arcaro, Nicholas Ayache. Brain Transfer: Spectral Analysis of Cortical Surfaces and Functional Maps Sebastien Ourselin; Daniel C. Alexander; Carl-Fredrik Westin; M. Jorge Cardoso. Information Processing in Medical Imaging (IPMI 2015), Jul 2015, Scotland, United Kingdom. Springer, 9123, pp.474-487, Lecture Notes in Computer Science. <10.1007/978-3-319-19992-4_37> |
||
|
hal-01002861v1
Documents associés à des manifestations scientifiques -- Hal-inria+
Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache. Technical Appendix on Sparse Bayesian Regression MICCAI - 17th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2014, Boston, United States |
||
|
|
||