859 citations
- Technical University of DenmarkDK12 papers
- Centre National de la Recherche ScientifiqueFR11 papers
- University of CopenhagenDK10 papers
- University of ManchesterGB10 papers
- Deimos (Spain)ES9 papers
- University of StuttgartDE9 papers
- École Polytechnique Fédérale de LausanneCH8 papers
- Tokyo Institute of TechnologyJP8 papers
- EurocontrolFR7 papers
- University of OuluFI7 papers
- Aarhus UniversityDK6 papers
- Centre de Physique ThéoriqueFR6 papers
22 papers · 1 filter
Exploring Values in Museum Artifacts in the SPICE project: a Preliminary Study
Nele Kadastik, Thomas A. Pederson, Luis Emilio Bruni +5
This document describes the rationale, the implementation and a preliminary evaluation of a semantic reasoning tool developed in the EU H2020 SPICE project to enhance the diversity…
The Past, Present, and Future of Typological Databases in NLP
Emi Baylor, Esther Ploeger, Johannes Bjerva
Typological information has the potential to be beneficial in the development of NLP models, particularly for low-resource languages. Unfortunately, current large-scale typological…
On the Radio Stripe Deployment for Indoor RF Wireless Power Transfer
Amirhossein Azarbahram, Onel L. A. Lopez, Petar Popovski +1
One of the primary goals of future wireless systems is to foster sustainability, for which, radio frequency (RF) wireless power transfer (WPT) is considered a key technology enable…
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games
Martin Fränzle, Sarah Winter, Martin Zimmermann
We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the ex…
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen +5
We present CGAAL, our efficient on-the-fly model checker for alternating-time temporal logic (ATL) on concurrent game structures (CGS). We present how our tool encodes ATL as exten…
FairComp: Workshop on Fairness and Robustness in Machine Learning for Ubiquitous Computing
Sofia Yfantidou, Dimitris Spathis, Marios Constantinides +2
How can we ensure that Ubiquitous Computing (UbiComp) research outcomes are both ethical and fair? While fairness in machine learning (ML) has gained traction in recent years, fair…