447 citations
- Conservatoire National des Arts et MétiersFR56 papers
- Sorbonne UniversitéFR16 papers
- École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR12 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- LIP6FR8 papers
- Center for New American MediaUS6 papers
- Institut national de l’information géographique et forestièreFR6 papers
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Practical ActionKE6 papers
- Institut Systèmes Intelligents et de RobotiqueFR5 papers
- École Nationale Supérieure de Techniques AvancéesFR4 papers
- École PolytechniqueFR4 papers
15 papers · 1 filter
Dedukti: a Logical Framework based on the -Calculus Modulo Theory
Ali Assaf, Guillaume Burel, Raphaël Cauderlier +7
Dedukti is a Logical Framework based on the -Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simpl…
Product Line Management with Graphical MBSE Views
Pascal Krapf, Sébastien Berthier, Nicole Levy
Reducing the cost and delay and improving quality are major issues for product and software development, especially in the automotive domain. Product line engineering is a wellknow…
Semantic Generative Augmentations for Few-Shot Counting
Perla Doubinsky, Nicolas Audebert, Michel Crucianu +1
With the availability of powerful text-to-image diffusion models, recent works have explored the use of synthetic data to improve image classification performances. These works sho…
A near-autonomous and incremental intrusion detection system through active learning of known and unknown attacks
Lynda Boukela, Gongxuan Zhang, Meziane Yacoub +1
Intrusion detection is a traditional practice of security experts, however, there are several issues which still need to be tackled. Therefore, in this paper, after highlighting th…
8+8=4: Formalizing Time Units to Handle Symbolic Music Durations
Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard +3
This paper focuses on the nominal durations of musical events (notes and rests) in a symbolic musical score, and on how to conveniently handle these in computer applications. We pr…
Fisher Market Model based Resource Allocation for 5G Network Slicing
Mandar Datar, Naresh Modina, Rachid El +1
Network slicing (NS) is a key technology in 5G networks that enables the customization and efficient sharing of network resources to support the diverse requirements of nextgenerat…