Publications associées à Extensible Markup Language

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory saf ...

Ieee Computer Soc2024

ms3: A parser for MuseScore files, serving as data factory for annotated music corpora

Martin Alois Rohrmeier, Johannes Hentschel

The Python library ms3 makes scores (symbolic representations of music) operational for computational approaches by representing their contents as sets of tabular files. Music scores represent relations between sounding events by graphical means. The Free ...

2023

A Virtual Simulation-Pilot Agent for Training of Air Traffic Controllers

Petr Motlicek, Juan Pablo Zuluaga Gomez, Amrutha Prasad

In this paper we propose a novel virtual simulation-pilot engine for speeding up air traffic controller (ATCo) training by integrating different state-of-the-art artificial intelligence (AI)-based tools. The virtual simulation-pilot engine receives spoken ...

MDPI2023

HIPE-2022 Shared Task Named Entity Datasets

Maud Ehrmann, Matteo Romanello

HIPE-2022 datasets used for the HIPE 2022 shared task on named entity recognition and classification (NERC) and entity linking (EL) in multilingual historical documents. HIPE-2022 datasets are based on six primary datasets assembled and prepared for the sh ...

2022

Fully dynamic bin packing revisited

Kim-Manuel Klein, Klaus Jansen

We consider the fully dynamic bin packing problem, where items arrive and depart in an online fashion and repacking of previously packed items is allowed. The goal is, of course, to minimize both the number of bins used as well as the amount of repacking. ...

SPRINGER HEIDELBERG2020

Bootstrapping Uncertainty in Schema Covering

Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Chi Thang Duong

Schema covering is the process of representing large and complex schemas by easily comprehensible common objects. This task is done by identifying a set of common concepts from a repository called concept repository and generating a cover to describe the s ...

2018

Bootstrapping Uncertainty in Schema Covering

Thành Tâm Nguyên, Chi Thang Duong

Schema covering is the process of representing large and complex schemas by easily comprehensible common objects. This task is done by identifying a set of common concepts from a repository called concept repository and generating a cover to describe the s ...

SPRINGER INTERNATIONAL PUBLISHING AG2018

Probabilistic Schema Covering

Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Chi Thang Duong

Schema covering is the process of representing large and complex schemas by easily comprehensible common objects. This task is done by identifying a set of common concepts from a repository called concept repository and generating a cover to describe the s ...

2017

A TASTY Alternative

Martin Odersky, Eugene Burmako, Dmytro Petrashko

This document proposes a new serialization format for typed syntax trees of Scala programs. It aims to be ● compact: All numbers and references are length encoded, trees are inlined by default but may be shared. ● lazy: Trees can be explored from the top, ...

2016

Caradoc: a pragmatic approach to PDF parsing and validation

PDF has become a de facto standard for exchanging electronic documents, for visualization as well as for printing. However, it has also become a common delivery channel for malware, and previous work has highlighted features that lead to security issues. I ...

Ieee2016

Extensible Markup Language

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

ms3: A parser for MuseScore files, serving as data factory for annotated music corpora

A Virtual Simulation-Pilot Agent for Training of Air Traffic Controllers

HIPE-2022 Shared Task Named Entity Datasets

Fully dynamic bin packing revisited

Bootstrapping Uncertainty in Schema Covering

Bootstrapping Uncertainty in Schema Covering

Probabilistic Schema Covering

A TASTY Alternative

Caradoc: a pragmatic approach to PDF parsing and validation

Graph Chatbot

Chattez avec Graph Search

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

ms3: A parser for MuseScore files, serving as data factory for annotated music corpora

Caradoc: a pragmatic approach to PDF parsing and validation

HIPE-2022 Shared Task Named Entity Datasets

Fully dynamic bin packing revisited

A Virtual Simulation-Pilot Agent for Training of Air Traffic Controllers

Bootstrapping Uncertainty in Schema Covering

Bootstrapping Uncertainty in Schema Covering

Probabilistic Schema Covering

A TASTY Alternative