Universität Potsdam

research

∙ 11/10/2019

Can Neural Image Captioning be Controlled via Forced Attention?

Learned dynamic weighting of the conditioning signal (attention) has bee...

Philipp Sadler, et al. ∙

research

∙ 08/05/2020

eclingo: A solver for Epistemic Logic Programs

We describe eclingo, a solver for epistemic logic programs under Gelfond...

Pedro Cabalar, et al. ∙

research

∙ 11/11/2019

ASP-Core-2 Input Language Format

Standardization of solver input languages has been a main driver for the...

Francesco Calimeri, et al. ∙

research

∙ 11/14/2017

Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks

This article presents the use of Answer Set Programming (ASP) to mine se...

Thomas Guyet, et al. ∙

research

∙ 11/21/2017

Domain Generalization by Marginal Transfer Learning

Domain generalization is the problem of assigning class labels to an unl...

Gilles Blanchard, et al. ∙

research

∙ 06/01/2017

Transfer Learning for Speech Recognition on a Budget

End-to-end training of automated speech recognition (ASR) systems requir...

Julius Kunze, et al. ∙

research

∙ 07/04/2017

Two-sample Hypothesis Testing for Inhomogeneous Random Graphs

The study of networks leads to a wide range of high dimensional inferenc...

Debarghya Ghoshdastidar, et al. ∙

research

∙ 06/22/2017

Compressive Statistical Learning with Random Feature Moments

We describe a general framework --compressive statistical learning-- for...

Rémi Gribonval, et al. ∙

research

∙ 03/16/2017

Adaptivity to Noise Parameters in Nonparametric Active Learning

This work addresses various open questions in the theory of active learn...

Andrea Locatelli, et al. ∙

research

∙ 03/12/2017

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

The ungrammatical sentence "The key to the cabinets are on the table" is...

Shravan Vasishth, et al. ∙

research

∙ 02/02/2017

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...

Shravan Vasishth, et al. ∙

research

∙ 11/12/2016

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

We investigate if kernel regularization methods can achieve minimax conv...

Gilles Blanchard, et al. ∙

research

∙ 10/24/2016

Parallelizing Spectral Algorithms for Kernel Learning

We consider a distributed learning approach in supervised learning for a...

Gilles Blanchard, et al. ∙

research

∙ 07/08/2016

Convergence rates of Kernel Conjugate Gradient for random design regression

We prove statistical rates of convergence for kernel-based least squares...

Gilles Blanchard, et al. ∙

research

∙ 05/29/2016

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...

Alexandra Carpentier, et al. ∙

research

∙ 04/14/2016

Optimal Rates For Regularization Of Statistical Inverse Learning Problems

We consider a statistical inverse learning problem, where we observe the...

Gilles Blanchard, et al. ∙

research

∙ 07/28/2013

ROSoClingo: A ROS package for ASP-based robot control

Knowledge representation and reasoning capacities are vital to cognitive...

Benjamin Andres, et al. ∙

research

∙ 08/28/2015

Varying-coefficient models with isotropic Gaussian process priors

We study learning problems in which the conditional distribution of the ...

Matthias Bussas, et al. ∙

research

∙ 05/12/2015

Permutational Rademacher Complexity: a New Complexity Measure for Transductive Learning

Transductive learning considers situations when a learner observes m lab...

Ilya Tolstikhin, et al. ∙

research

∙ 11/26/2014

Localized Complexities for Transductive Learning

We show two novel concentration inequalities for suprema of empirical pr...

Ilya Tolstikhin, et al. ∙

research

∙ 07/18/2014

Extensions of stability selection using subsamples of observations and covariates

We introduce extensions of stability selection, a method to stabilise va...

Andre Beinrucker, et al. ∙

research

∙ 12/28/2010

On Elementary Loops of Logic Programs

Using the notion of an elementary loop, Gebser and Schaub refined the th...

Martin Gebser, et al. ∙

research

∙ 02/22/2013

Accelerated Linear SVM Training with Adaptive Variable Selection Frequencies

Support vector machine (SVM) training is an active research area since t...

Tobias Glasmachers, et al. ∙

research

∙ 07/19/2002

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...

David Pearce, et al. ∙

research

∙ 07/15/2002

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

We analyze the problem of defining well-founded semantics for ordered lo...

Torsten Schaub, et al. ∙

research

∙ 03/03/2011

