138 citations
- Amazon (United States)US6 papers
- University of BristolGB3 papers
- University of OxfordGB3 papers
- Amazon (Germany)DE2 papers
- Universidad Politécnica de MadridES2 papers
- University of AmsterdamNL2 papers
- University of EdinburghGB2 papers
- University of SheffieldGB2 papers
- Aalto UniversityFI1 paper
- Allen InstituteUS1 paper
- Amsterdam University of the ArtsNL1 paper
- Bilkent UniversityTR1 paper
6 papers · 1 filter
Scalable Cross-lingual Document Similarity through Language-specific Concept Hierarchies
Carlos Badenes-Olmedo, Jose-Luis Redondo García, Oscar Corcho
With the ongoing growth in number of digital articles in a wider set of languages and the expanding use of different languages, we need annotation methods that enable browsing mult…
Efficient Clustering from Distributions over Topics
Carlos Badenes-Olmedo, Jose-Luis Redondo García, Oscar Corcho
There are many scenarios where we may want to find pairs of textually similar documents in a large corpus (e.g. a researcher doing literature review, or an R&D project manager anal…
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
In this paper we employ SMT solvers to soundly synthesise Lyapunov functions that assert the stability of a given dynamical model. The search for a Lyapunov function is framed as t…
CopyCat: Many-to-Many Fine-Grained Prosody Transfer for Neural Text-to-Speech
Sri Karlapati, Alexis Moinet, Arnaud Joly +3
Prosody Transfer (PT) is a technique that aims to use the prosody from a source audio as a reference while synthesising speech. Fine-grained PT aims at capturing prosodic aspects l…
SLIM: Scalable Linkage of Mobility Data
Fuat Basık, Hakan Ferhatosmanoğlu, Buğra Gedik
We present a scalable solution to link entities across mobility datasets using their spatio-temporal information. This is a fundamental problem in many applications such as linking…
Formal Synthesis of Lyapunov Neural Networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe +1
We propose an automatic and formally sound method for synthesising Lyapunov functions for the asymptotic stability of autonomous non-linear systems. Traditional methods are either…