Universität Bremen

∙ Bremen , Germany ∙ 0 followers

The University of Bremen is a public university in Bremen, Germany, with approximately 23,500 people from 115 countries.

Invertible Residual Networks

Reversible deep networks provide useful theoretical guarantees and have ...
11/02/2018 ∙ by Jens Behrmann, et al. ∙ 16 ∙ share

read it
Regularization by architecture: A deep prior approach for inverse problems

The present paper studies the so called deep image prior (DIP) technique...
12/10/2018 ∙ by Sören Dittmer, et al. ∙ 12 ∙ share

read it
A Survey on Surrogate Approaches to Non-negative Matrix Factorization

Motivated by applications in hyperspectral imaging we investigate method...
08/06/2018 ∙ by Pascal Fernsel, et al. ∙ 10 ∙ share

read it
A Projectional Ansatz to Reconstruction

Recently the field of inverse problems has seen a growing usage of mathe...
07/10/2019 ∙ by Sören Dittmer, et al. ∙ 7 ∙ share

read it
Residual Flows for Invertible Generative Modeling

Flow-based generative models parameterize probability distributions thro...
06/06/2019 ∙ by Ricky T. Q. Chen, et al. ∙ 2 ∙ share

read it
Rational coordination with no communication or conventions

We study pure coordination games where in every outcome, all players hav...
06/22/2017 ∙ by Valentin Goranko, et al. ∙ 0 ∙ share

read it
Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

This article aims to achieve two goals: to show that probability is not ...
01/18/2017 ∙ by Tarek R. Besold, et al. ∙ 0 ∙ share

read it
The Data Complexity of Description Logic Ontologies

We analyze the data complexity of ontology-mediated querying where the o...
11/08/2016 ∙ by Carsten Lutz, et al. ∙ 0 ∙ share

read it
Relating Strong Spatial Cognition to Symbolic Problem Solving --- An Example

In this note, we discuss and analyse a shortest path finding approach us...
06/14/2016 ∙ by Ulrich Furbach, et al. ∙ 0 ∙ share

read it
On the uniform one-dimensional fragment

The uniform one-dimensional fragment of first-order logic, U1, is a rece...
04/06/2016 ∙ by Antti Kuusisto, et al. ∙ 0 ∙ share

read it
Formalizing Preference Utilitarianism in Physical World Models

Most ethical work is done at a low level of formality. This makes practi...
04/21/2015 ∙ by Caspar Oesterheld, et al. ∙ 0 ∙ share

read it
Reasoning about Unmodelled Concepts - Incorporating Class Taxonomies in Probabilistic Relational Models

A key problem in the application of first-order probabilistic methods is...
04/21/2015 ∙ by Daniel Nyga, et al. ∙ 0 ∙ share

read it
An exact and two heuristic strategies for truthful bidding in combinatorial transport auctions

To support a freight carrier in a combinatorial transport auction, we pr...
06/07/2014 ∙ by Tobias Buer, et al. ∙ 0 ∙ share

read it
Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction

We present an epistemic action theory for tractable epistemic reasoning ...
03/01/2014 ∙ by Manfred Eppe, et al. ∙ 0 ∙ share

read it
Active Contextual Entropy Search

Contextual policy search allows adapting robotic movement primitives to ...
11/13/2015 ∙ by Jan-Hendrik Metzen, et al. ∙ 0 ∙ share

read it
Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuo-spatial cognition and computation focussed collaborative cognitiv

What lies between `sensing' and `sensibility'? In other words, what kind...
07/11/2013 ∙ by Mehul Bhatt, et al. ∙ 0 ∙ share

read it
Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems

The modelling, analysis, and visualisation of dynamic geospatial phenome...
07/09/2013 ∙ by Mehul Bhatt, et al. ∙ 0 ∙ share

read it
Cognitive Interpretation of Everyday Activities: Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation

We position a narrative-centred computational model for high-level knowl...
06/22/2013 ∙ by Mehul Bhatt, et al. ∙ 0 ∙ share

read it
Narrative based Postdictive Reasoning for Cognitive Robotics

Making sense of incomplete and conflicting narrative knowledge in the pr...
06/04/2013 ∙ by Manfred Eppe, et al. ∙ 0 ∙ share

read it
Algebraic Properties of Qualitative Spatio-Temporal Calculi

Qualitative spatial and temporal reasoning is based on so-called qualita...
05/31/2013 ∙ by Frank Dylla, et al. ∙ 0 ∙ share

read it
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL) is currently being standardized ...
08/01/2012 ∙ by Christoph Lange, et al. ∙ 0 ∙ share

read it
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

Extracting a subset of a given OWL ontology that captures all the ontolo...
07/06/2012 ∙ by Chiara Del Vescovo, et al. ∙ 0 ∙ share

read it
A collaborative ant colony metaheuristic for distributed multi-level lot-sizing

The paper presents an ant colony optimization metaheuristic for collabor...
04/02/2012 ∙ by Tobias Buer, et al. ∙ 0 ∙ share

read it
A Pareto-metaheuristic for a bi-objective winner determination problem in a combinatorial reverse auction

The bi-objective winner determination problem (2WDP-SC) of a combinatori...
01/20/2012 ∙ by Tobias Buer, et al. ∙ 0 ∙ share

read it
Shearlet-Based Detection of Flame Fronts

Identifying and characterizing flame fronts is the most common task in t...
11/12/2015 ∙ by Rafael Reisenhofer, et al. ∙ 0 ∙ share

read it
Image sequence interpolation using optimal control

