
Variational Coupling Revisited: Simpler Models, Theoretical Connections, and Novel Applications
Variational models with coupling terms are becoming increasingly popular...
read it

Fristograms: Revealing and Exploiting Light Field Internals
In recent years, light field (LF) capture and processing has become an i...
read it

Fusion Models for Improved Visual Captioning
Visual captioning aims to generate textual descriptions given images. Tr...
read it

Adversarial Perturbations Against Deep Neural Networks for Malware Classification
Deep neural networks, like many other machine learning models, have rece...
read it

How Wrong Am I?  Studying Adversarial Examples and their Impact on Uncertainty in Gaussian Process Machine Learning Models
Machine learning models are vulnerable to adversarial examples: minor, i...
read it

Community detection in networks via nonlinear modularity eigenvectors
Revealing a community structure in a network or dataset is a central pro...
read it

Simulated Penetration Testing and Mitigation Analysis
Penetration testing is a wellestablished practical concept for the iden...
read it

Modeling Semantic Expectation: Using Script Knowledge for Referent Prediction
Recent research in psycholinguistics has provided increasing evidence th...
read it

Identifying Consistent Statements about Numerical Data with DispersionCorrected Subgroup Discovery
Existing algorithms for subgroup discovery with numerical targets do not...
read it

Analysis and Optimization of Loss Functions for Multiclass, Topk, and Multilabel Classification
Topk error is currently a popular performance measure on large scale im...
read it

POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
Penetration Testing is a methodology for assessing network security, by ...
read it

Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration
Penetration Testing is a methodology for assessing network security, by ...
read it

Constrained 1Spectral Clustering
An important form of prior information in clustering comes in form of ca...
read it

Fitting a 3D Morphable Model to Edges: A Comparison Between Hard and Soft Correspondences
We propose a fully automatic method for fitting a 3D morphable model to ...
read it

An Efficient Multilinear Optimization Framework for Hypergraph Matching
Hypergraph matching has recently become a popular approach for solving c...
read it

Nonlinear Eigenproblems in Data Analysis  Balanced Graph Cuts and the RatioDCAProx
It has been recently shown that a large class of balanced graph cuts all...
read it

Learning Using Privileged Information: SVM+ and Weighted SVM
Prior knowledge can be used to improve predictive performance of learnin...
read it

How the result of graph clustering methods depends on the construction of the graph
We study the scenario of graphbased clustering algorithms such as spect...
read it

An Inverse Power Method for Nonlinear Eigenproblems with Applications in 1Spectral Clustering and Sparse PCA
Many problems in machine learning and statistics can be formulated as (g...
read it

Multilinear Wavelets: A Statistical Shape Space for Human Faces
We present a statistical model for 3D human faces in varying expression,...
read it

Optimal construction of knearest neighbor graphs for identifying noisy clusters
We study clustering algorithms based on neighborhood graphs on a random ...
read it

Estimation of Human Body Shape and Posture Under Clothing
Estimating the body shape and posture of a dressed human subject in moti...
read it

Analysis of Farthest Point Sampling for Approximating Geodesics in a Graph
A standard way to approximate the distance between any two vertices p an...
read it

Large Scale Variational Inference and Experimental Design for Sparse Generalized Linear Models
Many problems of lowlevel computer vision and image processing, such as...
read it

A LowDimensional Representation for Robust Partial Isometric Correspondences Computation
Intrinsic isometric shape matching has become the standard approach for ...
read it

Finite Element Based Tracking of Deforming Surfaces
We present an approach to robustly track the geometry of an object that ...
read it

Review of Statistical Shape Spaces for 3D Data with Comparative Analysis for Human Faces
With systems for acquiring 3D surface data being evermore commonplace, i...
read it

Aligning Script Events with Narrative Texts
Script knowledge plays a central role in text understanding and is relev...
read it

Predicting the Law Area and Decisions of French Supreme Court Cases
In this paper, we investigate the application of text classification met...
read it

A Mixture Model for Learning MultiSense Word Embeddings
Word embeddings are now a standard technique for inducing meaning repres...
read it

A Conditional Variational Framework for Dialog Generation
Deep latent variable models have been shown to facilitate the response g...
read it

InScript: Narrative texts annotated with script information
This paper presents the InScript corpus (Narrative Texts Instantiating S...
read it

Discriminating Similar Languages: Evaluations and Explorations
We present an analysis of the performance of machine learning classifier...
read it

Neural Network Models for Implicit Discourse Relation Classification in English and Chinese without Surface Features
Inferring implicit discourse relations in natural language text is the m...
read it

Ripple Down Rules for Question Answering
Recent years have witnessed a new trend of building ontologybased quest...
read it

A Robust TransformationBased Learning Approach Using Ripple Down Rules for PartofSpeech Tagging
In this paper, we propose a new approach to construct a system of transf...
read it

Verification of PCPRelated Computational Reductions in Coq
We formally verify several computational reductions concerning the Post ...
read it

Realtime Streambased Monitoring
We introduce RTLola, a new streambased specification language for the d...
read it

Ascertaining Uncertainty for Efficient Exact Cache Analysis
Static cache analysis characterizes a program's cache behavior by determ...
read it

Symmetric Synthesis
We study the problem of determining whether a given temporal specificati...
read it

Synthesis in Distributed Environments
Most approaches to the synthesis of reactive systems study the problem i...
read it

Causalitybased Model Checking
Model checking is usually based on a comprehensive traversal of the stat...
read it

Active Learning of Input Grammars
Knowing the precise format of a program's input is a necessary prerequis...
read it

Note on "The Complexity of Counting Surjective Homomorphisms and Compactions"
Focke, Goldberg, and Živný (arXiv 2017) prove a complexity dichotomy for...
read it

Team Semantics for the Specification and Verification of Hyperproperties
We develop team semantics for Linear Temporal Logic (LTL) to express hyp...
read it

Synthesizing Optimally Resilient Controllers
Recently, Dallal, Neider, and Tabuada studied a generalization of the cl...
read it

Finitestate Strategies in Delay Games
What is a finitestate strategy in a delay game? We answer this surprisi...
read it

Finegrained reductions from approximate counting to decision
The main problems in finegrained complexity are CNFSAT, the Orthogonal...
read it

A unifying PerronFrobenius theorem for nonnegative tensors via multihomogeneous maps
Inspired by the definition of symmetric decomposition, we introduce the ...
read it

Error estimates for spectral convergence of the graph Laplacian on random geometric graphs towards the LaplaceBeltrami operator
We study the convergence of the graph Laplacian of a random geometric gr...
read it
Universität Saarland
100% accredited courses, excellent research, an awardwinning foundation culture & an international campus — that's what Saar University stands for!