Charles University in Prague

∙ Prague , Czech Republic ∙ 0 followers

Charles University, known also as Charles University in Prague or historically as the University of Prague, is the oldest and largest university in the Czech Republic.

Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks

The MAPF problem is the fundamental problem of planning paths for multip...
06/19/2019 ∙ by Roni Stern, et al. ∙ 5 ∙ share

read it
User Evaluation of a Multi-dimensional Statistical Dialogue System

We present the first complete spoken dialogue system driven by a multi-d...
09/06/2019 ∙ by Simon Keizer, et al. ∙ 4 ∙ share

read it
Intracranial Error Detection via Deep Learning

Deep learning techniques have revolutionized the field of machine learni...
05/04/2018 ∙ by Martin Völker, et al. ∙ 2 ∙ share

read it
CUNI System for the WMT17 Multimodal Translation Task

In this paper, we describe our submissions to the WMT17 Multimodal Trans...
07/14/2017 ∙ by Jindřich Helcl, et al. ∙ 0 ∙ share

read it
Attention Strategies for Multi-Source Sequence-to-Sequence Learning

Modeling attention in neural multi-source sequence-to-sequence learning ...
04/21/2017 ∙ by Jindřich Libovický, et al. ∙ 0 ∙ share

read it
Using CMA-ES for tuning coupled PID controllers within models of combustion engines

Proportional integral derivative (PID) controllers are important and wid...
09/21/2016 ∙ by Katerina Henclova, et al. ∙ 0 ∙ share

read it
Detecting Noteheads in Handwritten Scores with ConvNets and Bounding Box Regression

Noteheads are the interface between the written score and music. Each no...
08/05/2017 ∙ by Jan Hajič Jr., et al. ∙ 0 ∙ share

read it
In Search of a Dataset for Handwritten Optical Music Recognition: Introducing MUSCIMA++

Optical Music Recognition (OMR) has long been without an adequate datase...
03/14/2017 ∙ by Jan Hajič Jr., et al. ∙ 0 ∙ share

read it
Using Behavior Objects to Manage Complexity in Virtual Worlds

The quality of high-level AI of non-player characters (NPCs) in commerci...
08/03/2015 ∙ by Martin Černý, et al. ∙ 0 ∙ share

read it
Using Tabled Logic Programming to Solve the Petrobras Planning Problem

Tabling has been used for some time to improve efficiency of Prolog prog...
05/11/2014 ∙ by Roman Barták, et al. ∙ 0 ∙ share

read it
Sparse Proteomics Analysis - A compressed sensing-based approach for feature selection and classification of high-dimensional proteomics mass spectrometry data

Background: High-throughput proteomics techniques, such as mass spectrom...
06/11/2015 ∙ by Tim Conrad, et al. ∙ 0 ∙ share

read it
Hermite interpolation by piecewise polynomial surfaces with polynomial area element

This paper is devoted to the construction of polynomial 2-surfaces which...
09/17/2016 ∙ by Michal Bizzarri, et al. ∙ 0 ∙ share

read it
Paying Attention to Multi-Word Expressions in Neural Machine Translation

Processing of multi-word expressions (MWEs) is a known problem for any n...
10/17/2017 ∙ by Matīss Rikters, et al. ∙ 0 ∙ share

read it
Smooth surface interpolation using patches with rational offsets

We present a new method for the interpolation of given data points and a...
02/03/2016 ∙ by Miroslav Lávička, et al. ∙ 0 ∙ share

read it
Hybrid Dialog State Tracker with ASR Features

This paper presents a hybrid dialog state tracker enhanced by trainable ...
02/21/2017 ∙ by Miroslav Vodolán, et al. ∙ 0 ∙ share

read it
LanideNN: Multilingual Language Identification on Character Window

In language identification, a common first step in natural language proc...
01/12/2017 ∙ by Tom Kocmi, et al. ∙ 0 ∙ share

read it
Target-Side Context for Discriminative Models in Statistical Machine Translation

Discriminative translation models utilizing source context have been sho...
07/05/2016 ∙ by Aleš Tamchyna, et al. ∙ 0 ∙ share

read it
HUME: Human UCCA-Based Evaluation of Machine Translation

Human evaluation of machine translation normally uses sentence-level mea...
06/30/2016 ∙ by Alexandra Birch, et al. ∙ 0 ∙ share

read it
Recurrent Neural Networks for Dialogue State Tracking

This paper discusses models for dialogue state tracking using recurrent ...
06/28/2016 ∙ by Ondřej Plátek, et al. ∙ 0 ∙ share

read it
CUNI System for WMT16 Automatic Post-Editing and Multimodal Translation Tasks

Neural sequence to sequence learning recently became a very promising pa...
06/23/2016 ∙ by Jindřich Libovický, et al. ∙ 0 ∙ share

read it
Data Collection for Interactive Learning through the Dialog

This paper presents a dataset collected from natural dialogs which enabl...
03/31/2016 ∙ by Miroslav Vodolán, et al. ∙ 0 ∙ share

read it
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design...
03/29/2016 ∙ by Jiri Vinarek, et al. ∙ 0 ∙ share

read it
Notes on complexity of packing coloring

A packing k-coloring for some integer k of a graph G=(V,E) is a mapping ...
12/22/2017 ∙ by Minki Kim, et al. ∙ 0 ∙ share

read it
Group Connectivity: Z_4 v. Z_2^2

