Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

28 résultats
Page :
triés par

Mobile Robots with Uncertain Visibility Sensors

 Adam Heriban , Sébastien Tixeuil
SIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, Jul 2019, L'Aquila, Italy. pp.349-352, ⟨10.1007/978-3-030-24922-9_27⟩
Communication dans un congrès hal-02286008v1
Image document

Unreliable Sensors for Reliable Efficient Robots

 Adam Heriban , Sébastien Tixeuil
[Research Report] Sorbonne University. 2021
Rapport hal-03219365v2

Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds

 Adam Heriban , Sébastien Tixeuil
Parallel Processing Letters, 2021, 31 (01), pp.2150002. ⟨10.1142/S012962642150002X⟩
Article dans une revue hal-03154617v1
Image document

Optimally Gathering Two Robots

 Adam Heriban , Xavier Défago , Sébastien Tixeuil
[Research Report] UPMC Sorbonne Universités. 2017
Rapport hal-01575451v1

Optimally Gathering Two Robots

 Adam Heriban , Xavier Défago , Sébastien Tixeuil
The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩
Communication dans un congrès hal-01753431v1
Image document

Can suggestive hypnosis be used to improve Brain-Computer Interface performance?

 Sébastien Rimbert , Oleksii Avilov , Perrine Adam , Laurent Bougrain
8th Graz Brain-Computer Interface Conference 2019, Sep 2019, Graz, Austria
Communication dans un congrès hal-02098864v1

Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space

 Xavier Défago , Adam Heriban , Sébastien Tixeuil , Koichi Wada
Robotics and Autonomous Systems, 2023, 163, pp.104378. ⟨10.1016/j.robot.2023.104378⟩
Article dans une revue hal-04021057v1

Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space

 Xavier Defago , Adam Heriban , Sébastien Tixeuil , Koichi Wada
2020 International Symposium on Reliable Distributed Systems (SRDS), Sep 2020, Shanghai, China. pp.113-122, ⟨10.1109/SRDS51746.2020.00019⟩
Communication dans un congrès hal-03017408v1
Image document

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space

 Xavier Défago , Adam Heriban , Sébastien Tixeuil , Koichi Wada
33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩
Communication dans un congrès hal-02394992v1
Image document

Big-data historique : modélisation de stratégies d'analyse de collections de document

 Camille Guerry , Bertrand Coüasnon , Aurélie Lemaitre , Sebastien Adam
SIFED : Symposium International Francophone sur l’Ecrit et le Document, Jun 2019, Nancy, France
Communication dans un congrès hal-03828277v1

Application of convex lexicographical optimization to the balance of GRTgaz gas grid

 Joseph Frederic Bonnans , Ruben Paraisy , Sébastien Veyrat , Soizic Adam
Journal of Global Optimization, 2011, 49 (3), pp.415--423
Article dans une revue hal-00773348v1
Image document

Hypnotic State Modulates Sensorimotor Beta Rhythms During Real Movement and Motor Imagery

 Sébastien Rimbert , Manuel Zaepffel , Pierre Riff , Perrine Adam , Laurent Bougrain
Frontiers in Psychology, 2019, 10, ⟨10.3389/fpsyg.2019.02341⟩
Article dans une revue hal-02325588v1
Image document

Symbol Spotting using Full Visibility Graph Representation

 Hervé Locteau , Sébastien Adam , Eric Trupin , Jacques Labiche , Pierre Héroux
Workshop on Graphics Recognition, Jul 2007, Brazil. pp.49-50
Communication dans un congrès hal-00671265v1
Image document

CoLoR: a Coq library on rewriting and termination

 Frédéric Blanqui , Solange Coupet-Grimal , William Delobel , Sébastien Hinderer , Adam Koprowski
Eighth International Workshop on Termination - WST 2006, Aug 2006, Seattle, United States
Communication dans un congrès inria-00084835v2
Image document

Formulations linéaires en nombres entiers pour des problèmes d'isomorphisme exact et inexact

 Pierre Le Bodic , Sébastien Adam , Pierre Héroux , Arnaud Knippel , Yves Lecourtier
