Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
10,038 Research products, page 1 of 1,004

  • Conference object
  • European Commission
  • English
  • Mémoires en Sciences de l'Information et de la Communication
  • Hal-Diderot
  • ProdInra

10
arrow_drop_down
Date (most recent)
arrow_drop_down
  • English
    Authors: 
    Turan, Mehmet Ali Tugtekin; Klakow, Dietrich; Vincent, Emmanuel; Jouvet, Denis;
    Publisher: HAL CCSD
    Country: France
    Project: EC | COMPRISE (825081)

    Submitted to INTERSPEECH 2021; International audience; In recent years, voice-controlled personal assistants have revolutionized the interaction with smart devices and mobile applications. These dialogue tools are then used by system providers to improve and retrain the...

  • English
    Authors: 
    Sheikh, Imran,; Vincent, Emmanuel; Illina, Irina;
    Publisher: HAL CCSD
    Country: France
    Project: EC | COMPRISE (825081)

    International audience; In several ASR use cases, training and adaptation of domain-specific LMs can only rely on a small amount of manuallyverified text transcriptions and sometimes a limited amount of in-domain speech. Training of LSTM LMs in such limited data scenari...

  • Publication . Conference object . Preprint . Article . 2022
    Open Access English
    Authors: 
    Deutch, Daniel; Frost, Nave; Kimelfeld, Benny; Monet, Mikaël;
    Publisher: HAL CCSD
    Country: France
    Project: EC | ProDIS (804302)

    International audience; The Shapley value is a game-theoretic notion for wealth distribution that is nowadays extensively used to explain complex data-intensive computation, for instance, in network analysis or machine learning. Recent theoretical works show that query ...

  • Closed Access English
    Authors: 
    Horel, Jean-Baptiste; Laugier, Christian; Marsso, Lina; Mateescu, Radu; Muller, Lucie; Paigwar, Anshul; Renzaglia, Alessandro; Serwe, Wendelin;
    Publisher: HAL CCSD
    Country: France
    Project: EC | ArchitectECA2030 (877539)

    International audience; Simulation, a common practice to evaluate autonomous vehicles, requires to specify realistic scenarios, in particular critical ones, which correspond to corner-case situations occurring rarely and potentially dangerous to reproduce in real enviro...

  • Open Access English
    Authors: 
    Julien Baste; Michael R. Fellows; Lars Jaffke; Tomáš Masařík; Mateus de Oliveira Oliveira; Geevarghese Philip; Frances A. Rosamond;
    Publisher: HAL CCSD
    Country: France
    Project: EC | CUTACOMBS (714704)

    When modeling an application of practical relevance as an instance of a combinatorial problem X, we are often interested not merely in finding one optimal solution for that instance, but in finding a sufficiently diverse collection of good solutions. In this work we ini...

  • Publication . Preprint . Conference object . Article . 2022
    Open Access English
    Authors: 
    Benedikt Ahrens; Ralph Matthes; Anders Mörtberg;
    Publisher: Association for Computing Machinery (ACM)
    Countries: Netherlands, France, France
    Project: EC | CoqHoTT (637339), EC | CoqHoTT (637339)

    Accepted to CPP 2022; International audience; In previous work (“From signatures to monads in UniMath”), we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library based on the Coq proof assistant. In the presen...

  • Open Access English
    Authors: 
    Azalea Raad; Luc Maranget; Viktor Vafeiadis;
    Publisher: Association for Computing Machinery (ACM)
    Countries: France, United Kingdom, France, France, France, France, France
    Project: EC | PERSIST (101003349), EC | PERSIST (101003349)

    Existing semantic formalisations of the Intel-x86 architecture cover only a small fragment of its available features that are relevant for the consistency semantics of multi-threaded programs as well as the persistency semantics of programs interfacing with non-volatil...

  • Publication . Preprint . Article . Conference object . 2022
    Open Access English
    Authors: 
    Betea, Dan; Bouttier, Jérémie; Walsh, Harriet;
    Publisher: HAL CCSD
    Country: France
    Project: EC | CombiTop (716083), ANR | DIMERS (ANR-18-CE40-0033)

    We study two families of probability measures on integer partitions, which are Schur measures with parameters tuned in such a way that the edge fluctuations are characterized by a critical exponent different from the generic $1/3$. We find that the first part asymptotic...

  • Open Access English
    Authors: 
    Da Silva, F.; Ricardo, E.; Ferreira, J.; Santos, J.; Heuraux, S.; Silva, A.; Ribeiro, T.; De Masi, G.; Tudisco, O.; Cavazzana, R.; +1 more
    Publisher: Institute of Physics Publishing, Bristol , Regno Unito
    Countries: France, Italy
    Project: EC | EUROfusion (633053)

    O-mode reflectometry, a technique to diagnose fusion plasmas, is foreseen as a source of real-time (RT) plasma position and shape measurements for control purposes in the coming generation of machines such as DEMO. It is, thus, of paramount importance to predict the beh...

  • Publication . 2021
    English
    Authors: 
    Baelde, David; Delaune, Stéphanie; Koutsos, Adrien; Moreau, Solène;
    Publisher: HAL CCSD
    Country: France
    Project: EC | POPSTAR (714955)

    International audience; Bana and Comon have proposed a logical approach to proving protocols in the computational model, which they call the Computationally Complete Symbolic Attacker (CCSA). The proof assistant Squirrel implements a verification technique that elaborat...