Skip to Main content Skip to Navigation

inserm-03478998v1  Conference papers
Rémi AdonStefan AppelhoffTibor AuerLaurent GuilloYaroslav Halchenko et al.  BIDS-prov: a provenance framework for BIDS
OHBM 2021 - 25th Annual Meeting of the Organization for Human Brain Mapping, Jun 2021, Online, South Korea. pp.1-3
hal-00842398v1  Conference papers
George AfonsoRabie Ben AtitallahNicolas BelangerMartial RubioJean-Luc Dekeyser et al.  Toward Generic and Adaptive Avionic Test Systems
NASA/ESA Conference on Adaptive Hardware and Systems, 2011, San Diego, United States
hal-00842399v1  Conference papers
George AfonsoRabie Ben AtitallahNicolas BelangerMartial RubioJean-Luc Dekeyser et al.  A prototyping environment for high performance reconfigurable computing
6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011, Montpellier, France. pp.1-8, ⟨10.1109/ReCoSoC.2011.5981497⟩
hal-03109511v1  Conference papers
Mehdi AlaimiEdith LawKevin PantasdoPierre-Yves OudeyerHélène Sauzéon. Pedagogical Agents for Fostering Question-Asking Skills in Children
CHI '20 - CHI Conference on Human Factors in Computing Systems, Apr 2020, Honolulu / Virtual, United States. ⟨10.1145/3313831.3376776⟩
hal-00909294v1  Conference papers
Elvira AlbertFrank BoerReiner HahnleEinar Broch JohnsenCosimo Laneve. Engineering Virtualized Services
NordiCloud 2013 - 2nd Nordic Symposium on Cloud Computing and Internet Technologies, Sep 2013, Oslo, Norway. pp.59--63, ⟨10.1145/2513534.2513545⟩
hal-00869120v1  Conference papers
Hervé Albin-AmiotPierre CointeYann-Gaël GuéhéneucNarendra Jussien. Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together
16th IEEE conference on Automated Software Engineering (ASE'01), 2001, San Diego, United States. pp.166--173
hal-00331551v1  Conference papers
Lucian AlecuHervé Frezza-Buet. An Empirical Evaluation Framework for Qualifying Dynamic Neural Fields
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
hal-00331571v1  Conference papers
Frédéric AlexandreJérémy FixAxel HuttNicolas RougierThierry Viéville. On practical neural field parameters adjustment
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
hal-01558717v1  Conference papers
Basak AlperNathalie Henry RicheFanny ChevalierJeremy BoyT. Metin Sezgin. Visualization Literacy at Elementary School
CHI '17 - Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems , ACM, May 2017, Denver, CO, United States. pp.5485-5497, ⟨10.1145/3025453.3025877⟩
inria-00466286v1  Conference papers
Eitan AltmanRachid ElazouziTania Jimenez. Slotted Aloha as a stochastic game with partial information
WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, Mar 2003, Sophia Antipolis, France. 9 p
hal-00909297v1  Conference papers
Roberto AmadiniMaurizio GabbrielliJacopo Mauro. An Empirical Evaluation of Portfolios Approaches for Solving CSPs
CPAIOR - 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming - 2013, 2013, Yorktown Heights, United States. pp.316-324, ⟨10.1007/978-3-642-38171-3_21⟩
hal-03200480v1  Conference papers
Maxime AmblardMiguel Couceiro. A Broad NLP Training from Speech to Knowledge
NAACL 2021 - Fifth Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
hal-01164738v1  Conference papers
Maxime Amblard. Quantitative study of linguistic phenomenas as indices of Thought and Language Disorders
(In)Coherence du Discours 2, Dec 2014, Nancy, France
hal-00601621v1  Conference papers
Maxime Amblard. Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. pp.1--16, ⟨10.1007/978-3-642-22221-4_1⟩
hal-02269609v1  Conference papers
Maxime AmblardMaria BoritchevMarta CarlettiLea DieudonatYiting Tsai. A Taxonomy of Real-Life Questions and Answers in Dialogue
SemDial 2019 - LondonLogue - 23rd Workshop on the semantics and pragmatics of dialogue, Sep 2019, London, United Kingdom
hal-01941824v1  Conference papers
Maxime Amblard. Formal modelling of dialogue: how words interact (not only in the dictionary!)
EMLex lecture series/Séminaire de l’ATILF, Mar 2018, Nancy, France
hal-01941830v1  Conference papers
Maxime Amblard. Question the coherence of dialogical interaction through formalization
Journée d'Étude Franco-Tchèque. Linguistique textuelle, linguistique de corpus, Apr 2018, Metz, France
hal-02619239v1  Conference papers
Maxime AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
hal-01655817v1  Conference papers
Maxime Amblard. A Formal Account of Disorders in Dialogues
Seminar of the Centre for Linguistic Theory and Studies in Probability, Nov 2017, University of Gothenburg, Sweden
hal-00869660v1  Conference papers
Maxime Amblard. Treating clitics with minimalist grammars
The 11th conference on Formal Grammar, Jul 2006, Malaga, Spain. pp.9--20
hal-01176458v1  Conference papers
Nicolas AnciauxSaliha LallaliIulian Sandu PopaPhilippe Pucheral. A Scalable Search Engine for Mass Storage Smart Objects
Proceedings of the 41th International Conference on Very Large Databases (VLDB), Aug 2015, Kohala Coast, Hawaii, United States. pp.910-921, ⟨10.14778/2777598.2777600⟩
hal-01176462v1  Conference papers
Nicolas AnciauxSaliha LallaliIulian Sandu PopaPhilippe Pucheral. A scalable search engine for mass storage smart objects
31èmes journées Bases de Données Avancées (BDA), 2015, Île de Porquerolles, France
hal-00935613v1  Conference papers
Nicolas AnciauxBenjamin NguyenIulian Sandu Popa. Personal Data Management with Secure Hardware: How to keep your Data at Hand
IEEE 14th International Conference on Mobile Data Management, Jun 2013, Milan, Italy. pp.1-2
hal-01176512v1  Conference papers
Nicolas AnciauxBenjamin NguyenIulian Sandu Popa. Towards an Era of Trust in Personal Data Management
Proceedings of the 19th East-European Conference on Advances in Databases and Information Systems (ADBIS '15). Tutorial, 2015, Poitiers, France
hal-01740357v1  Conference papers
Daniel AntunesClaire MathieuNabil Mustafa. Combinatorics of Local Search: An Optimal 4-Local Hall's Theorem for Planar Graphs
25th Annual European Symposium on Algorithms (ESA 2017), Sep 2017, Vienna, Austria. ⟨10.4230/LIPIcs.ESA.2017.8⟩
hal-02423157v1  Conference papers
Salvatore AnzaloneSerena IvaldiOlivier SigaudMohamed Chetouani. Multimodal People Engagement with iCub
Biologically Inspired Cognitive Architectures, Oct 2012, Palermo, Italy. pp.59-64, ⟨10.1007/978-3-642-34274-5_16⟩
hal-01830494v1  Conference papers
Cécile Appert-RollandJulien PettréAnne-Hélène OlivierWilliam WarrenAymeric Duigou-Majumdar et al.  Experimental Study of Collective Pedestrian Dynamics
PED 2018 - 9th International conference on Pedestrian and Evacuation Dynamics, Aug 2018, Lund, Sweden. pp.1-8
hal-02971795v1  Conference papers
Aurélien AppriouJessy CehaSmeety PramijDan DutartreEdith Law et al.  Towards measuring states of epistemic curiosity through electroencephalographic signals
IEEE SMC 2020 - IEEE International conference on Systems, Man and Cybernetics, Oct 2020, Toronto / Virtual, Canada
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
hal-00755337v1  Conference papers
Aland AstudilloThierry ViévilleMaria-Jose EscobarAdrian Palacios. Relevant features identification in natural images to allow there use in retinal biology
VII Anual Meeting, Chilean Society for Neuroscience, Sep 2011, Santa Cruz, Chile
hal-01616234v1  Conference papers
Elian AubryThomas SilverstonIsabelle Chrisment. Implementation and Evaluation of a Controller-Based Forwarding Scheme for NDN
AINA 2017 - IEEE 31st International Conference on Advanced Information Networking and Applications, IEEE, Mar 2017, Taipei, Taiwan. pp.144 - 151, ⟨10.1109/AINA.2017.83⟩
hal-01405820v1  Conference papers
Elian AubryThomas SilverstonIsabelle Chrisment. Green Growth in NDN: Deployment of Content Stores
LANMAN 2016 - IEEE International Symposium on Local and Metropolitan Area Networks, IEEE, Jun 2016, Rome, Italy. ⟨10.1109/LANMAN.2016.7548850⟩
hal-01645410v1  Conference papers
Amélie AusselLaure BuhryRadu Ranta. Stability conditions of Hopfield ring networks with discontinuous piecewise-affine activation functions
56th IEEE Conference on Decision and Control, CDC 2017, Dec 2017, Melbourne, Australia
hal-00840485v1  Conference papers
Bernardo Avila PiresMohammad GhavamzadehCsaba Szepesvari. Cost-sensitive Multiclass Classification Risk Bounds
International Conference on Machine Learning, Jun 2013, Atlanta, United States
hal-00849079v2  Conference papers
Benjamin BachPierre DragicevicSamuel HuronPetra IsenbergYvonne Jansen et al.  Illustrative Data Graphics in 18th-19th Century Style: A Case Study
IEEE Conference on Visualization - IEEE VIS 2013, Oct 2013, Atlanta, United States
hal-00854626v1  Conference papers
Solveig BadilloThomas VincentPhilippe Ciuciu. Impact of the joint detection-estimation approach on random effects group studies in fMRI
ISBI 2011 - IEEE Computer Society International Symposium on Biomedical Imaging: From Nano to Macro, Mar 2011, Chicago, United States. pp.376-380, ⟨10.1109/ISBI.2011.5872427⟩
inria-00497071v1  Conference papers
Sylvain BailletRichard LeahyFrançois TadelJohn MosherArnaud Delorme et al.  Academic Software Toolboxes for the Analysis of MEG Data
Biomag 2010, S. Supek, May 2010, Dubrovnik, Croatia. pp.101-104
hal-00159899v1  Conference papers
Olivier BailleuxYacine Boufkhad. Full CNF Encoding: The Counting Constraints Case
The Seventh International Conference on Theory and Applications of Satisfiability Testing, May 2004, Vancouver, Canada
inria-00620496v1  Conference papers
Slawomir BakEtienne CorveeFrancois BremondMonique Thonnat. Multiple-shot Human Re-Identification by Mean Riemannian Covariance Grid
Advanced Video and Signal-Based Surveillance, Aug 2011, Klagenfurt, Austria
inria-00496120v2  Conference papers
Int. Joint Conf. on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP), Feb 2009, Lisbon, Portugal
inria-00496051v1  Conference papers
Slawomir BakEtienne CorveeFrancois BremondMonique Thonnat. Person Re-identification Using Haar-based and DCD-based Signature
2nd Workshop on Activity Monitoring by Multi-Camera Surveillance Systems, AMMCSS 2010, in conjunction with 7th IEEE International Conference on Advanced Video and Signal-Based Surveillance, AVSS - 2010, Aug 2010, Boston, United States