Journées Polyèdres et Optimisation Combinatoire (JPOC'08), Jun 2008, France
Communication dans un congrès hal-00671121v1
Image document

Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming

 Pierre Le Bodic , Hervé Locteau , Sébastien Adam , Pierre Héroux , Yves Lecourtier , et al.
International Conference on Document Analysis and Recognition, Computer Vision Center, Jul 2009, Barcelona, Spain. 5 p., ⟨10.1109/ICDAR.2009.202⟩
Communication dans un congrès inria-00432616v1

DocMining: A Document Analysis System Builder

 Sébastien Adam , Maurizio Rigamonti , Eric Clavier , Jean-Marc Ogier , Eric Trupin , et al.
6th IAPR International Workshop on Document Analysis Systems - DAS 2004, 2004, Florence, Italie, pp.472--483
Communication dans un congrès inria-00099950v1
Image document

Programmation linéaire en nombres entiers pour la recherche d'isomorphisme de sous-graphe : Application à la recherche de symboles graphiques

 Pierre Le Bodic , Pierre Héroux , Sébastien Adam , Hervé Locteau , Jean Noel Bilong Mboumba , et al.
Colloque International Francophone sur l'Écrit et le Document - CIFED 2010, Mar 2010, Sousse, Tunisie. pp.153-168
Communication dans un congrès hal-00492174v1
Image document

Exploitation de Big Data Historiques pour les Humanités Numériques : application aux données financières HBDEX

 Camille Guerry , Bertrand B. Coüasnon , Aurélie Lemaitre , Sébastien Adam , Thierry Paquet , et al.
NUMÉRIQUE ET PATRIMOINE Enjeux et questions actuels, Mar 2021, Paris / Virtual, France
Communication dans un congrès hal-03828391v1

A general framework for the evaluation of symbol recognition methods

 Ernest Valveny , Philippe Dosch , Adam Winstanley , Zhou Yu , Yang Su , et al.
International Journal on Document Analysis and Recognition, 2007, 9 (1), pp.59-74. ⟨10.1007/s10032-006-0033-x⟩
Article dans une revue inria-00176899v1
Image document

Stability analysis of high frequency nonlinear amplifiers via harmonic identification

 Laurent Baratchart , Sylvain Chevillard , Adam Cooman , Sébastien Fueyo , Martine Olivi , et al.
Complex Days 2018, without insertion in the proceedings, Université Côte d'Azur, Jan 2018, Nice, France
Communication dans un congrès hal-03526549v1
Image document

Multi-scale coastal surface temperature in the Bay of Biscay and the English Channel

 Guillaume Charria , Sébastien Theetten , Adam Ayouche , Coline Poppeschi , Joël Sudre , et al.
EGU 2020 General Assembly, May 2020, Vienna, Austria
Communication dans un congrès hal-02565192v1

On defining signatures for the retrieval and the classification of graphical drop caps

 Rudolf Pareti , Nicole Vincent , Surapong Uttama , Jean-Marc Ogier , Jean-Pierre Salmon , et al.
Document Image Analysis for Libraries, Apr 2006, France. pp.220-231
Communication dans un congrès hal-00671268v1
Image document

EurHisFirm M7.1: First version of the data extraction system

 Sébastien Adam , Simon Bouvier , Bertrand B. Coüasnon , Camille Guerry , Aurélie Lemaitre , et al.
[Research Report] M7.1, European Union’s Horizon 2020 research and innovation programme. 2021. 2020
Rapport hal-03828225v1
Image document

Acquired resistance to PD-L1 inhibition is associated with an enhanced type I IFN-stimulated secretory program in tumor cells

 Yuhao Shi , Melissa Dolan , Michalis Mastri , Amber Mckenery , James W Hill , et al.
2023
Pré-publication, Document de travail hal-04387866v1
Image document

EURHISFIRM - M7.2: Final version of the data extraction system

 Sébastien Adam , Simon Bouvier , Bertrand B. Coüasnon , Nathalie Girard , Camille Guerry , et al.
[Research Report] European Union’s Horizon 2020 research and innovation programme. 2021
Rapport hal-03828289v1
Image document

Data extraction and matching The EurHisFirm experience

 Sébastien Adam , Jan Annaert , Frans Buelens , Bertrand B. Coüasnon , Boris Cule , et al.
Methodological Advances in the Extraction and Analysis of Historical Data, Kellogg School of Management - Northwestern University, Dec 2021, Chicago/Virtual, United States
Communication dans un congrès hal-03828381v1
Image document

Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species

 Keith Bradnam , Joseph Fass , Anton Alexandrov , Paul Baranay , Michael Bechner , et al.
GigaScience, 2013, 2 (1), pp.10. ⟨10.1186/2047-217X-2-10⟩
Article dans une revue hal-00868822v1
Page :