The Local Rademacher Complexity of Lp-Norm Multiple Kernel Learning

We derive an upper bound on the local Rademacher complexity of ℓ_p-norm ...

Marius Kloft, et al. ∙

research

∙ 03/11/2000

A Consistency-Based Model for Belief Change: Preliminary Report

We present a general, consistency-based framework for belief change. Inf...

James Delgrande, et al. ∙

research

∙ 03/08/2000

Logic Programs with Compiled Preferences

We describe an approach for compiling preferences into logic programs un...

James P. Delgrande, et al. ∙

research

∙ 03/08/2000

A Compiler for Ordered Logic Programs

This paper describes a system, called PLP, for compiling ordered logic p...

James P. Delgrande, et al. ∙

research

∙ 03/14/2017

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

We present a computational evaluation of three hypotheses about sources ...

Paul Mätzig, et al. ∙

research

∙ 10/31/2016

Generating Sentiment Lexicons for German Twitter

Despite a substantial progress made in developing new sentiment lexicon ...

Uladzimir Sidarenka, et al. ∙

research

∙ 10/19/2017

Early stopping for statistical inverse problems via truncated SVD estimation

We consider truncated SVD (or spectral cut-off, projection) estimators f...

Gilles Blanchard, et al. ∙

research

∙ 03/05/2018

A Theorem Prover for Scientific and Educational Purposes

We present a prototype of an integrated reasoning environment for educat...

Mario Frank, et al. ∙

research

∙ 03/05/2018

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

We have developed an alternative approach to teaching computer science s...

Sebastian Böhne, et al. ∙

research

∙ 03/15/2018

Tracing sharing in an imperative pure calculus

We introduce a type and effect system, for an imperative object calculus...

Paola Giannini, et al. ∙

research

∙ 05/02/2018

Gaussian Process Forecast with multidimensional distributional entries

In this work, we propose to define Gaussian Processes indexed by multidi...

François Bachoc, et al. ∙

research

∙ 05/17/2018

Model-Driven Engineering of Self-Adaptive Software with EUREMA

The development of self-adaptive software requires the engineering of an...

Thomas Vogel, et al. ∙

research

∙ 05/17/2018

The Role of Models and Megamodels at Runtime

In model-driven software development a multitude of interrelated models ...

Thomas Vogel, et al. ∙

research

∙ 07/04/2018

Post hoc false positive control for spatially structured hypotheses

In a high dimensional multiple testing framework, we present new confide...

Guillermo Durand, et al. ∙

research

∙ 07/21/2018

On the Relevance of Blockchain in Identity Management

The ubiquitous application of emerging blockchain technology in numerous...

Andreas Grüner, et al. ∙

research

∙ 08/27/2018

Max-Min and Min-Max universally yield Gumbel

"A chain is only as strong as its weakest link" says the proverb. But wh...

Iddo Eliazar, et al. ∙

research

∙ 09/11/2018

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

In this work we introduce a novel approach of construction of multivaria...

Melf Boeckel, et al. ∙

research

∙ 09/21/2018

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

We study the problem of inferring readers' identities and estimating the...

Silvia Makowski, et al. ∙

research

∙ 09/30/2018

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

In a recent paper by Harrison et al., the concept of program completion ...

Vladimir Lifschitz, et al. ∙

research

∙ 10/05/2018

Hybrid Active Inference

We describe a framework of hybrid cognition by formulating a hybrid cogn...

André Ofner, et al. ∙

research

∙ 10/22/2018

A minimax near-optimal algorithm for adaptive rejection sampling

Rejection Sampling is a fundamental Monte-Carlo method. It is used to sa...

Juliette Achdou, et al. ∙

research

∙ 12/13/2018

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

Android apps cooperate through message passing via intents. However, whe...

Abhishek Tiwari, et al. ∙

research

∙ 01/02/2019

Statistical inference for Bures-Wasserstein barycenters

In this work we introduce the concept of Bures-Wasserstein barycenter Q_...

Alexey Kroshnin, et al. ∙

research

∙ 01/15/2019

Random Subgroups of Rationals

This paper introduces and studies a notion of algorithmic randomness for...

Ziyuan Gao, et al. ∙

research

∙ 01/18/2019

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

Several numerical tools designed to overcome the challenges of smoothing...

Jana de Wiljes, et al. ∙

Universität Potsdam

Featured Researchers