Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

93 804 Results
Domains : info

An $\mathcal{O}(\log {m})$-Competitive Algorithm for Online Machine Minimization

Lin Chen , Nicole Megow , Kevin Schewior
SIAM Journal on Computing, 2018, 47 (6), pp.2057-2077. ⟨10.1137/17M116032X⟩
Journal articles hal-03989380v1

Deep Learning–Based Bathymetry Mapping from Multispectral Satellite Data Around Europa Island

Khishma Modoosoodun Nicolas , Lucas Drumetz , Sébastien Lefèvre , Dirk Tiede , Touria Bajjouk , et al.
EUCOMARE 2022: International Conference European Spatial Data for Coastal and Marine Remote Sensing, May 2022, Saint Malo (FR), France. pp.97-111, ⟨10.1007/978-3-031-16213-8_6⟩
Conference papers hal-03991226v1
Image document

Non-Rigid Atlas to Subject Registration with Pathologies for Conformal Brain Radiotherapy

Radu Stefanescu , Olivier Commowick , Grégoire Malandain , Pierre-Yves Bondiau , Nicholas Ayache , et al.
MICCAI 2004 - 7th International Conference on Medical Image Computing and Computer-Assisted Intervention, Sep 2004, Saint-Malo, France. pp.704-711, ⟨10.1007/978-3-540-30135-6_86⟩
Conference papers hal-03989487v1
Image document

Data splits and metrics for method benchmarking on surgical action triplet datasets

Chinedu Innocent Nwoye , Nicolas Padoy
Arxiv, 2022, 2204.05235, ⟨10.48550/arXiv.2204.05235⟩
Journal articles hal-03999887v1
Image document

BRASERO: A resource for benchmarking RNA secondary structure comparison algorithms

Julien Allali , Cédric Saule , Cedric Chauve , Yves d'Aubenton-Carafa , Alain Denise , et al.
Advances in Bioinformatics, 2012, 2012, pp.1-5. ⟨10.1155/2012/893048⟩
Journal articles hal-00647725v1
Image document

Create Efficient and Complex Reservoir Computing Architectures with ReservoirPy

Nathan Trouvain , Nicolas P. Rougier , Xavier Hinaut
SAB 2022 - FROM ANIMALS TO ANIMATS 16: The 16th International Conference on the Simulation of Adaptive Behavior, Sep 2022, Cergy-Pontoise / Hybrid, France
Conference papers hal-03761440v1

Trackerless Volume Reconstruction from Intraoperative Ultrasound Images

Sidaty El Hadramy , Juan Verde , Karl-Philippe Beaudet , Nicolas Padoy , Stéphane Cotin
MICCAI 2023, Oct 2023, Vancouver, Canada
Conference papers hal-04108248v3
Image document

Virtual Machine Placement for Hybrid Cloud using Constraint Programming

Hélène Coullon , Guillaume Le Louët , Jean-Marc Menaud
23rd International Conference on Parallel and Distributed Systems (ICPADS 2017), Dec 2017, Shenzhen, China. ⟨10.1109/ICPADS.2017.00051⟩
Conference papers hal-01581969v1
Image document

Many-objective (combinatorial) optimization is easy

Arnaud Liefooghe , Manuel López-Ibáñez
GECCO 2023 - Genetic and Evolutionary Computation Conference, Jul 2023, Lisbon, Portugal. pp.704-712, ⟨10.1145/3583131.3590475⟩
Conference papers hal-04169753v1
Image document

Fast in-place accumulated bilinear formulae

Jean-Guillaume Dumas , Bruno Grenet
Univ. Grenoble Alpes. 2023
Reports hal-04167499v1

Subhedge Projection for Stepwise Hedge Automata

Antonio Al Serhali , Joachim Niehren
24th International Symposium on Fundamentals of Computation Theory, FCT 2023, Sep 2023, famagusta, Cyprus
Conference papers hal-04165835v1
Image document

Transparent distributed data management in large scale distributed systems

Soumeya Leila Hernane , Jens Gustedt
Pervasive Computing, Academic Press, pp.153-194, 2016, 978-0-12-803663-1
Book sections hal-01308989v1
Image document

Human Joint Angle Estimation and Gesture Recognition for Assistive Robotic Vision

Alp Guler , Nikolaos Kardaris , Siddhartha Chandra , Vassilis Pitsikalis , Christian Werner , et al.
ACVR, ECCV, Oct 2016, Amsterdam, Netherlands. pp.415 - 431, ⟨10.1007/978-3-319-48881-3_29⟩
Conference papers hal-01410854v1
Image document

Fast, Exact and Multi-Scale Inference for Semantic Image Segmentation with Deep Gaussian CRFs

