- Titre
- Approximation Algorithms for Energy Minimization in Cloud Service Allocation under Reliability Constraints
- Auteurs
- Olivier Beaumont; Philippe Duchon; Paul Renaud-Goud
- Détail
- [Research Report], 2013, pp. 20. RR-8241
- Accès au texte intégral et bibtex
-
- Titre
- Separation Predicates: a Taste of Separation Logic in First-Order Logic
- Auteurs
- François Bobot; Jean-Christophe Filliâtre
- Détail
- 14th International Conference on Formal Ingineering Methods (ICFEM), Nov 2012, Kyoto, Japan. Springer, Formal Methods and Software Engineering, 7635, pp. 167-181, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
- Auteurs
- Jasmin Blanchette; Andrei Paskevich
- Détail
- CADE - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, NY, United States.
- Accès au texte intégral et bibtex
-
- Titre
- Product Quantization for Nearest Neighbor Search
- Auteurs
- Hervé Jégou; Matthijs Douze; Cordelia Schmid
- Détail
- IEEE Transactions on Pattern Analysis and Machine Intelligence, IEEE, 2011, 33 (1), pp. 117-128
- Accès au texte intégral et bibtex
-
- Titre
- The Rooster and the Butterflies
- Auteurs
- Assia Mahboubi
- Détail
- Jacques Carette et al.. CICM 2013 - Conferences on Intelligent Computer Mathematics - 2013, Jul 2013, Bath, United Kingdom. Springer, 7961, pp. 1-18, Lecture Notes in Artificial Intelligence
- Accès au texte intégral et bibtex
-
Contact
Liens
Actualités