Universität Bremen

research

∙ 11/02/2018

Invertible Residual Networks

Reversible deep networks provide useful theoretical guarantees and have ...

Jens Behrmann, et al. ∙

research

∙ 12/10/2018

Regularization by architecture: A deep prior approach for inverse problems

The present paper studies the so called deep image prior (DIP) technique...

Sören Dittmer, et al. ∙

research

∙ 08/06/2018

A Survey on Surrogate Approaches to Non-negative Matrix Factorization

Motivated by applications in hyperspectral imaging we investigate method...

Pascal Fernsel, et al. ∙

research

∙ 07/10/2019

A Projectional Ansatz to Reconstruction

Recently the field of inverse problems has seen a growing usage of mathe...

Sören Dittmer, et al. ∙

research

∙ 06/06/2019

Residual Flows for Invertible Generative Modeling

Flow-based generative models parameterize probability distributions thro...

Ricky T. Q. Chen, et al. ∙

research

∙ 09/28/2021

The VVAD-LRS3 Dataset for Visual Voice Activity Detection

Robots are becoming everyday devices, increasing their interaction with ...

Adrian Lubitz, et al. ∙

research

∙ 06/22/2017

Rational coordination with no communication or conventions

We study pure coordination games where in every outcome, all players hav...

Valentin Goranko, et al. ∙

research

∙ 01/18/2017

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

Tarek R. Besold, et al. ∙

research

∙ 11/08/2016

The Data Complexity of Description Logic Ontologies

We analyze the data complexity of ontology-mediated querying where the o...

Carsten Lutz, et al. ∙

research

∙ 06/14/2016

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

In this note, we discuss and analyse a shortest path finding approach us...

Ulrich Furbach, et al. ∙

research

∙ 04/06/2016

On the uniform one-dimensional fragment

The uniform one-dimensional fragment of first-order logic, U1, is a rece...

Antti Kuusisto, et al. ∙

research

∙ 04/21/2015

Formalizing Preference Utilitarianism in Physical World Models

Most ethical work is done at a low level of formality. This makes practi...

Caspar Oesterheld, et al. ∙

research

∙ 04/21/2015

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

A key problem in the application of first-order probabilistic methods is...

Daniel Nyga, et al. ∙

research

∙ 06/07/2014

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

Tobias Buer, et al. ∙

research

∙ 03/01/2014

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

We present an epistemic action theory for tractable epistemic reasoning ...

Manfred Eppe, et al. ∙

research

∙ 11/13/2015

Active Contextual Entropy Search

Contextual policy search allows adapting robotic movement primitives to ...

Jan-Hendrik Metzen, et al. ∙

research

∙ 07/11/2013

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

Mehul Bhatt, et al. ∙

research

∙ 07/09/2013

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

Mehul Bhatt, et al. ∙

research

∙ 06/22/2013

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

We position a narrative-centred computational model for high-level knowl...

Mehul Bhatt, et al. ∙

research

∙ 06/04/2013

Narrative based Postdictive Reasoning for Cognitive Robotics

Making sense of incomplete and conflicting narrative knowledge in the pr...

Manfred Eppe, et al. ∙

research

∙ 05/31/2013

Algebraic Properties of Qualitative Spatio-Temporal Calculi

Qualitative spatial and temporal reasoning is based on so-called qualita...

Frank Dylla, et al. ∙

research

∙ 08/01/2012

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

The Distributed Ontology Language (DOL) is currently being standardized ...

Christoph Lange, et al. ∙

research

∙ 07/06/2012

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

Extracting a subset of a given OWL ontology that captures all the ontolo...

Chiara Del Vescovo, et al. ∙

research

∙ 04/02/2012

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

The paper presents an ant colony optimization metaheuristic for collabor...

Tobias Buer, et al. ∙

research

∙ 01/20/2012

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

Tobias Buer, et al. ∙

research

∙ 11/12/2015

Shearlet-Based Detection of Flame Fronts

Identifying and characterizing flame fronts is the most common task in t...

Rafael Reisenhofer, et al. ∙

research

∙ 08/03/2010

Image sequence interpolation using optimal control

