1. Recherche
1092 résultats  enregistrer la recherche
...
hal-01250197v1  Communication dans un congrès
Shuai Wang. Higher Order Proof Engineering: Proof Collaboration, Transformation, Checking and Retrieval
AITP 2016 - Conference on Artificial Intelligence and Theorem Proving, Apr 2016, Obergurgl, Austria
...
hal-01400263v1  Poster
Luis Marti, Arsene Fansi-Tchango, Laurent Navarro, Marc Schoenauer. VorAIS: A Multi-Objective Voronoi Diagram-based Artificial Immune System
T. Friedrich and F. Neumann. Genetic and Evolutionary Computation Conference, GECCO 2016, Jul 2016, Denver, United States. pp.11 - 12, 2016, Poster at GECCO 2016 (Companion). <10.1145/2908961.2909027>
...
hal-01300727v1  Communication dans un congrès
Joost Renes, Peter Schwabe, Benjamin Smith, Lejla Batina. $\mu$Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers
Cryptographic Hardware and Embedded Systems – CHES 2016, Aug 2016, Santa Barbara, United States. Springer-Verlag, Lecture Notes in Computer Science, 9813, pp.20, 2016, Cryptographic Hardware and Embedded Systems – CHES 2016. <10.1007/978-3-662-53140-2_15>
...
hal-01400318v1  Pré-publication, Document de travail
Aditya Gopalan, Odalric-Ambrym Maillard, Mohammadi Zaki. Low-rank Bandits with Latent Mixtures
2016
...
hal-01405277v1  Communication dans un congrès
Fatma Somaa, Cédric Adjih, Inès Korbi, Leila Saidane. A Bayesian Model for Mobility Prediction in Wireless Sensor Networks
5th IFIP International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN 2016), Nov 2016, Paris, France. PEMWN 2016 Proceedings, <https://sites.google.com/site/pemwn2016/home>
tel-01255116v1  Thèse
Samuel Huron. Constructive Visualization
Human-Computer Interaction [cs.HC]. Univeristé Paris-Saclay, 2015. English. <NNT : 2014PA112253>
...
hal-01391281v1  Communication dans un congrès
Mathieu Le Goc, Lawrence Kim, Ali Parsaei, Jean-Daniel Fekete, Pierre Dragicevic et al.  Zooids: Building Blocks for Swarm User Interfaces
Proceedings of the Symposium on User Interface Software and Technology (UIST), Oct 2016, New York, NY, United States. pp.97 - 109, 2016, <10.1145/2984511.2984547>
...
hal-01267288v1  Rapport
Theophanis Tsandilas, Pierre Dragicevic. Accounting for Chance Agreement in Gesture Elicitation Studies
[Research Report] 1584, LRI - CNRS, University Paris-Sud. 2016, pp.5
...
hal-01405540v1  Communication dans un congrès
Ichrak Amdouni, Cédric Adjih, Pascale Minet, Thierry Plesse. Delay analysis of STDMA in grid wireless sensor networks
ICMCIS 2016: International Conference on Military Communications and Information Systems ICMCIS (former MCC) Brussels, Belgium, 23rd - 24th May 2016, May 2016, Brussels, Belgium. pp.1 - 8, 2016, <http://www.icmcis2016.eu/>. <10.1109/ICMCIS.2016.7496580>
...
hal-01205822v1  Poster
Benjamin Bach, Nathalie Henry Riche, Roland Fernandez, Emmanoulis Giannisakis, Bongshin Lee et al.  NetworkCube: Bringing Dynamic Network Visualizations to Domain Scientists
Posters of the Conference on Information Visualization (InfoVis), Oct 2015, Chicago, United States. 2015
hal-01355110v1  Communication dans un congrès
Roque Porchetto, Franco Stramana, Enzo Ferrante, Nikos Paragios. Rigid Slice-To-Volume Medical Image Registration through Markov Random Fields
Bayesian and Graphical Models for Biomedical Imaging Workshop, BAMBI (MICCAI 2016, Athens, Greece), Oct 2016, Athens, Greece. 2016, <http://miccai2016.org>
...
hal-01223991v1  Communication dans un congrès
Vivien Fécamp, Aristeidis Sotiras, Nikos Paragios. Simultaneous Linear and Deformable Registration
Medical Imaging Computing and Computer Assisted Interventions, Oct 2015, Munich, Germany. 2015
...
hal-01223970v1  Communication dans un congrès
Vivien Fecamp, Aristeidis Sotiras, Nikos Paragios. Modular linear iconic matching using higher order graphs
ISBI 2015 - IEEE 12th International Symposium on Biomedical Imaging, Apr 2015, New York, United States. pp.1097 - 1101, 2015, <10.1109/ISBI.2015.7164063>
...
hal-01223973v1  Communication dans un congrès
Puneet Kumar Dokania, M. Pawan Kumar. Parsimonious Labeling
ICCV 2015 - International Conference on Computer Vision 2015, Dec 2015, Santiago, Chile. 2015
...
hal-01424749v1  Communication dans un congrès
Tomer Libal, Alexander Steen. Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
5th Workshop on Practical Aspects of Automated Reasoning, Jul 2016, Coimbra, Portugal. 2016, Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning 2016), Coimbra, Portugal, July 2nd, 2016
...
hal-01424816v1  Mémoires d'étudiants -- Hal-inria+
François Thiré. Internship report MPRI 2 Reverse engineering on arithmetic proofs
Computer Science [cs]. 2016
hal-01424989v1  Communication dans un congrès
Axel Michel, Benjamin Nguyen, Philippe Pucheral. Exécution de requêtes distribuées sous contraintes d'anonymat
32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Nov 2016, Poitiers, France
...
hal-01420098v2  Rapport
Arnaud Prouzeau. Collaboration around Wall-Displays in Command and Control contexts
[Other] LRI, Univ. Paris-Sud, CNRS, Inria, Université Paris-Saclay. 2016
...
hal-01372925v1  Poster
Mickael Sereno, Mehdi Ammi, Tobias Isenberg, Lonni Besançon. Tangible Brush: Performing 3D Selection with Portable and Position-aware Devices
IEEE VIS2016, Oct 2016, Baltimore, United States
...
hal-01323591v1  Communication dans un congrès
Gregory Grefenstette, Lawrence Muchemi. Determining the Characteristic Vocabulary for a Specialized Dictionary using Word2vec and a Directed Crawler
GLOBALEX 2016: Lexicographic Resources for Human Language Technology, May 2016, Portoroz, Slovenia. 2016
...
hal-01323917v1  Poster
Guangshuo Chen, Sahar Hoteit, Aline Carneiro Viana, Marco Fiore. On the Quest for Representative Behavioral Datasets: Mobility and Content Demand
CHIST-ERA Projects Seminar 2016, May 2016, Bern, Switzerland
...
hal-01425321v1  Communication dans un congrès
Jesús Camacho-Rodríguez, Dario Colazzo, Melanie Herschel, Ioana Manolescu, Soudip Roy Chowdhury. Reuse-based Optimization for Pig Latin
25th ACM International on Conference on Information and Knowledge Management, Oct 2016, Indianapolis, France. ACM International Conference on Information and Knowledge Management (CIKM), pp.2215 - 2220, 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management. <http://www.cikm2016.org/>. <10.1145/2983323.2983669>
...
hal-01074566v1  Communication dans un congrès
Mickaël Buchet, Frédéric Chazal, Steve Yann Oudot, Donald R. Sheehy. Efficient and Robust Persistent Homology for Measures
ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States. <http://www.siam.org/meetings/da15/>
...
hal-01120892v1  Communication dans un congrès
Shih-Yuan Chiu, Ching-Nung Lin, Jialin Liu, Tsang-Cheng Su, Fabien Teytaud et al.  Differential Evolution for Strongly Noisy Optimization: Use 1.01$^n$ Resamplings at Iteration n and Reach the -1/2 Slope
2015 IEEE Congress on Evolutionary Computation (IEEE CEC), May 2015, Sendai, Japan. 2015, <http://www.cec2015.org>
...
hal-01322956v1  Pré-publication, Document de travail
Stefan Haar, Simon Theissing. A Passenger-centric Multi-agent System Model for Multimodal Public Transportation
2016
hal-01424993v1  Communication dans un congrès
Axel Michel, Benjamin Nguyen. Managing distributed queries under anonymity constraints
7e Atelier sur la Protection de la Vie Privée, Jul 2016, Toulouse, France
hal-01323727v1  Communication dans un congrès
Anton Osokin, Jean-Baptiste Alayrac, Isabella Lukasewitz, Puneet K. Dokania, Simon Lacoste-Julien. Minding the Gaps for Block Frank-Wolfe Optimization of Structured SVMs
International Conference on Machine Learning (ICML 2016)., 2016, New York, United States. Appears in Proceedings of the 33rd International Conference on Machine Learning (ICML 2016)

Contact


archive-ouverte@inria.fr