The problem of the generation of an intermediate image between two given...
08/03/2010 ∙ by Kanglin Chen, et al. ∙ 0 ∙ share

read it
Multiple Context-Free Tree Grammars: Lexicalization and Characterization

Multiple (simple) context-free tree grammars are investigated, where "si...
07/11/2017 ∙ by Joost Engelfriet, et al. ∙ 0 ∙ share

read it
Cost-Optimal Operation of Energy Storage Units: Impact of Uncertainties and Robust Estimator

The rapid expansion of wind and solar energy leads to an increasing vola...
11/03/2017 ∙ by Lars Siemer, et al. ∙ 0 ∙ share

read it
Symmetric Synthesis

We study the problem of determining whether a given temporal specificati...
10/16/2017 ∙ by Ruediger Ehlers, et al. ∙ 0 ∙ share

read it
When the Optimum is also Blind: a New Perspective on Universal Optimization

Consider the following variant of the set cover problem. We are given a ...
07/06/2017 ∙ by Marek Adamczyk, et al. ∙ 0 ∙ share

read it
Measuring, Understanding, and Classifying News Media Sympathy on Twitter after Crisis Events

This paper investigates bias in coverage between Western and Arab media ...
01/16/2018 ∙ by Abdallah El Ali, et al. ∙ 0 ∙ share

read it
Are There Functionally Similar Code Clones in Practice?

Having similar code fragments, also called clones, in software systems c...
03/28/2018 ∙ by Verena Käfer, et al. ∙ 0 ∙ share

read it
A PTAS for Euclidean TSP with Hyperplane Neighborhoods

In the Traveling Salesperson Problem with Neighborhoods (TSPN), we are g...
04/11/2018 ∙ by Antonios Antoniadis, et al. ∙ 0 ∙ share

read it
Optimization Strategies for Real-Time Control of an Autonomous Melting Probe

We present an optimization-based approach for trajectory planning and co...
04/17/2018 ∙ by Christian Meerpohl, et al. ∙ 0 ∙ share

read it
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

We study the complexity of ontology-mediated querying when ontologies ar...
04/18/2018 ∙ by Andre Hernich, et al. ∙ 0 ∙ share

read it
Revisiting Decision Diagrams for SAT

Symbolic variants of clause distribution using decision diagrams to elim...
05/09/2018 ∙ by Tom van Dijk, et al. ∙ 0 ∙ share

read it
Musical Instrument Separation on Shift-Invariant Spectrograms via Stochastic Dictionary Learning

We propose a method for the blind separation of audio signals from music...
06/01/2018 ∙ by Sören Schulze, et al. ∙ 0 ∙ share

read it
Markov Logic Networks with Statistical Quantifiers

Markov Logic Networks (MLNs) are well-suited for expressing statistics s...
07/03/2018 ∙ by Víctor Gutiérrez-Basulto, et al. ∙ 0 ∙ share

read it
Fast Witness Counting

We study the witness-counting problem: given a set of vectors V in the d...
07/16/2018 ∙ by Peter Chini, et al. ∙ 0 ∙ share

read it
Quantified Markov Logic Networks

Markov Logic Networks (MLNs) are well-suited for expressing statistics s...
07/03/2018 ∙ by Víctor Gutiérrez-Basulto, et al. ∙ 0 ∙ share

read it
Comparison of U-net-based Convolutional Neural Networks for Liver Segmentation in CT

Various approaches for liver segmentation in CT have been proposed: Besi...
10/09/2018 ∙ by Hans Meine, et al. ∙ 0 ∙ share

read it
Optimal Algorithms for Scheduling under Time-of-Use Tariffs

We consider a natural generalization of classical scheduling problems in...
11/30/2018 ∙ by Lin Chen, et al. ∙ 0 ∙ share

read it
Towards Plan Transformations for Real-World Pick and Place Tasks

In this paper, we investigate the possibility of applying plan transform...
12/19/2018 ∙ by Gayane Kazhoyan, et al. ∙ 0 ∙ share

read it
Specializing Underdetermined Action Descriptions Through Plan Projection

Plan execution on real robots in realistic environments is underdetermin...
12/19/2018 ∙ by Gayane Kazhoyan, et al. ∙ 0 ∙ share

read it
Non-parametric Archimedean generator estimation with implications for multiple testing

In multiple testing, the family-wise error rate can be bounded under som...
03/27/2019 ∙ by André Neumann, et al. ∙ 0 ∙ share

read it
Amortized Object and Scene Perception for Long-term Robot Manipulation

Mobile robots, performing long-term manipulation activities in human env...
03/28/2019 ∙ by Ferenc Balint-Benczedi, et al. ∙ 0 ∙ share

read it
Pharos: improving navigation instructions on smartwatches by including global landmarks

Landmark-based navigation systems have proven benefits relative to tradi...
04/02/2019 ∙ by N. Wenig, et al. ∙ 0 ∙ share

read it
Model Comparison Games for Horn Description Logics

Horn description logics are syntactically defined fragments of standard ...
04/15/2019 ∙ by Jean Christoph Jung, et al. ∙ 0 ∙ share

read it
On the Connection Between Adversarial Robustness and Saliency Map Interpretability

Recent studies on the adversarial vulnerability of neural networks have ...
05/10/2019 ∙ by Christian Etmann, et al. ∙ 0 ∙ share

read it
A JIT Compiler for Neural Network Inference

This paper describes a C++ library that compiles neural network models a...
06/13/2019 ∙ by Felix Thielke, et al. ∙ 0 ∙ share

read it

Universität Bremen

Featured Researchers