
MultiAgent Pathfinding: Definitions, Variants, and Benchmarks
The MAPF problem is the fundamental problem of planning paths for multip...
read it

User Evaluation of a Multidimensional Statistical Dialogue System
We present the first complete spoken dialogue system driven by a multid...
read it

Intracranial Error Detection via Deep Learning
Deep learning techniques have revolutionized the field of machine learni...
read it

CUNI System for the WMT17 Multimodal Translation Task
In this paper, we describe our submissions to the WMT17 Multimodal Trans...
read it

Attention Strategies for MultiSource SequencetoSequence Learning
Modeling attention in neural multisource sequencetosequence learning ...
read it

Using CMAES for tuning coupled PID controllers within models of combustion engines
Proportional integral derivative (PID) controllers are important and wid...
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...
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...
read it

Using Behavior Objects to Manage Complexity in Virtual Worlds
The quality of highlevel AI of nonplayer characters (NPCs) in commerci...
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...
read it

Sparse Proteomics Analysis  A compressed sensingbased approach for feature selection and classification of highdimensional proteomics mass spectrometry data
Background: Highthroughput proteomics techniques, such as mass spectrom...
read it

Hermite interpolation by piecewise polynomial surfaces with polynomial area element
This paper is devoted to the construction of polynomial 2surfaces which...
read it

Paying Attention to MultiWord Expressions in Neural Machine Translation
Processing of multiword expressions (MWEs) is a known problem for any n...
read it

Smooth surface interpolation using patches with rational offsets
We present a new method for the interpolation of given data points and a...
read it

Hybrid Dialog State Tracker with ASR Features
This paper presents a hybrid dialog state tracker enhanced by trainable ...
read it

LanideNN: Multilingual Language Identification on Character Window
In language identification, a common first step in natural language proc...
read it

TargetSide Context for Discriminative Models in Statistical Machine Translation
Discriminative translation models utilizing source context have been sho...
read it

HUME: Human UCCABased Evaluation of Machine Translation
Human evaluation of machine translation normally uses sentencelevel mea...
read it

Recurrent Neural Networks for Dialogue State Tracking
This paper discusses models for dialogue state tracking using recurrent ...
read it

CUNI System for WMT16 Automatic PostEditing and Multimodal Translation Tasks
Neural sequence to sequence learning recently became a very promising pa...
read it

Data Collection for Interactive Learning through the Dialog
This paper presents a dataset collected from natural dialogs which enabl...
read it

Towards an Automated Requirementsdriven Development of Smart CyberPhysical Systems
The Invariant Refinement Method for Self Adaptation (IRMSA) is a design...
read it

Notes on complexity of packing coloring
A packing kcoloring for some integer k of a graph G=(V,E) is a mapping ...
read it

Group Connectivity: Z_4 v. Z_2^2
We answer a question on group connectivity suggested by Jaeger et al. [G...
read it

Optimal QuasiGray Codes: Does the Alphabet Matter?
A quasiGray code of dimension n and length ℓ over an alphabet Σ is a se...
read it

State spaces of convolutional codes, codings and encoders
In this paper we give a compact presentation of the theory of abstract s...
read it

A short proof of the middle levels theorem
Consider the graph that has as vertices all bitstrings of length 2n+1 wi...
read it

Conant's generalised metric spaces are Ramsey
We give Ramsey expansions of classes of generalised metric spaces where ...
read it

Tight Cell Probe Bounds for Succinct Boolean MatrixVector Multiplication
The conjectured hardness of Boolean matrixvector multiplication has bee...
read it

Empirical regression quantile process with possible application to risk analysis
The processes of the averaged regression quantiles and of their modifica...
read it

Counterexample to an extension of the HananiTutte theorem on the surface of genus 4
We find a graph of genus 5 and its drawing on the orientable surface of ...
read it

Applying Convex Integer Programming: Sum Multicoloring and Bounded Neighborhood Diversity
In the past 30 years, results regarding special classes of integer linea...
read it

Denotation Extraction for Interactive Learning in Dialogue Systems
This paper presents a novel task using real user data obtained in human...
read it

Characterizing subclasses of coverincomparability graphs by forbidden subposets
In this paper we demonstrate that several theorems from Bres and Bres3 d...
read it

Lower bounds for Combinatorial Algorithms for Boolean Matrix Multiplication
In this paper we propose models of combinatorial algorithms for the Bool...
read it

Graphindexed random walks on special classes of graphs
We investigate the paramater of the average range of MLipschitz mapping...
read it

Algorithmic aspects of graphindexed random walks
We study three problems regarding the so called graphindexed random wal...
read it

Edgedecomposing graphs into coprime forests
The BaratThomassen conjecture, recently proved in [Bensmail et al.: A p...
read it

Sorting by Swaps with Noisy Comparisons
We study sorting of permutations by random swaps if each comparison give...
read it

The Z_2genus of Kuratowski minors
A drawing of a graph on a surface is independently even if every pair of...
read it

Approximating MaxCut under GraphMSO Constraints
We consider the maxcut and maxkcut problems under graphbased constra...
read it

On the structure of matrices avoiding intervalminor patterns
We study the structure of 01matrices avoiding a pattern P as an interva...
read it

Training Tips for the Transformer Model
This article describes our experiments in neural machine translation usi...
read it

Edgesum distinguishing labeling
In this paper we study edgesum distinguishing labeling, a type of label...
read it

Controlling the Charging of Electric Vehicles with Neural Networks
We propose and evaluate controllers for the coordination of the charging...
read it

Algorithmic aspects of MLipschitz mappings of graphs
MLipschitz mappings of graphs (or equivalently graphindexed random wal...
read it

Extracting Parallel Paragraphs from Common Crawl
Most of the current methods for mining parallel texts from the web assum...
read it

Online Parallel Portfolio Selection with Heterogeneous Island Model
We present an online parallel portfolio selection algorithm based on the...
read it

SubGram: Extending Skipgram Word Representation with Substrings
Skipgram (word2vec) is a recent method for creating vector representati...
read it

Theoretical Model of Computation and Algorithms for FPGAbased Hardware Accelerators
While FPGAs have been used extensively as hardware accelerators in indus...
read it
Charles University in Prague
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.