
Invertible Residual Networks
Reversible deep networks provide useful theoretical guarantees and have ...
read it

Regularization by architecture: A deep prior approach for inverse problems
The present paper studies the so called deep image prior (DIP) technique...
read it

A Survey on Surrogate Approaches to Nonnegative Matrix Factorization
Motivated by applications in hyperspectral imaging we investigate method...
read it

A Projectional Ansatz to Reconstruction
Recently the field of inverse problems has seen a growing usage of mathe...
read it

Residual Flows for Invertible Generative Modeling
Flowbased generative models parameterize probability distributions thro...
read it

Rational coordination with no communication or conventions
We study pure coordination games where in every outcome, all players hav...
read it

Reasoning in NonProbabilistic Uncertainty: Logic Programming and NeuralSymbolic Computing as Examples
This article aims to achieve two goals: to show that probability is not ...
read it

The Data Complexity of Description Logic Ontologies
We analyze the data complexity of ontologymediated querying where the o...
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...
read it

On the uniform onedimensional fragment
The uniform onedimensional fragment of firstorder logic, U1, is a rece...
read it

Formalizing Preference Utilitarianism in Physical World Models
Most ethical work is done at a low level of formality. This makes practi...
read it

Reasoning about Unmodelled Concepts  Incorporating Class Taxonomies in Probabilistic Relational Models
A key problem in the application of firstorder probabilistic methods is...
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...
read it

Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction
We present an epistemic action theory for tractable epistemic reasoning ...
read it

Active Contextual Entropy Search
Contextual policy search allows adapting robotic movement primitives to ...
read it

Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuospatial cognition and computation focussed collaborative cognitiv
What lies between `sensing' and `sensibility'? In other words, what kind...
read it

Geospatial Narratives and their SpatioTemporal Dynamics: Commonsense Reasoning for Highlevel Analyses in Geographic Information Systems
The modelling, analysis, and visualisation of dynamic geospatial phenome...
read it

Cognitive Interpretation of Everyday Activities: Toward Perceptual Narrative Based VisuoSpatial Scene Interpretation
We position a narrativecentred computational model for highlevel knowl...
read it

Narrative based Postdictive Reasoning for Cognitive Robotics
Making sense of incomplete and conflicting narrative knowledge in the pr...
read it

Algebraic Properties of Qualitative SpatioTemporal Calculi
Qualitative spatial and temporal reasoning is based on socalled qualita...
read it

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility
The Distributed Ontology Language (DOL) is currently being standardized ...
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...
read it

A collaborative ant colony metaheuristic for distributed multilevel lotsizing
The paper presents an ant colony optimization metaheuristic for collabor...
read it

A Paretometaheuristic for a biobjective winner determination problem in a combinatorial reverse auction
The biobjective winner determination problem (2WDPSC) of a combinatori...
read it

ShearletBased Detection of Flame Fronts
Identifying and characterizing flame fronts is the most common task in t...
read it

Image sequence interpolation using optimal control
The problem of the generation of an intermediate image between two given...
read it

Multiple ContextFree Tree Grammars: Lexicalization and Characterization
Multiple (simple) contextfree tree grammars are investigated, where "si...
read it

CostOptimal Operation of Energy Storage Units: Impact of Uncertainties and Robust Estimator
The rapid expansion of wind and solar energy leads to an increasing vola...
read it

Symmetric Synthesis
We study the problem of determining whether a given temporal specificati...
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 ...
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 ...
read it

Are There Functionally Similar Code Clones in Practice?
Having similar code fragments, also called clones, in software systems c...
read it

A PTAS for Euclidean TSP with Hyperplane Neighborhoods
In the Traveling Salesperson Problem with Neighborhoods (TSPN), we are g...
read it

Optimization Strategies for RealTime Control of an Autonomous Melting Probe
We present an optimizationbased approach for trajectory planning and co...
read it

Dichotomies in OntologyMediated Querying with the Guarded Fragment
We study the complexity of ontologymediated querying when ontologies ar...
read it

Revisiting Decision Diagrams for SAT
Symbolic variants of clause distribution using decision diagrams to elim...
read it

Musical Instrument Separation on ShiftInvariant Spectrograms via Stochastic Dictionary Learning
We propose a method for the blind separation of audio signals from music...
read it

Markov Logic Networks with Statistical Quantifiers
Markov Logic Networks (MLNs) are wellsuited for expressing statistics s...
read it

Fast Witness Counting
We study the witnesscounting problem: given a set of vectors V in the d...
read it

Quantified Markov Logic Networks
Markov Logic Networks (MLNs) are wellsuited for expressing statistics s...
read it

Comparison of Unetbased Convolutional Neural Networks for Liver Segmentation in CT
Various approaches for liver segmentation in CT have been proposed: Besi...
read it

Optimal Algorithms for Scheduling under TimeofUse Tariffs
We consider a natural generalization of classical scheduling problems in...
read it

Towards Plan Transformations for RealWorld Pick and Place Tasks
In this paper, we investigate the possibility of applying plan transform...
read it

Specializing Underdetermined Action Descriptions Through Plan Projection
Plan execution on real robots in realistic environments is underdetermin...
read it

Nonparametric Archimedean generator estimation with implications for multiple testing
In multiple testing, the familywise error rate can be bounded under som...
read it

Amortized Object and Scene Perception for Longterm Robot Manipulation
Mobile robots, performing longterm manipulation activities in human env...
read it

Pharos: improving navigation instructions on smartwatches by including global landmarks
Landmarkbased navigation systems have proven benefits relative to tradi...
read it

Model Comparison Games for Horn Description Logics
Horn description logics are syntactically defined fragments of standard ...
read it

On the Connection Between Adversarial Robustness and Saliency Map Interpretability
Recent studies on the adversarial vulnerability of neural networks have ...
read it

A JIT Compiler for Neural Network Inference
This paper describes a C++ library that compiles neural network models a...
read it
Universität Bremen
The University of Bremen is a public university in Bremen, Germany, with approximately 23,500 people from 115 countries.