output
20062026
most citedA Generic Model of Contracts for Embedded Systems

30 citations

47 papers

cs.AI2026

Exploration and Online Transfer with Behavioral Foundation Models

Louis Bagot, Mathieu Lefort, Laëtitia Matignon

Zero-shot Transfer in Reinforcement Learning (RL) aims to train an agent that can generate optimal policies for any reward function, without additional learning at transfer time, w…

cs.LG2026

Instance Discrimination for Link Prediction

Valentin Cuzin-Rambaud, Mathieu Lefort, Rémy Cazabet

Recently, instance discrimination models have emerged as a major solution for self-supervised learning. Having already demonstrated its effectiveness in the image domain, instance…

cs.DC2024

AMECOS: A Modular Event-based Framework for Concurrent Object Specification

Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +3

In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential sp…

cs.CV2024★ 2 cited

Cross-sensor super-resolution of irregularly sampled Sentinel-2 time series

Aimi Okabayashi, Nicolas Audebert, Simon Donike +1

Satellite imaging generally presents a trade-off between the frequency of acquisitions and the spatial resolution of the images. Super-resolution is often advanced as a way to get…

cs.NI2023

Traffic Load Prediction and Power Consumption Reduction for Multi-band Networks

Ndolane Diouf, Cesar Vargas Anamuro, Cédric Gueguen +3

Energy is a major expense issue for mobile operators. In the case of wireless networks, base stations have been identified as the main source of energy consumption. In this paper,…

cs.AI2023

Estimation of the qualification and behavior of a contributor and aggregation of his answers in a crowdsourcing context

Constance Thierry, Arnaud Martin, Jean-Christophe Dubois +1

Crowdsourcing is the outsourcing of tasks to a crowd of contributors on a dedicated platform. The crowd on these platforms is very diversified and includes various profiles of cont…

cs.DB2022

Real bird dataset with imprecise and uncertain values

Constance Thierry, Arthur Hoarau, Arnaud Martin +2

The theory of belief functions allows the fusion of imperfect data from different sources. Unfortunately, few real, imprecise and uncertain datasets exist to test approaches using…

cs.DS2022

Pattern matching under DTW distance

Garance Gourdel, Anne Driemel, Pierre Peterlongo +1

In this work, we consider the problem of pattern matching under the dynamic time warping (DTW) distance motivated by potential applications in the analysis of biological data produ…

cs.AI2021

Realistic simulation of users for IT systems in cyber ranges

Alexandre Dey, Benjamin Costé, Éric Totel +1

Generating user activity is a key capability for both evaluating security monitoring tools as well as improving the credibility of attacker analysis platforms (e.g., honeynets). In…

cs.CR2021

A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version)

Yoann Marquer, Tania Richmond, Pascal Véron

The iterative conditional branchings appear in various sensitive algorithms, like the modular exponentiation in the RSA cryptosystem or the scalar multiplication in ellipticcurve c…

cs.IR2015

Exploiting a comparability mapping to improve bi-lingual data categorization: a three-mode data analysis perspective

Pierre-François Marteau, Guiyao Ke

We address in this paper the co-clustering and co-classification of bilingual data laying in two linguistic similarity spaces when a comparability measure defining a mapping betwee…

cs.AI2015

Inclusion within Continuous Belief Functions

Dorra Attiaoui, Pierre-Emmanuel Doré, Arnaud Martin +1

Defining and modeling the relation of inclusion between continuous belief function may be considered as an important operation in order to study their behaviors. Within this paper…

cs.AI2015

Int{é}gration d'une mesure d'ind{é}pendance pour la fusion d'informations

Mouloud Kharoune, Arnaud Martin

Many information sources are considered into data fusion in order to improve the decision in terms of uncertainty and imprecision. For each technique used for data fusion, the asum…

cs.AI2015

Consid{é}rant la d{é}pendance dans la th{é}orie des fonctions de croyance

Mouna Chebbah, Mouloud Kharoune, Arnaud Martin +1

In this paper, we propose to learn sources independence in order to choose the appropriate type of combination rules when aggregating their beliefs. Some combination rules are used…

cs.LG2014

Down-Sampling coupled to Elastic Kernel Machines for Efficient Recognition of Isolated Gestures

Pierre-François Marteau, Sylvie Gibet, Clement Reverdy

In the field of gestural action recognition, many studies have focused on dimensionality reduction along the spatial axis, to reduce both the variability of gestural sequences expr…

cs.NI2014

Hybrid Decision Algorithm for Access Selection in Multi-operator Networks

Soha Farhat, Bernard Cousin, Samer Lahoud +1

In this paper, we propose a hybrid decision algorithm for the selection of the access in multi-operator networks environment, where competing operators share their radio access net…

cs.NI2014★ 2 cited

Best Operator Policy in a Heterogeneous Wireless Network

Soha Farhat, Samhat Abed Ellatif, Samer Lahoud +1

In this paper, we perform a business analysis of our hybrid decision algorithm for the selection of the access in a multi-operator networks environment. We investigate the ability…

physics.ao-ph2012★ 17 cited

Ensemble Kalman filtering with residual nudging

Xiaodong Luo, Ibrahim Hoteit

Covariance inflation and localization are two important techniques that are used to improve the performance of the ensemble Kalman filter (EnKF) by (in effect) adjusting the sample…

cs.DS2012★ 1 cited

Sketch \star-metric: Comparing Data Streams via Sketching

Emmanuelle Anceaume, Yann Busnel

In this paper, we consider the problem of estimating the distance between any two large data streams in small- space constraint. This problem is of utmost importance in data intens…

cs.SE2012

Issues of Architectural Description Languages for Handling Dynamic Reconfiguration

Leonardo Minora, Jérémy Buisson, Flavio Oquendo +1

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration.…

cs.GT2011★ 11 cited

Opacity Issues in Games with Imperfect Information

Bastien Maubert, Sophie Pinchinat, Laura Bozzelli

We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and w…

cs.NI2010

Light-Hierarchy: The Optimal Structure for Multicast Routing in WDM Mesh Networks

Fen Zhou, Miklos Molnar, Bernard Cousin

Based on the false assumption that multicast incapable (MI) nodes could not be traversed twice on the same wavelength, the light-tree structure was always thought to be optimal for…

cs.PF2008★ 3 cited

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Benoît Delahaye, Benoît Caillaud

In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the c…

cs.DC2008

Distributed Management of Massive Data: an Efficient Fine-Grain Data Access Scheme

Bogdan Nicolae, Gabriel Antoniu, Luc Bougé

This paper addresses the problem of efficiently storing and accessing massive data blocks in a large-scale distributed environment, while providing efficient fine-grain access to d…