Universität Potsdam

∙ Potsdam , Germany ∙ 0 followers

Where knowledge grows: The University of Potsdam scores with a special variety of study opportunities and a distinct interdisciplinary research profile.

Can Neural Image Captioning be Controlled via Forced Attention?

Learned dynamic weighting of the conditioning signal (attention) has bee...
11/10/2019 ∙ by Philipp Sadler, et al. ∙ 36 ∙ share

read it
eclingo: A solver for Epistemic Logic Programs

We describe eclingo, a solver for epistemic logic programs under Gelfond...
08/05/2020 ∙ by Pedro Cabalar, et al. ∙ 9 ∙ share

read it
ASP-Core-2 Input Language Format

Standardization of solver input languages has been a main driver for the...
11/11/2019 ∙ by Francesco Calimeri, et al. ∙ 5 ∙ share

read it
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks

This article presents the use of Answer Set Programming (ASP) to mine se...
11/14/2017 ∙ by Thomas Guyet, et al. ∙ 0 ∙ share

read it
Domain Generalization by Marginal Transfer Learning

Domain generalization is the problem of assigning class labels to an unl...
11/21/2017 ∙ by Gilles Blanchard, et al. ∙ 0 ∙ share

read it
Transfer Learning for Speech Recognition on a Budget

End-to-end training of automated speech recognition (ASR) systems requir...
06/01/2017 ∙ by Julius Kunze, et al. ∙ 0 ∙ share

read it
Two-sample Hypothesis Testing for Inhomogeneous Random Graphs

The study of networks leads to a wide range of high dimensional inferenc...
07/04/2017 ∙ by Debarghya Ghoshdastidar, et al. ∙ 0 ∙ share

read it
Compressive Statistical Learning with Random Feature Moments

We describe a general framework --compressive statistical learning-- for...
06/22/2017 ∙ by Rémi Gribonval, et al. ∙ 0 ∙ share

read it
Adaptivity to Noise Parameters in Nonparametric Active Learning

This work addresses various open questions in the theory of active learn...
03/16/2017 ∙ by Andrea Locatelli, et al. ∙ 0 ∙ share

read it
Feature overwriting as a finite mixture process: Evidence from comprehension data

The ungrammatical sentence "The key to the cabinets are on the table" is...
03/12/2017 ∙ by Shravan Vasishth, et al. ∙ 0 ∙ share

read it
Modelling dependency completion in sentence comprehension as a Bayesian hierarchical mixture process: A case study involving Chinese relative clauses

We present a case-study demonstrating the usefulness of Bayesian hierarc...
02/02/2017 ∙ by Shravan Vasishth, et al. ∙ 0 ∙ share

read it
Kernel regression, minimax rates and effective dimensionality: beyond the regular case

We investigate if kernel regularization methods can achieve minimax conv...
11/12/2016 ∙ by Gilles Blanchard, et al. ∙ 0 ∙ share

read it
Parallelizing Spectral Algorithms for Kernel Learning

We consider a distributed learning approach in supervised learning for a...
10/24/2016 ∙ by Gilles Blanchard, et al. ∙ 0 ∙ share

read it
Convergence rates of Kernel Conjugate Gradient for random design regression

We prove statistical rates of convergence for kernel-based least squares...
07/08/2016 ∙ by Gilles Blanchard, et al. ∙ 0 ∙ share

read it
Tight (Lower) Bounds for the Fixed Budget Best Arm Identification Bandit Problem

We consider the problem of best arm identification with a fixed budget T...
05/29/2016 ∙ by Alexandra Carpentier, et al. ∙ 0 ∙ share

read it
Optimal Rates For Regularization Of Statistical Inverse Learning Problems

We consider a statistical inverse learning problem, where we observe the...
04/14/2016 ∙ by Gilles Blanchard, et al. ∙ 0 ∙ share

read it
ROSoClingo: A ROS package for ASP-based robot control

Knowledge representation and reasoning capacities are vital to cognitive...
07/28/2013 ∙ by Benjamin Andres, et al. ∙ 0 ∙ share

read it
Varying-coefficient models with isotropic Gaussian process priors

We study learning problems in which the conditional distribution of the ...
08/28/2015 ∙ by Matthias Bussas, et al. ∙ 0 ∙ share

read it
Permutational Rademacher Complexity: a New Complexity Measure for Transductive Learning

Transductive learning considers situations when a learner observes m lab...
05/12/2015 ∙ by Ilya Tolstikhin, et al. ∙ 0 ∙ share

read it
Localized Complexities for Transductive Learning

We show two novel concentration inequalities for suprema of empirical pr...
11/26/2014 ∙ by Ilya Tolstikhin, et al. ∙ 0 ∙ share

read it
Extensions of stability selection using subsamples of observations and covariates

We introduce extensions of stability selection, a method to stabilise va...
07/18/2014 ∙ by Andre Beinrucker, et al. ∙ 0 ∙ share

read it
On Elementary Loops of Logic Programs

Using the notion of an elementary loop, Gebser and Schaub refined the th...
12/28/2010 ∙ by Martin Gebser, et al. ∙ 0 ∙ share

read it
Accelerated Linear SVM Training with Adaptive Variable Selection Frequencies

Support vector machine (SVM) training is an active research area since t...
02/22/2013 ∙ by Tobias Glasmachers, et al. ∙ 0 ∙ share

read it
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report

Nested logic programs have recently been introduced in order to allow fo...
07/19/2002 ∙ by David Pearce, et al. ∙ 0 ∙ share

read it
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report

