Skip to Main content Skip to Navigation


...
hal-00841579v1  Conference papers
Rémi Ronfard. Captation vidéo et analyse génétique du théâtre : l'informatique au service de la recherche théâtrale.
International Federation for Theatre Research, International Federation for Theatre Research, Jul 2013, Barcelone, Spain
...
hal-02192794v1  Conference papers
Tatiana MakhalovaSergei O. KuznetsovAmedeo Napoli. Майнинг множеств признаков на основе сжатия: вероятностный подход
Proceedings of the 17th Russian Conference on Artificial Intelligence, Russian Association of Artificial Intelligence; Institute of Control Sciences Academician VA Trapeznikov; Ulyanovsk State Technical University; Federal Research Center “Computer Science and Control”, Oct 2019, Ulyanovsk, Russia. pp.164-172
...
hal-02639607v1  Conference papers
Andrès Rubio Proaño. Exposer les caractéristiques des architectures à mémoires hétérogènes aux applications parallèles
COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France
...
hal-00764708v1  Conference papers
Mehdi FelhiAntoine TabboneNicolas Bonnier. Un nouveau descripteur de texte pour la détection des lignes de texte multi-orientées dans les scènes réelles
7ème Colloque International Francophone sur l'Écrit et le Document - CIFED 2012, Mar 2012, Bordeaux, France
...
hal-01745594v1  Conference papers
Mauricio GonzalezOlivier BeaudePatricia BouyerSamson LasaulceNicolas Markey. Stratégies d'ordonnancement de consommation d'énergie en présence d'information imparfaite de prévision
26eme Colloque GRETSI Traitement du Signal & des Images, GRETSI 2017, Sep 2017, Juan-les-Pins, France
...
hal-01405981v1  Conference papers
Hoang Nam HoMourad RabahSamuel NowakowskiPascal Estraillier. Personnalisation interactive de parcours pédagogiques par une méthode de décision multicritère à base de traces
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2015), Jun 2015, Agadir, Maroc. pp.429-431
...
hal-00779952v1  Conference papers
Sébastien Ferré. Extension du langage de requêtes LISQL pour la représentation et l'exploration d'expressions mathématiques en RDF
Journées francophones d'ingénierie des connaissances, Jun 2012, Paris, France. pp.285-300
...
hal-00764524v1  Conference papers
Bahjat SafadiGeorges Quénot. Apprentissage actif avec une méthode de réordonnancement pour l'indexation et la recherche de vidéos
CORIA 2011 - COnférence en Recherche d'Information et Applications, Mar 2011, Avignon, France. pp.231-245
...
cea-01119475v2  Conference papers
Yann LeprinceFabrice PouponThierry DelzescauxDominique HasbounCyril Poupon et al.  Combined Laplacian-equivolumic model for studying cortical lamination with ultra high field MRI (7 T)
2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI), IEEE, Apr 2015, New York, United States. pp.580-583, ⟨10.1109/ISBI.2015.7163940⟩
...
inria-00000253v1  Conference papers
Amos Abayomi DavidSahbi Sidhom. Intégration de la démarche d'Intelligence Économique dans l'architecture fonctionnelle d'un système d'information
Le Système National d'Information Economique : Etat et perspectives, Centre de Recherche sur l'Information Scientifique et Technique(Cerist) - Algérie, Feb 2005, Alger/Algérie
...
inria-00099481v1  Conference papers
Javier-Flavio Vigueras-GomezMarie-Odile BergerGilles Simon. Calibration multiplanaire d'une caméra : augmenter la stabilité en utilisant la sélection de modèles
Journées Francophones des Jeunes Chercheurs en Vision par Ordinateur - ORASIS'2003, LORIA, INRIA-Lorraine, 2003, Gérardmer, France, pp.147-156
...
hal-01924979v1  Conference papers
Anne Gégout-PetitSophie Wantz-MézièresNassim Sahki. Retours d'expériences autour de l'évaluation des objets connectés en santé, fiabilité et aide à la décision
1ères rencontres académiques de l’Evaluation des objets connectés en santé, Oct 2018, Paris, France
...
hal-01578906v1  Conference papers
Juan RossoCéline CoutrixMatt JonesLaurence Nigay. Curseur Tangible et Déformable sur Dispositifs Mobiles pour Interagir à une Main sans Regarder l'Écran
29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 11 p., ⟨10.1145/3132129.3132134⟩
...
hal-01265300v1  Conference papers
Brigitte Trousse. « co-créer avec les citoyens la ville de demain ou l'open innovation au service de la Cité »
la Ville Intelligente ou la Cité Radieuse 3.0 , Jan 2015, Angoulème, France. pp.19
...
hal-02176456v2  Conference papers
Vlad RusuDavid Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Working Formal Methods Symposium, Sep 2019, Timisoara, Romania. pp. 32-47, ⟨10.4204/EPTCS.303.3⟩
...
inria-00108118v1  Conference papers
Anis KoubaaYe-Qiong Song. (m,k)-WFQ : Integrating (m,k)-Firm Real-Time Constraints into Guaranteed-Rate Networks
Conference on Real-Time Systems - RTS Embedded Systems 2004, 2004, Paris/France
...
ensl-00759912v1  Conference papers
Nicolas BrisebarreMilos ErcegovacJean-Michel Muller. (M,p,k)-friendly points: a table-based method for trigonometric function evaluation
2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. p. 46-52, ISBN: 978-1-4673-2243-0, ⟨10.1109/ASAP.2012.17⟩
...
hal-01433682v1  Conference papers
Joëlle Despeyroux. (Mathematical) Logic for Systems Biology (Invited Paper)
Computational Methods in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.3 - 12, ⟨10.1007/978-3-319-45177-0_1⟩
...
hal-03183858v1  Conference papers
Boris Teabe DjomgwePeterson YuhalaAlain TchanaFabien HermenierDaniel Hagimont et al.  (No)Compromis: Paging Virtualization Is Not a Fatality
VEE 2021 - 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12
...
hal-02981770v1  Conference papers
Michael LodiSimone MartiniMarco SbaragliaStefano Pio Zingaro. (Non) parliamo di pensiero computazionale
XXXIV Convegno Nazionale “Incontri con la Matematica”, Nov 2020, Castel San Pietro Terme / Online, Italy
...
inria-00521726v1  Conference papers
Serge AbiteboulPierre BourhisBogdan MarinoiuAlban Galland. [Demo] AXART - Enabling Collaborative Work with AXML Artifacts
VLDB 2010 - 36th International Conference on Very Large Data Bases Endowment, Sep 2010, Singapour, Singapore. pp.1553-1556
...
inria-00536361v1  Conference papers
Émilien AntoineAlban GallandKristian LyngbaekAmélie MarianNeoklis Polyzotis. [Demo] Social Networking on top of the WebdamExchange System
International Conference on Data Engineering, Apr 2011, Hannover, Germany
...
hal-00765413v1  Conference papers
Sonja BoschS. ChoiÉric Villemonte de la ClergerieAlex Chengyu FangGertrud Faass et al.  [tiger2] As a standardized serialisation for ISO 24615 - SynAF
TLT11 - 11th international workshop on Treebanks and Linguistic Theories - 2012, Nov 2012, Lisbon, Portugal. pp.37-60
...
hal-00561442v1  Conference papers
Julien GroslambertJacques JulliandOlga Kouchnarenko. {JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.41--48
...
hal-00652092v1  Conference papers
Fabien CampilloRivo Rakotozafy. {MCMC} for non linear/non {Gaussian} state-space models: Application to fishery stock assessment
7th African Conference on Research in Computer Science, Nov 2004, Hammamet, Tunisia
...
hal-00563313v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. {SAT} Solvers for Queries over Tree Automata with Constraints
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France
...
hal-01147734v1  Conference papers
Rozenn BouvilleValérie GourantonThomas BogginiFlorian NouvialeBruno Arnaldi. #FIVE : High-Level Components for Developing Collaborative and Interactive Virtual Environments
Proceedings of Eighth Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS 2015), conjunction with IEEE Virtual Reality (VR), Mar 2015, Arles, France
...
hal-01300727v1  Conference papers
Joost RenesPeter SchwabeBenjamin SmithLejla Batina. $\mu$Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers
Cryptographic Hardware and Embedded Systems – CHES 2016, IACR, Aug 2016, Santa Barbara, United States. pp.20, ⟨10.1007/978-3-662-53140-2_15⟩
...
hal-00683868v2  Conference papers
Bo ZhangAlexandre KruszewskiJean-Pierre Richard. $H_{\infty}$ Control Design for Novel Teleoperation System Scheme: A Discrete Approach
10th IFAC Workshop on Time Delay Systems, Jun 2012, Boston, United States
...
hal-00684710v1  Conference papers
Bo ZhangAlexandre KruszewskiJean-Pierre Richard. $H_{\infty}$ Control of Delayed Teleoperation Systems under Polytopic-Type Uncertainties
20th Mediterranean Conference on Control and Automation, Jul 2012, Barcelone, Spain