136 citations · 313 across the 25 of their papers we have counts for
27 papers
In a Streaming World, Should You Stand Still? A Comprehensive Benchmark of Anomaly Detection in Streams
Magali Parrino, Antoine Ajenjo, Emmanuel Remy +3
Time series anomaly detection (TSAD) is increasingly deployed in streaming settings, where data arrive sequentially and may exhibit non-stationarity. As a result, several works fro…
Descriptive Complexity in Lean: Completeness by First-Order Reductions
Pierre Senellart, Anton Gnatenko
We show that descriptive complexity can serve as a foundation for formalizing computational complexity results in a proof assistant, by constructing a Lean library centered around…
MSAD: A Deep Dive into Model Selection for Time series Anomaly Detection
Emmanouil Sylligardos, John Paparrizos, Themis Palpanas +2
Anomaly detection is a fundamental task for time series analytics with important implications for the downstream performance of many applications. Despite increasing academic inter…
Benchmarking Table Extraction from Heterogeneous Scientific PDF Documents
Marijan Soric, Cécile Gracianne, Ioana Manolescu +1
Table Extraction (TE) consists in extracting tables from PDF documents, in a structured format enabling automatic processing. While numerous TE tools exist, the variety of methods…
Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents (Extended Version)
Shrey Mishra, Antoine Gauquier, Pierre Senellart
We address the extraction of mathematical statements and their proofs from scholarly PDF articles as a multimodal classification problem, utilizing text, font features, and bitmap…
Confidential Truth Finding with Multi-Party Computation (Extended Version)
Angelo Saadeh, Pierre Senellart, Stéphane Bressan
Federated knowledge discovery and data mining are challenged to assess the trustworthiness of data originating from autonomous sources while protecting confidentiality and privacy.…