We answer a question on group connectivity suggested by Jaeger et al. [G...
11/10/2017 ∙ by Radek Hušek, et al. ∙ 0 ∙ share

read it
Optimal Quasi-Gray Codes: Does the Alphabet Matter?

A quasi-Gray code of dimension n and length ℓ over an alphabet Σ is a se...
12/05/2017 ∙ by Diptarka Chakraborty, et al. ∙ 0 ∙ share

read it
State spaces of convolutional codes, codings and encoders

In this paper we give a compact presentation of the theory of abstract s...
12/05/2017 ∙ by Štěpán Holub, et al. ∙ 0 ∙ share

read it
A short proof of the middle levels theorem

Consider the graph that has as vertices all bitstrings of length 2n+1 wi...
10/23/2017 ∙ by Petr Gregor, et al. ∙ 0 ∙ share

read it
Conant's generalised metric spaces are Ramsey

We give Ramsey expansions of classes of generalised metric spaces where ...
10/12/2017 ∙ by Jan Hubička, et al. ∙ 0 ∙ share

read it
Tight Cell Probe Bounds for Succinct Boolean Matrix-Vector Multiplication

The conjectured hardness of Boolean matrix-vector multiplication has bee...
11/13/2017 ∙ by Diptarka Chakraborty, et al. ∙ 0 ∙ share

read it
Empirical regression quantile process with possible application to risk analysis

The processes of the averaged regression quantiles and of their modifica...
10/18/2017 ∙ by Jana Jurečková, et al. ∙ 0 ∙ share

read it
Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4

We find a graph of genus 5 and its drawing on the orientable surface of ...
09/01/2017 ∙ by Radoslav Fulek, et al. ∙ 0 ∙ share

read it
Applying Convex Integer Programming: Sum Multicoloring and Bounded Neighborhood Diversity

In the past 30 years, results regarding special classes of integer linea...
11/06/2017 ∙ by Tomáš Gavenčiak, et al. ∙ 0 ∙ share

read it
Denotation Extraction for Interactive Learning in Dialogue Systems

This paper presents a novel task using real user data obtained in human-...
01/09/2018 ∙ by Miroslav Vodolán, et al. ∙ 0 ∙ share

read it
Characterizing subclasses of cover-incomparability graphs by forbidden subposets

In this paper we demonstrate that several theorems from Bres and Bres3 d...
01/10/2018 ∙ by Jan Bok, et al. ∙ 0 ∙ share

read it
Lower bounds for Combinatorial Algorithms for Boolean Matrix Multiplication

In this paper we propose models of combinatorial algorithms for the Bool...
01/16/2018 ∙ by Debarati Das, et al. ∙ 0 ∙ share

read it
Graph-indexed random walks on special classes of graphs

We investigate the paramater of the average range of M-Lipschitz mapping...
01/16/2018 ∙ by Jan Bok, et al. ∙ 0 ∙ share

read it
Algorithmic aspects of graph-indexed random walks

We study three problems regarding the so called graph-indexed random wal...
01/16/2018 ∙ by Jan Bok, et al. ∙ 0 ∙ share

read it
Edge-decomposing graphs into coprime forests

The Barat-Thomassen conjecture, recently proved in [Bensmail et al.: A p...
03/09/2018 ∙ by Tereza Klimošová, et al. ∙ 0 ∙ share

read it
Sorting by Swaps with Noisy Comparisons

We study sorting of permutations by random swaps if each comparison give...
03/12/2018 ∙ by Tomáš Gavenčiak, et al. ∙ 0 ∙ share

read it
The Z_2-genus of Kuratowski minors

A drawing of a graph on a surface is independently even if every pair of...
03/14/2018 ∙ by Radoslav Fulek, et al. ∙ 0 ∙ share

read it
Approximating Max-Cut under Graph-MSO Constraints

We consider the max-cut and max-k-cut problems under graph-based constra...
03/15/2018 ∙ by Martin Koutecký, et al. ∙ 0 ∙ share

read it
On the structure of matrices avoiding interval-minor patterns

We study the structure of 01-matrices avoiding a pattern P as an interva...
03/23/2018 ∙ by Vít Jelínek, et al. ∙ 0 ∙ share

read it
Training Tips for the Transformer Model

This article describes our experiments in neural machine translation usi...
04/01/2018 ∙ by Martin Popel, et al. ∙ 0 ∙ share

read it
Edge-sum distinguishing labeling

In this paper we study edge-sum distinguishing labeling, a type of label...
04/15/2018 ∙ by Jan Bok, et al. ∙ 0 ∙ share

read it
Controlling the Charging of Electric Vehicles with Neural Networks

We propose and evaluate controllers for the coordination of the charging...
04/16/2018 ∙ by Martin Pilát, et al. ∙ 0 ∙ share

read it
Algorithmic aspects of M-Lipschitz mappings of graphs

M-Lipschitz mappings of graphs (or equivalently graph-indexed random wal...
01/16/2018 ∙ by Jan Bok, et al. ∙ 0 ∙ share

read it
Extracting Parallel Paragraphs from Common Crawl

Most of the current methods for mining parallel texts from the web assum...
04/27/2018 ∙ by Jakub Kúdela, et al. ∙ 0 ∙ share

read it
Online Parallel Portfolio Selection with Heterogeneous Island Model

We present an online parallel portfolio selection algorithm based on the...
06/12/2018 ∙ by Štěpán Balcar, et al. ∙ 0 ∙ share

read it
SubGram: Extending Skip-gram Word Representation with Substrings

Skip-gram (word2vec) is a recent method for creating vector representati...
06/18/2018 ∙ by Tom Kocmi, et al. ∙ 0 ∙ share

read it
Theoretical Model of Computation and Algorithms for FPGA-based Hardware Accelerators

While FPGAs have been used extensively as hardware accelerators in indus...
07/10/2018 ∙ by Martin Hora, et al. ∙ 0 ∙ share

read it

Charles University in Prague

Featured Researchers