The problem of the generation of an intermediate image between two given...

Kanglin Chen, et al. ∙

research

∙ 07/11/2017

Multiple Context-Free Tree Grammars: Lexicalization and Characterization

Multiple (simple) context-free tree grammars are investigated, where "si...

Joost Engelfriet, et al. ∙

research

∙ 11/03/2017

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

Lars Siemer, et al. ∙

research

∙ 10/16/2017

Symmetric Synthesis

We study the problem of determining whether a given temporal specificati...

Ruediger Ehlers, et al. ∙

research

∙ 07/06/2017

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

Marek Adamczyk, et al. ∙

research

∙ 01/16/2018

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

This paper investigates bias in coverage between Western and Arab media ...

Abdallah El Ali, et al. ∙

research

∙ 03/28/2018

Are There Functionally Similar Code Clones in Practice?

Having similar code fragments, also called clones, in software systems c...

Verena Käfer, et al. ∙

research

∙ 04/11/2018

A PTAS for Euclidean TSP with Hyperplane Neighborhoods

In the Traveling Salesperson Problem with Neighborhoods (TSPN), we are g...

Antonios Antoniadis, et al. ∙

research

∙ 04/17/2018

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

We present an optimization-based approach for trajectory planning and co...

Christian Meerpohl, et al. ∙

research

∙ 04/18/2018

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

We study the complexity of ontology-mediated querying when ontologies ar...

Andre Hernich, et al. ∙

research

∙ 05/09/2018

Revisiting Decision Diagrams for SAT

Symbolic variants of clause distribution using decision diagrams to elim...

Tom van Dijk, et al. ∙

research

∙ 06/01/2018

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

We propose a method for the blind separation of audio signals from music...

Sören Schulze, et al. ∙

research

∙ 07/03/2018

Markov Logic Networks with Statistical Quantifiers

Markov Logic Networks (MLNs) are well-suited for expressing statistics s...

Víctor Gutiérrez-Basulto, et al. ∙

research

∙ 07/16/2018

Fast Witness Counting

We study the witness-counting problem: given a set of vectors V in the d...

Peter Chini, et al. ∙

research

∙ 07/03/2018

Quantified Markov Logic Networks

Markov Logic Networks (MLNs) are well-suited for expressing statistics s...

Víctor Gutiérrez-Basulto, et al. ∙

research

∙ 10/09/2018

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

Various approaches for liver segmentation in CT have been proposed: Besi...

Hans Meine, et al. ∙

research

∙ 11/30/2018

Optimal Algorithms for Scheduling under Time-of-Use Tariffs

We consider a natural generalization of classical scheduling problems in...

Lin Chen, et al. ∙

research

∙ 12/19/2018

Towards Plan Transformations for Real-World Pick and Place Tasks

In this paper, we investigate the possibility of applying plan transform...

Gayane Kazhoyan, et al. ∙

research

∙ 12/19/2018

Specializing Underdetermined Action Descriptions Through Plan Projection

Plan execution on real robots in realistic environments is underdetermin...

Gayane Kazhoyan, et al. ∙

research

∙ 03/27/2019

Non-parametric Archimedean generator estimation with implications for multiple testing

In multiple testing, the family-wise error rate can be bounded under som...

André Neumann, et al. ∙

research

∙ 03/28/2019

Amortized Object and Scene Perception for Long-term Robot Manipulation

Mobile robots, performing long-term manipulation activities in human env...

Ferenc Balint-Benczedi, et al. ∙

research

∙ 04/02/2019

Pharos: improving navigation instructions on smartwatches by including global landmarks

Landmark-based navigation systems have proven benefits relative to tradi...

N. Wenig, et al. ∙

research

∙ 04/15/2019

Model Comparison Games for Horn Description Logics

Horn description logics are syntactically defined fragments of standard ...

Jean Christoph Jung, et al. ∙

research

∙ 05/10/2019

On the Connection Between Adversarial Robustness and Saliency Map Interpretability

Recent studies on the adversarial vulnerability of neural networks have ...

Christian Etmann, et al. ∙

Universität Bremen

Featured Researchers