Skip to Main content Skip to Navigation

hal-00953273v1  Conference papers
Taha TrikiYves LedruLydie Du BousquetFrédéric DadeauJulien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle
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
hal-01509762v1  Conference papers
Jing PengCindy CappelleMaan El Badaoui El NajjarDenis PomorskiFrançois Charpillet. Virtual 3D city model for intelligent vehicle geo-localization
The 9th IEEE International Conference on ITS Telecommunication (ITST’2009), Oct 2009, Lille, France. ⟨10.1109/ITST.2009.5399306⟩
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-00760398v1  Conference papers
Arnaud FietzkeEvgeny KruglovChristoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA)
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211
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-00760577v1  Conference papers
Guy PerrierBruno Guillaume. Semantic Annotation of the French Treebank with Modular Graph Rewriting
META-RESEARCH Workshop on Advanced Treebanking, LREC 2012 Workshop, META-NET, May 2012, Istanbul, Turkey
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-00764804v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. Web services composition verification using satisfiability solving
IEEE 19th International Conference on Web Services, Jun 2012, Honolulu, United States. pp.242-249, ⟨10.1109/ICWS.2012.75⟩
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-01188612v1  Conference papers
Philippe de Groote. Proof-Theoretic Aspects of the Lambek-Grishin Calculus
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. pp.109--123
hal-01188619v1  Conference papers
Philippe de Groote. On Logical Relations and Conservativity
NLCS'15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. pp.1-11
hal-01188632v1  Conference papers
Philippe de Groote. Abstract Categorial Parsing as Linear Logic Programming
Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25
hal-01188694v1  Conference papers
Bruno GuillaumeGuy Perrier. Dependency Parsing with Graph Rewriting
IWPT 2015, 14th International Conference on Parsing Technologies, 2015, Bilbao, Spain. pp.30-39