Skip to Main content Skip to Navigation

hal-00921250v1  Conference papers
Victor GabillonMohammad GhavamzadehBruno Scherrer. Approximate Dynamic Programming Finally Performs Well in the Game of Tetris
Neural Information Processing Systems (NIPS) 2013, Dec 2013, South Lake Tahoe, United States
hal-01184192v1  Conference papers
Freha MezzoudjDavid LangloisDenis JouvetAbdelkader Benyettou. Textual Data Selection for Language Modelling in the Scope of Automatic Speech Recognition
International Conference on Natural Language and Speech Processing, Oct 2015, Alger, Algeria
hal-01184193v1  Conference papers
Luiza OrosanuDenis Jouvet. Detection of sentence modality on French automatic speech-to-text transcriptions
International Conference on Natural Language and Speech Processing, Oct 2015, Alger, Algeria
hal-01183349v1  Conference papers
Agnès Piquard-KipfferOdile MellaJérémy MirandaDenis JouvetLuiza Orosanu. Qualitative investigation of the display of speech recognition results for communication with deaf people
6th Workshop on Speech and Language Processing for Assistive Technologies, SIG-SLPAT, Sep 2015, Dresden, Germany. pp.7
hal-00755265v1  Conference papers
Carlos SarrauteOlivier BuffetJoerg Hoffmann. POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), Jul 2012, Toronto, Canada
hal-01184186v1  Conference papers
Denis JouvetAnne BonneauJürgen TrouvainFrank ZimmererYves Laprie et al.  Analysis of phone confusion matrices in a manually annotated French-German learner corpus
Workshop on Speech and Language Technology in Education, Sep 2015, Leipzig, Germany
hal-00762252v1  Conference papers
Philippe BeaucampsIsabelle GnaedigJean-Yves Marion. Abstraction-based Malware Analysis Using Rewriting and Model Checking
ESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩
hal-00760570v1  Conference papers
Stephan MerzHernán Vanzetto. Automatic Verification Of TLA+ Proof Obligations With SMT Solvers
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Mar 2012, Mérida, Venezuela. pp.289-303, ⟨10.1007/978-3-642-28717-6_23⟩
hal-00760579v1  Conference papers
Stephan MerzHernán Vanzetto. Harnessing SMT Solvers for TLA+ Proofs
12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany
hal-01184194v1  Conference papers
Luiza OrosanuDenis Jouvet. Adding new words into a language model using parameters of known words with similar behavior
International Conference on Natural Language and Speech Processing, Oct 2015, Alger, Algeria
hal-01184196v1  Conference papers
Luiza OrosanuDenis Jouvet. Combining lexical and prosodic features for automatic detection of sentence modality in French
International Conference on Statistical Language and Speech Processing, Nov 2015, Budapest, Hungary
hal-01183645v1  Conference papers
Thibaut FuxDenis Jouvet. Evaluation of PNCC and extended spectral subtraction methods for robust speech recognition
EUSIPCO 2015 - 23rd European Signal Processing Conference , Aug 2015, Nice, France
hal-00761045v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. Authenticating Operation-based History in Collaborative Systems
ACM 2012 International Conference on Support Group Work, Oct 2012, Sanibel Island, FL, United States. pp.131-140, ⟨10.1145/2389176.2389197⟩
hal-00761058v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. Securing Logs in Operation-based Collaborative Editing
CSCW'12 - The Twelfth International Workshop on Collaborative Editing Systems 2012, Feb 2012, Seattle, United States
hal-01151641v4  Conference papers
Laura KallmeyerTimm LichteRainer OsswaldSylvain PogodallaChristian Wurm. Quantification in Frame Semantics with Hybrid Logic
Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain
hal-01184498v2  Conference papers
Christoph PaulusNazim HaouchineDavid CazierStéphane Cotin. Surgical Augmented Reality with Topological Changes
Medical Image Computing and Computer Assisted Interventions, Oct 2015, München, Germany
hal-01184495v2  Conference papers
Christoph PaulusNazim HaouchineDavid CazierStéphane Cotin. Augmented Reality during Cutting and Tearing of Deformable Objects
The 14th IEEE International Symposium on Mixed and Augmented Reality, Sep 2015, Fukuoka, Japan. pp.6
hal-00768812v1  Conference papers
Tianxiang LuStephan MerzChristoph Weidenbach. Formal Verification Of Pastry Using TLA+
International Workshop on the TLA+ Method and Tools, Aug 2012, Paris, France
hal-00765027v1  Conference papers
Michael KatzJoerg HoffmannMalte Helmert. How to Relax a Bisimulation?
22nd International Conference on Automated Planning and Scheduling (ICAPS), Jun 2012, Atibaia, Brazil
hal-00765030v1  Conference papers
Hootan NakhostJoerg HoffmannMartin Müller. Resource-Constrained Planning: A Monte Carlo Random Walk Approach
22nd International Conference on Automated Planning and Scheduling (ICAPS), Jun 2012, Itabaia, Brazil
hal-01188738v1  Conference papers
Yves LaprieBenjamin ElieAnastasiia Tsukanova. 2D Articulatory Velum Modeling Applied to Copy Synthesis of Sentences Containing Nasal Phonemes
International Congress of Phonetic Sciences, Aug 2015, Glasgow, United Kingdom
hal-01205501v1  Conference papers
Roberto CalandraSerena IvaldiMarc Peter DeisenrothJan Peters. Learning torque control in presence of contacts using tactile sensing from robot skin
IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS), Nov 2015, Seoul, South Korea
hal-01568002v1  Conference papers
Iordan IordanovMonique Teillaud. Implementing Delaunay Triangulations of the Bolza Surface
33rd International Symposium on Computational Geometry (SoCG 2017), Jul 2017, Brisbane, Australia. pp.44:1 -- 44:15, ⟨10.4230/LIPIcs.SoCG.2017.44⟩
hal-01377339v2  Conference papers
Simon PerdrixLuc Sanselme. Determinism and Computational Power of Real Measurement-based Quantum Computation
FCT'17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. ⟨10.1007/978-3-662-55751-8_31⟩
hal-01203638v1  Conference papers
Abdallah DibFrançois Charpillet. Pose Estimation For A Partially Observable Human Body From RGB-D Cameras
IEEE/RJS International Conference on Intelligent Robots and Systems (IROS), Sep 2015, Hamburg, Germany. pp.8
hal-00765025v1  Conference papers
Emil KeyderJoerg HoffmannPatrik Haslum. Semi-Relaxed Plan Heuristics
ICAPS - 22nd International Conference on Automated Planning and Scheduling - 2012, Jun 2012, Atibaia, Brazil
hal-00765037v1  Conference papers
Michael KatzEmil Keyder. Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning
Twenty-Sixth Conference on Artificial Intelligence (AAAI), Jul 2012, Toronto, Canada
hal-00765105v1  Conference papers
Amandine DuboisFrançois Charpillet. Tracking Mobile Objects with Several Kinects using HMMs and Component Labelling
Workshop Assistance and Service Robotics in a human environment, International Conference on Intelligent Robots and Systems, Oct 2012, Vilamoura, Algarve, Portugal
hal-01188725v1  Conference papers
Nobutaka OnoZafar RafiiDaichi KitamuraNobutaka ItoAntoine Liutkus. The 2015 Signal Separation Evaluation Campaign
International Conference on Latent Variable Analysis and Signal Separation (LVA/ICA), Aug 2015, Liberec, France. pp.387-395, ⟨10.1007/978-3-319-22482-4_45⟩