Siddhartha Chandra , Iasonas Kokkinos
European Conference on Computer Vision, Sep 2016, Amsterdam, Netherlands. ⟨10.1007/978-3-319-46478-7_25⟩
Conference papers hal-01410872v1
Image document

Code-Based Cryptography: New Security Solutions Against a Quantum Adversary

Nicolas Sendrier , Jean-Pierre Tillich
ERCIM News, 2016, Special Theme Cybersecurity (106)
Journal articles hal-01410068v1
Image document

Building an IEEE 802.15.4e TSCH network

Ines Khoufi , Pascale Minet , Erwan Livolant , Badr Rmili
35th IEEE -- International Performance Computing and Communications Conference, Dec 2016, Las Vegas, United States
Conference poster hal-01410080v1

Unbiasing Truncated Backpropagation Through Time

Yann Ollivier , Corentin Tallec
2017
Preprints, Working Papers, ... hal-01660627v1
Image document

Concurrent secrets with quantified suspicion

Loïc Hélouët , Hervé Marchand , John Mullins
ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15
Conference papers hal-01757949v1
Image document

De Novo NGS Data Compression

Gaëtan Benoit , Claire Lemaitre , Guillaume Rizk , Erwan Drezen , Dominique Lavenier
Mourad Elloumi. Algorithms for Next-Generation Sequencing Data, Springer, pp.91-115, 2017, 978-3-319-59826-0. ⟨10.1007/978-3-319-59826-0_4⟩
Book sections hal-01633718v1

Nested Control Laws for H∞ Disturbance Rejection Based on Continuous-Time Takagi-Sugeno Models

Raymundo Márquez Borbόn , Thierry-Marie Guerra , Miguel Bernal , Alexandre Kruszewski
CESCIT 2015, Jun 2015, Maribor, Slovenia. pp.282 - 287, ⟨10.1016/j.ifacol.2015.08.145⟩
Conference papers hal-01410317v1
Image document

Data Discovery in RDF Graphs

Ioana Manolescu
DEXA 2017 - 28th International Conference on Database and Expert System Applications, Aug 2017, Lyon, France. pp.1-63
Documents associated with scientific events hal-01657144v1
Image document

Designing an Accessible and Engaging Email Application for Aging in Place

Loïc Caroux , Charles Consel , Hélène Sauzéon , Lucile Dupuy
UIC 2017 - IEEE International Conference on Ubiquitous Intelligence and Computing, Aug 2017, San Francisco, United States. pp.8
Conference papers hal-01556783v1
Image document

Memory-processor co-scheduling in fixed priority systems

Alessandra Melani , Marko Bertogna , Vincenzo Bonifaci , Alberto Marchetti-Spaccamela , Giorgio Buttazzo
International Conference on Real Time and Networks Systems (RTNS), Nov 2015, Lille, France. pp.87-96, ⟨10.1145/2834848.2834854⟩
Conference papers hal-01249107v1
Image document

The Global EDF Scheduling of Systems of Conditional Sporadic DAG Tasks

Sanjoy K. Baruah , Vincenzo Bonifaci , Alberto Marchetti-Spaccamela
ECRTS 2015 - Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. pp.222-231, ⟨10.1109/ECRTS.2015.27⟩
Conference papers hal-01249105v1
Image document

VIF: Virtual Interactive Fiction (with a twist)

Jérémy Frey
Pervasive Play - CHI '16 Workshop, May 2016, San Jose, United States
Conference papers hal-01305799v2
Image document

Feature-Based Classification of Bidirectional Transformation Approaches

Soichiro Hidaka , Massimo Tisi , Jordi Cabot , Zhenjiang Hu
Software and Systems Modeling, 2016, 15, pp.907-928. ⟨10.1007/s10270-014-0450-0⟩
Journal articles hal-01257169v1

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker , Camilo Rueda , Frank Valencia
Springer, 9399, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
Books hal-01257171v1

PENCIL: a Platform-Neutral Compute Intermediate Language for Accelerator Programming

Mohamed Riyadh Baghdadi , Ulysse Beaugnon , Albert Cohen , Tobias Grosser , Michael Kruse , et al.
Parallel Architectures and Compilation Techniques (PACT), 2015, San Francisco, California, United States
Conference papers hal-01257236v1
Image document

Graph-FCA in Practice

Sébastien Ferré , Peggy Cellier
International Conference on Conceptual Structures (ICCS), Jul 2016, Annecy, France. pp.107 - 121, ⟨10.1007/978-3-319-40985-6_9⟩
Conference papers hal-01405491v1
Image document

Delay analysis of STDMA in grid wireless sensor networks

Ichrak Amdouni , Cédric Adjih , Pascale Minet , Thierry Plesse
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, ⟨10.1109/ICMCIS.2016.7496580⟩
Conference papers hal-01405540v1