70 results  save search

hal-01251571v1  Conference papers
Carole Delporte-GalletHugues FauconnierSam Toueg. A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling
Structural Information and Communication Complexity - 22nd International Colloquium, 2015, Jul 2015, Montserrat, France. pp.385-398, ⟨10.1007/978-3-319-25258-2_27⟩
hal-01251563v1  Conference papers
Carole Delporte-GalletHugues FauconnierPetr KouznetsovEric Ruppert. On the Space Complexity of Set Agreement?
ACM Symposium on Principles of Distributed Computing, PODC 2015, Jul 2015, Donostia, France
hal-01150631v1  Conference papers
Emilie Palagi. Quelle méthode ergonomique élaborer pour évaluer les moteurs de recherche exploratoire ?
COnférence en Recherche d’Information et Applications 2015 (CORIA 2015), Mar 2015, Paris, France
hal-01203001v1  Conference papers
Orcun YildizShadi IbrahimTran Anh PhuongGabriel Antoniu. Chronos: Failure-Aware Scheduling in Shared Hadoop Clusters
BigData'15-The 2015 IEEE International Conference on Big Data, Oct 2015, Santa Clara, CA, United States
hal-01253206v1  Conference papers
Annie Foret. A logical information system proposal for browsing terminological resources
Terminology and Artificial Intelligence (TIA) 2015, Nov 2015, Grenade, Spain
hal-01152966v1  Conference papers
Sahbi BenlamineMaher ChaouachiSerena VillataElena CabrioClaude Frasson et al.  Emotions in Argumentation: an Empirical Evaluation
International Joint Conference on Artificial Intelligence, IJCAI 2015, Jul 2015, Buenos Aires, Argentina. pp.156-163
hal-01655859v1  Conference papers
Maxime Amblard. Le langage, logique !
Conférences Curieuses , Sep 2015, Nancy, France
hal-01655913v1  Conference papers
Maxime AmblardMichel MusiolManuel Rebuschi. SLAM Schizophrénie et Langage : Analyse et Modélisation
Journée de restitution CNRS PEPS HuMaIn, Feb 2015, Paris, France
hal-01655863v1  Conference papers
Maxime Amblard. Le langage, logique !
Colloquium général Leçon 217 semestre XXIX, Oct 2015, Luxembourg, Luxembourg
hal-01655883v1  Conference papers
Maxime Amblard. Le langage comme marqueur des troubles du langage et de la pensée
séminaire Praxiling, Jun 2015, Montpellier, France
hal-01110779v1  Conference papers
Delphine DemangeDavid PichardieLéo Stefanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq.
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom
hal-01208191v1  Conference papers
Luke CampagnolaAlmar KleinEric LarsonCyrille RossantNicolas P. Rougier. VisPy: Harnessing The GPU For Fast, High-Level Visualization
Proceedings of the 14th Python in Science Conference, Jul 2015, Austin, Texas, United States
hal-01164729v1  Conference papers
Jiří MaršíkMaxime Amblard. Pragmatic Side Effects
Redrawing Pragmasemantic Borders, Mar 2015, Groningen, Netherlands
hal-01176539v1  Conference papers
Quoc-Cuong ToBenjamin NguyenPhilippe Pucheral. TrustedMR: A Trusted MapReduce System based on Tamper Resistance
31èmes journées Bases de Données Avancées (BDA '15), 2015, Île de Porquerolles, France
hal-01176544v1  Conference papers
Athanasia KatsourakiLuc BouganimBenjamin NguyenPaul Tran-Van. Secure Portable Tokens for Sensitive Questionnaires Surveys
31èmes journées Bases de Données Avancées (BDA '15). Demo paper, 2015, Île de Porquerolles, France
hal-01359317v1  Conference papers
Tobias ScheerFabien MathyDemian Wassermann. Sahin et al. (2009) en modalité non-invasive : expérience pilote et perspectives
Journée de l'axe MTC-NSC, 2015, Université Nice Sophia antipolis, Nice, France
hal-01111843v1  Conference papers
Fabien LotteCamille Jeunet. Towards Improved BCI based on Human Learning Principles
3rd International Winter Conference on Brain-Computer Interfaces, Jan 2015, High1 Resort, South Korea
hal-01213784v1  Conference papers
Nicolas P. Rougier. Distributed, Asynchronous, Numerical and Adaptive computing: from neurons to behavior
BioComp workshop, GDR BioComp, Oct 2015, Saint Paul de Vence, France
hal-01219956v1  Conference papers
Nicolas P. Rougier. Une brève histoire de l'intelligence artificielle
Pint of Science, May 2015, Bordeaux, France
hal-01238055v1  Conference papers
Tien-Dat PhanShadi IbrahimGabriel AntoniuLuc Bougé. On Understanding the Energy Impact of Speculative Execution in Hadoop
GreenCom'15-The 2015 IEEE International Conference on Green Computing and Communications , Dec 2015, Sydney, Australia
hal-01184235v1  Conference papers
Houssem-Eddine ChihoubShadi IbrahimYue LiGabriel AntoniuMaría Pérez et al.  Exploring Energy-Consistency Trade-offs in Cassandra Cloud Storage System
SBAC-PAD'15-The 27th International Symposium on Computer Architecture and High Performance Computing, Oct 2015, Florianopolis, Santa Catarina, Brazil
hal-01226432v1  Conference papers
Bertrand MassotTanguy RissetGregory MicheletEric Mcadams. A wireless, low-power, smart sensor of cardiac activity for clinical remote monitoring
2015 17th International Conference on E-health Networking, Application and Services (HealthCom) (IEEE Healthcom 2015, IEEE, Nov 2015, Boston, United States. pp.487-493
hal-01243644v1  Conference papers
Slim Ouni. Toward Realistic Expressive Audiovisual Speech Synthesis
Expressive Virtual ​​Actors​ workshop, Gipsa-Lab, Nov 2015, Grenoble, France