Center for New American Media

output

20132025

most citedDedukti: a Logical Framework based on the

λ

Π

-Calculus Modulo Theory

6 citations

researchers with a paper here

Catherine Dubois2 profiles2 · h 15
David Delahaye2 · h 15
M. Caponigro2 · h 17
N. Boussaid2 · h 16
T. Chambrion2 · h 15
A. Amouretti1 · h 5
A. Assaf1 · h 11
A. Descamps1 · h 12
A. Forte1 · h 3
A. Latouche1 · h 30
A. Mora1 · h 3
A. Pelka1 · h 5

collaborating institutions

Conservatoire National des Arts et MétiersFR7 papers
Centre d'études et de recherche en informatique et communicationsFR6 papers
Centre de Recherche en InformatiqueFR2 papers
École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR2 papers
Institut Élie Cartan de LorraineFR2 papers
Institut national de recherche en sciences et technologies du numériqueFR2 papers
Brain Mapping FoundationUS1 paper
Cancer et génome: Bioinformatique, biostatistiques et épidémiologie des systèmes complexes1 paper
Center for Advanced Systems UnderstandingDE1 paper
Centre Inria de SaclayFR1 paper
Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR1 paper
École Nationale Supérieure des Mines de ParisFR1 paper

Showing cs.SDShow all

1 paper · 1 filter

cs.SD2021★ 1 cited

PKSpell: Data-Driven Pitch Spelling and Key Signature Estimation

Francesco Foscarin, Nicolas Audebert, Raphaël Fournier-S'Niehotta

We present PKSpell: a data-driven approach for the joint estimation of pitch spelling and key signatures from MIDI files. Both elements are fundamental for the production of a full…