Search - Archive ouverte HAL Access content directly

Filter your results

8 114 Results
Structure: Internal structure identifier : 206040

Automatic Combinability of Rewriting-Based Satisfiability Procedures

Hélène Kirchner , Silvio Ranise , Christophe Ringeissen , Duc-Khanh Tran
13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2006, Nov 2006, Phnom Penh/Cambodia, pp.542--556, ⟨10.1007/11916277⟩
Conference papers inria-00117261v1
Image document

Is attention to bounding boxes all you need for pedestrian action prediction?

Lina Achaji , Julien Moreau , Thibault Fouqueray , Francois Aioun , François Charpillet
2021
Preprints, Working Papers, ... hal-03288986v1

Optimization of multistage membrane gas separation processes. Example of application to CO2 capture from blast furnace gas

Álvaro Ramírez-Santos , M. Bozorg , Bernardetta Addis , V. Piccialli , C. Castel , et al.
Journal of Membrane Science, 2018, 566, pp.346-366. ⟨10.1016/j.memsci.2018.08.024⟩
Journal articles hal-02939885v1
Image document

DNSSM: A Large Scale Passive DNS Security Monitoring Framework

Samuel Marchal , Jérôme François , Cynthia Wagner , Radu State , Alexandre Dulaunoy , et al.
Network Operations and Management Symposium, Apr 2012, Lahaina, United States. pp.988 - 993, ⟨10.1109/NOMS.2012.6212019⟩
Conference papers hal-00749243v1
Image document

Complexity Analysis of Random Geometric Structures Made Simpler

Olivier Devillers , Marc Glisse , Xavier Goaoc
29th Annual Symposium on Computational Geometry, Jun 2013, Rio, Brazil. pp.167-175, ⟨10.1145/2462356.2462362⟩
Conference papers hal-00833774v1
Image document

Towards Confidence Measures on Fundamental Frequency Estimations

Boyuan Deng , Denis Jouvet , Yves Laprie , Ingmar Steiner , Aghilas Sini
IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2017, New Orleans, United States
Conference papers hal-01493168v1
Image document

Complexity invariance of real interpretations

Guillaume Bonfante , Florian Deloup
7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. pp.139-150, ⟨10.1007/978-3-642-13562-0⟩
Conference papers inria-00535784v1
Image document

Modelling Memory: do crop models need to become nostalgic?

Lethicia Magno , Alain Mollier , Miguel Couceiro , Jean-Christophe Avice , Sophie Brunel-Muguet
ICROPM2020: Second International Crop Modelling Symposium, Feb 2020, Montpellier, France. Book of abstracts - XIIth Stics users seminar
Poster communications hal-02737323v2
Image document

Как улучшить оценку множеств признаков с помощью принципа минимальной длины описания

Tatiana Makhalova , Sergei O Kuznetsov , Amedeo Napoli
RCAI-2018 - Russian Conference on Artificial Intelligence, Sep 2018, Moscou, Russia
Conference papers hal-01889791v1
Image document

Rapid and Round-free Multi-pair Asynchronous Push-Pull Aggregation

Hyun-Gul Roh , Claudia Lavinia Ignat
[Research Report] RR-8044, INRIA. 2012
Reports hal-00724232v2

Using ontology-based annotation to profile disease research

Yi Liu , Adrien Coulet , Paea Lependu , Nigam H Shah
Journal of the American Medical Informatics Association, 2012, 19 (e1), pp.e177-e186. ⟨10.1136/amiajnl-2011-000631⟩
Journal articles hal-00752101v1

Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete

Marco Voigt , Christoph Weidenbach
2015
Other publications hal-01239399v1
Image document

Weakly-supervised text-to-speech alignment confidence measure

Guillaume Serrière , Christophe Cerisara , Dominique Fohr , Odile Mella
International Conference on Computational Linguistics (COLING), Dec 2016, Osaka, Japan
Conference papers hal-01378355v1

Nouvelles méthodes statistiques pour le texte

Jean-Charles Lamirel
2013
Other publications hal-01263800v1

Routing Scheme for a Wireless Sensor Network Real-Time Locating System

Laurent Ciarletta , Hugo Cruz-Sanchez , Ye-Qiong Song , Priyadarsi Nanda
[Research Report] Loria & Inria Grand Est. 2012, pp.6
Reports hal-00764931v1
Image document

SCL with Theory Constraints

Martin Bromberger , Alberto Fiori , Christoph Weidenbach
2020
Preprints, Working Papers, ... hal-02975868v1

First-Order Tests for Toricity

Hamid Rahkooy , Thomas Sturm
2020
Preprints, Working Papers, ... hal-03017907v1

Verification and synthesis using real quantifier elimination

Thomas Sturm , Ashish Tiwari
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
Conference papers hal-03142063v1
Image document

On Design and Deployment of Fuzzy-Based Metric for Routing in Low-Power and Lossy Networks

Patrick Olivier Kamgueu , Emmanuel Nataf , Thomas Djotio Ndié
IEEE SenseApp 2015, Oct 2015, Clearwater Beach, Floride, United States
Conference papers hal-01203409v1
Image document

How Fuzzy FCA and Pattern Structures are connected?

Aleksey Buzmakov , Amedeo Napoli
5th Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI'2016), Aug 2016, The Hague, Netherlands
Conference papers hal-01420997v1

Linear Integer Arithmetic Revisited

Martin Bromberger , Thomas Sturm , Christoph Weidenbach
2015
Preprints, Working Papers, ... hal-03145059v1
Image document

Statistical Model Checking of Distributed Programs within SimGrid

Marie Duflot , Yann Duplouy
SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
Conference papers hal-02978389v1
Image document

Vitesse de convergence et borne d'erreur pour l'algorithme LSTD($\lambda$)

Manel Tagorti , Bruno Scherrer
JFPDA - 9èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, May 2014, Liège, Belgique
Conference papers hal-00990508v1

Nouveaux mécanismes de filtrage de tests basés sur le modèle

Taha Triki , Yves Ledru , Lydie Du Bousquet , Frédéric Dadeau , Julien Botella
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
Conference papers hal-00953273v1
Image document

Orchestration d'expériences à l'aide de processus métier

Tomasz Buchert
ComPAS : Conférence d'informatique en Parallélisme, Architecture et Système., Jan 2013, Grenoble, France
Conference papers hal-00749601v4
Image document

Unsupervised Sentence Simplification Using Deep Semantics

Shashi Narayan , Claire Gardent
The 9th International Natural Language Generation conference, Sep 2016, Edinburgh, United Kingdom. pp.111 - 120, ⟨10.18653/v1/W16-6620⟩
Conference papers hal-01623829v1

A new incremental clustering approach based on cluster data feature maximization

Jean-Charles Lamirel
2012
Other publications hal-01263778v1
Image document

On Abstract Computer Virology from a Recursion-theoretic Perspective

Guillaume Bonfante , Matthieu Kaczmarek , Jean-Yves Marion
Journal in Computer Virology, 2006, 1 (3-4), pp.45--54. ⟨10.1007/s11416-005-0007-4⟩
Journal articles inria-00115199v1
Image document

Collective infotaxis with reactive amoebae: a note on a simple bio-inspired mechanism

Nazim Fatès
12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Sep 2016, Fez, Morocco. ⟨10.1007/978-3-319-44365-2_15⟩
Conference papers hal-01327983v1
Image document

Behavior Analysis of Malicious Code by Weighted Behavior Abstraction

Philippe Beaucamps , Isabelle Gnaedig , Jean-Yves Marion
[Research Report] 2013
Reports hal-00803412v1