We analyze the problem of defining well-founded semantics for ordered lo...
07/15/2002 ∙ by Torsten Schaub, et al. ∙ 0 ∙ share

read it
The Local Rademacher Complexity of Lp-Norm Multiple Kernel Learning

We derive an upper bound on the local Rademacher complexity of ℓ_p-norm ...
03/03/2011 ∙ by Marius Kloft, et al. ∙ 0 ∙ share

read it
A Consistency-Based Model for Belief Change: Preliminary Report

We present a general, consistency-based framework for belief change. Inf...
03/11/2000 ∙ by James Delgrande, et al. ∙ 0 ∙ share

read it
Logic Programs with Compiled Preferences

We describe an approach for compiling preferences into logic programs un...
03/08/2000 ∙ by James P. Delgrande, et al. ∙ 0 ∙ share

read it
A Compiler for Ordered Logic Programs

This paper describes a system, called PLP, for compiling ordered logic p...
03/08/2000 ∙ by James P. Delgrande, et al. ∙ 0 ∙ share

read it
A computational investigation of sources of variability in sentence comprehension difficulty in aphasia

We present a computational evaluation of three hypotheses about sources ...
03/14/2017 ∙ by Paul Mätzig, et al. ∙ 0 ∙ share

read it
Generating Sentiment Lexicons for German Twitter

Despite a substantial progress made in developing new sentiment lexicon ...
10/31/2016 ∙ by Uladzimir Sidarenka, et al. ∙ 0 ∙ share

read it
Early stopping for statistical inverse problems via truncated SVD estimation

We consider truncated SVD (or spectral cut-off, projection) estimators f...
10/19/2017 ∙ by Gilles Blanchard, et al. ∙ 0 ∙ share

read it
A Theorem Prover for Scientific and Educational Purposes

We present a prototype of an integrated reasoning environment for educat...
03/05/2018 ∙ by Mario Frank, et al. ∙ 0 ∙ share

read it
Learning how to Prove: From the Coq Proof Assistant to Textbook Style

We have developed an alternative approach to teaching computer science s...
03/05/2018 ∙ by Sebastian Böhne, et al. ∙ 0 ∙ share

read it
Tracing sharing in an imperative pure calculus

We introduce a type and effect system, for an imperative object calculus...
03/15/2018 ∙ by Paola Giannini, et al. ∙ 0 ∙ share

read it
Gaussian Process Forecast with multidimensional distributional entries

In this work, we propose to define Gaussian Processes indexed by multidi...
05/02/2018 ∙ by François Bachoc, et al. ∙ 0 ∙ share

read it
Model-Driven Engineering of Self-Adaptive Software with EUREMA

The development of self-adaptive software requires the engineering of an...
05/17/2018 ∙ by Thomas Vogel, et al. ∙ 0 ∙ share

read it
The Role of Models and Megamodels at Runtime

In model-driven software development a multitude of interrelated models ...
05/17/2018 ∙ by Thomas Vogel, et al. ∙ 0 ∙ share

read it
Post hoc false positive control for spatially structured hypotheses

In a high dimensional multiple testing framework, we present new confide...
07/04/2018 ∙ by Guillermo Durand, et al. ∙ 0 ∙ share

read it
On the Relevance of Blockchain in Identity Management

The ubiquitous application of emerging blockchain technology in numerous...
07/21/2018 ∙ by Andreas Grüner, et al. ∙ 0 ∙ share

read it
Max-Min and Min-Max universally yield Gumbel

"A chain is only as strong as its weakest link" says the proverb. But wh...
08/27/2018 ∙ by Iddo Eliazar, et al. ∙ 0 ∙ share

read it
Multivariate Brenier cumulative distribution functions and their application to non-parametric testing

In this work we introduce a novel approach of construction of multivaria...
09/11/2018 ∙ by Melf Boeckel, et al. ∙ 0 ∙ share

read it
A Discriminative Model for Identifying Readers and Assessing Text Comprehension from Eye Movements

We study the problem of inferring readers' identities and estimating the...
09/21/2018 ∙ by Silvia Makowski, et al. ∙ 0 ∙ share

read it
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)

In a recent paper by Harrison et al., the concept of program completion ...
09/30/2018 ∙ by Vladimir Lifschitz, et al. ∙ 0 ∙ share

read it
Hybrid Active Inference

We describe a framework of hybrid cognition by formulating a hybrid cogn...
10/05/2018 ∙ by André Ofner, et al. ∙ 0 ∙ share

read it
A minimax near-optimal algorithm for adaptive rejection sampling

Rejection Sampling is a fundamental Monte-Carlo method. It is used to sa...
10/22/2018 ∙ by Juliette Achdou, et al. ∙ 0 ∙ share

read it
IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications

Android apps cooperate through message passing via intents. However, whe...
12/13/2018 ∙ by Abhishek Tiwari, et al. ∙ 0 ∙ share

read it
Statistical inference for Bures-Wasserstein barycenters

In this work we introduce the concept of Bures-Wasserstein barycenter Q_...
01/02/2019 ∙ by Alexey Kroshnin, et al. ∙ 0 ∙ share

read it
Random Subgroups of Rationals

This paper introduces and studies a notion of algorithmic randomness for...
01/15/2019 ∙ by Ziyuan Gao, et al. ∙ 0 ∙ share

read it
Algorithms for high-dimensional non-linear filtering and smoothing problems

Several numerical tools designed to overcome the challenges of smoothing...
01/18/2019 ∙ by Jana de Wiljes, et al. ∙ 0 ∙ share

read it

Universität Potsdam

Featured Researchers