Skip to Main content Skip to Navigation

hal-00840366v1  Conference papers
Joachim ThiemannEmmanuel Vincent. A fast EM algorithm for Gaussian model-based source separation
EUSIPCO - 21st European Signal Processing Conference - 2013, Sep 2013, Marrakech, Morocco
hal-01108675v1  Conference papers
Nathan Souviraà-LabastieEmmanuel VincentFrédéric Bimbot. Music separation guided by cover tracks: designing the joint NMF model
40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2015, Apr 2015, Brisbane, Australia
hal-00642544v1  Conference papers
Frédéric BessonPascal FontaineLaurent Théry. A Flexible Proof Format for SMT: a Proposal
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland
hal-01388109v1  Conference papers
Ninon EyrollesLouis GoubinMarion Videau. Defeating MBA-based Obfuscation
2nd International Workshop on Software PROtection, Oct 2016, Vienna, Austria. ⟨10.1145/2995306.2995308⟩
hal-01078045v1  Conference papers
Gilles AddaLaurent BesacierAlain CouillaultKarën FortJoseph Mariani et al.  Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology
Crowdsourcing and human computation multidisciplinary workshop, CNRS, Sep 2014, Paris, France
hal-00769631v1  Conference papers
Karën FortAdeline NazarenkoSophie Rosset. Modeling the Complexity of Manual Annotation Tasks: a Grid of Analysis
International Conference on Computational Linguistics, Dec 2012, Mumbaï, India. pp.895--910
inria-00192465v1  Conference papers
Chia-Hung LinChia-Wei YenJen-Shin HongSamuel Cruz-Lara. Event-based textual document retrieval by using semantic role labeling and coreference resolution
IADIS International Conference WWW/Internet 2007, Oct 2007, Vila Real, Portugal
hal-00429219v1  Conference papers
Fabienne Venant. Géométriser le sens lexical La synonymie comme accès à la sémantique
Quatrième conférence internationale sur la Théorie Sens-Texte (MTT'09), Jun 2009, montréal, Canada
hal-00694454v1  Conference papers
Samuel Cruz-Lara. Mundos virtuales: Una infraestructura global para facilitar las interacciones sociales multilingües y el aprendizaje de idiomas
The VII International Conference on Engineering and Computer Education. Workshop "New trends in Engineering Education"., COPEC Science and Education Research Council, Sep 2011, Guimaraes, Portugal
inria-00149366v1  Conference papers
Claire GardentEric Kow. A Symbolic Approach to Near-Deterministic Surface Realisation using Tree Adjoining Grammar
45th Annual Meeting of the Association for Computational Linguistics - ACL 2007, Jun 2007, Prague, Czech Republic. pp.328-335
inria-00537159v2  Conference papers
Claire GardentLaura Perez-Beltrachini. RTG based surface realisation for TAG
23rd International Conference on Computational Linguistics - Coling 2010, Aug 2010, Beijing, China. pp.367--375
inria-00179646v1  Conference papers
Luciana Benotti. Incomplete Knowledge and Tacit Action: Enlightened Update in a Dialogue Game
Workshop on the Semantics and Pragmatics of Dialogue - DECALOG 2007, May 2007, Rovereto, Italy. pp.17-24
inria-00179593v1  Conference papers
Paul Bedaride. Using Description Logics for Recognising Textual Entailment
19th European Summer School in Logic, Language and Information, Aug 2007, Dublin, Ireland. pp.11-21
inria-00192467v1  Conference papers
Dick C.A. BultermanJack JansenPablo CesarSamuel Cruz-Lara. An Efficient, Streamable Text Format for Multimedia Captions and Subtitles
ACM Symposium on Document Engineering - DocEng 2007, Aug 2007, Winnipeg, Canada
hal-00337374v1  Conference papers
Claire Gardent. Integrating a unification-based semantics in a large scale Lexicalised Tree Adjoining Grammar for French
The 22nd International Conference on Computational Linguistics, Aug 2008, Manchester, United Kingdom. pp.249-257
inria-00519757v1  Conference papers
Silvana QuagliniToni GiorginoLina Maria Rojas BarahonaEzio CaffiMauro Devito et al.  An Automated Voice Response System for Anticoagulant Therapy Management
Medical Informatics in a United and Healthy Europe, Aug 2009, Sarajevo, Bosnia and Herzegovina. pp.453-457, ⟨10.3233/978-1-60750-044-5-453⟩
inria-00424703v1  Conference papers
Luciana BenottiDavid Traum. A computational account of comparative implicatures for a spoken dialogue agent
Eighth International Conference on Computational Semantics - IWCS-8 2009, Jan 2009, Tilburg, Netherlands
lirmm-00833506v1  Conference papers
Amine Mohamed Rouane HaceneMarianne HuchardAmedeo NapoliPetko Valtchev. Soundness and Completeness of Relational Concept Analysis
ICFCA: International Conference on Formal Concept Analysis, May 2013, Dresden, Germany. pp.228-243, ⟨10.1007/978-3-642-38317-5_15⟩
hal-01079278v1  Conference papers
Maxime AmblardAlain LecomteChristian Retoré. Syntax and Semantics interacting in a Minimalist theory
Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
hal-00784892v1  Conference papers
Ganna PugachViacheslav KhomenkoArtem MelnykAlexandre PittiPatrick Henaff et al.  Electronic hardware design of a low cost tactile sensor device for physical Human-Robot Interactions
ELNANO 2013 - 33rd IEEE International Scientific Conference Electronics and Nanotechnology, Apr 2013, Kiev, Ukraine. pp.5, ⟨10.1109/ELNANO.2013.6552033⟩
hal-01206161v1  Conference papers
Emmanuel HainryRomain Péchoux. Objects in Polynomial Time
APLAS 2015, Nov 2015, Pohang, South Korea. pp.387--404, ⟨10.1007/978-3-319-26529-2_21⟩
hal-00910166v1  Conference papers
Emmanuel HainryRomain Péchoux. Types for controlling heap and stack in Java
Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy
hal-00755450v2  Conference papers
Emmanuel HainryJean-Yves MarionRomain Péchoux. Type-based complexity analysis for fork processes
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. pp.305-320, ⟨10.1007/978-3-642-37075-5_20⟩
hal-01529170v2  Conference papers
Emmanuel HainryRomain Péchoux. Higher-order interpretations for higher-order complexity
LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Geoff Sutcliffe, May 2017, Maun, Botswana. pp.269-285
hal-01653659v1  Conference papers
Emmanuel HainryRomain Péchoux. Higher order interpretations for higher order complexity
8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, Apr 2017, Uppsala, Sweden
inria-00522029v1  Conference papers
Olivier BournezDaniel GraçaEmmanuel Hainry. Robust computations with dynamical systems
35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. pp.198-208, ⟨10.1007/978-3-642-15155-2_19⟩
inria-00518381v1  Conference papers
Hugo FéréeEmmanuel HainryMathieu HoyrupRomain Péchoux. Interpretation of stream programs: characterizing type 2 polynomial time complexity
21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
inria-00250111v3  Conference papers
Emmanuel Hainry. Computing omega-limit Sets in Linear Dynamical Systems
Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
inria-00429964v1  Conference papers
Olivier BournezWalid GomaaEmmanuel Hainry. Implicit complexity in recursive analysis
Tenth International Workshop on Logic and Computational Complexity - LCC'09, Aug 2009, Los Angeles, United States
inria-00202674v2  Conference papers
Emmanuel Hainry. Reachability in linear dynamical systems
Computability in Europe, Jun 2008, Athènes, Greece. pp.241-250, ⟨10.1007/978-3-540-69407-6_28⟩
hal-01528272v1  Conference papers
David GeraultMarine MinierChristine Solnon. Using Constraint Programming to solve a Cryptanalytic Problem
IJCAI 2017 - International Joint Conference on Artificial Intelligence (Sister Conference Best Paper Track), Aug 2017, Melbourne, Australia. pp.4844-4848
hal-03065632v1  Conference papers
Nazim HaouchineParikshit JuvekarAlexandra GolbyWilliam WellsStéphane Cotin et al.  Alignment of Cortical Vessels viewed through the Surgical Microscope with Preoperative Imaging to Compensate for Brain Shift
Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Feb 2020, Houston, United States
hal-02985794v3  Conference papers
Nicolas FurnonRomain SerizelIrina IllinaSlim Essid. Distributed speech separation in spatially unconstrained microphone arrays
ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing, Jun 2021, Toronto / Virtual, Canada
hal-01093642v1  Conference papers
Miguel CouceiroJean-Luc Marichal. Quasi-extensions de Lovász et leur version symétrique
Rencontres francophones sur la Logique Floue et ses Applications (LFA 2012), Nov 2012, Compiègne, France
hal-02074061v1  Conference papers
Quentin BrabantMiguel CouceiroFabien LaberniaAmedeo Napoli. A dimensionality Reduction Approach for Qualitative Preference Aggregation
International Symposium on Aggregation and Structures (ISAS 2016), Jul 2016, Luxembourg, Luxembourg
hal-01889785v1  Conference papers
Quentin BrabantMiguel CouceiroDidier DuboisHenri PradeAgnès Rico. Sugeno Integral for Rule-Based Ordinal Classification
IJCAI-ECAI 2018 - Workshop on Learning and Reasoning: Principles and Applications to Everyday Spatial and Temporal Knowledge, Jul 2018, Stockholm, Sweden
hal-01093655v1  Conference papers
Miguel CouceiroDidier DuboisHenri PradeAgnès RicoTamas Waldhauser. General Interpolation by Polynomial Functions of Distributive Lattices
14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2012), Jul 2012, Catania, Italy. pp.347-355, ⟨10.1007/978-3-642-31718-7_36⟩
hal-01404913v1  Conference papers
Quentin BrabantMiguel CouceiroFabien LaberniaAmedeo Napoli. Une approche de réduction de dimensionnalité pour l'agrégation de préférences qualitatives
16ème Journées Francophones Extraction et Gestion des Connaissances, EGC 2016, Jan 2016, Reims, France. pp.345-350
hal-01090638v1  Conference papers
Miguel CouceiroLucien HaddadKarsten SchölzelTamas Waldhauser. Relation Graphs and Partial Clones on a 2-Element Set
IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL), 2014, May 2014, Bremen, Germany. pp.161-166, ⟨10.1109/ISMVL.2014.36⟩
hal-01093650v1  Conference papers
Miguel CouceiroJean-Luc Marichal. Quasi-Lovász Extensions and Their Symmetric Counterparts
14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Jul 2012, Catania, Italy
hal-03346500v1  Conference papers
Claire TheobaldBastien ArcelinFrédéric PennerathBrieuc Conan-GuezMiguel Couceiro et al.  A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression
ECML PKDD 221: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
hal-03220739v1  Conference papers
Cyrius NugierDiane Leblanc-AlbarelAgathe BlaiseSimon MassonPaul Huynh et al.  An Upcycling Tokenization Method for Credit Card Numbers
18th International Conference on Security and Cryptography (SECRYPT 2021), Jul 2021, Online, France
hal-02571466v1  Conference papers
Karën FortBruno GuillaumeYann-Alan PilatteMathieu ConstantNicolas Lefèbvre. Rigor Mortis: Annotating MWEs with a Gamified Platform
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France
hal-02611209v1  Conference papers
Alice MillourKarën Fort. Text Corpora and the Challenge of Newly Written Languages
1st Joint SLTU and CCURL Workshop (SLTU-CCURL 2020), May 2020, Marseille, France