
Distributed Mean Estimation with Optimal Error Bounds
Motivated by applications to distributed optimization and machine learni...
read it

Elastic Consistency: A General Consistency Model for Distributed Stochastic Gradient Descent
Machine learning has made tremendous progress in recent years, with mode...
read it

Learning LongTerm Dependencies in IrregularlySampled Time Series
Recurrent neural networks (RNNs) with continuoustime hidden states are ...
read it

XGAN: Unsupervised ImagetoImage Translation for ManytoMany Mappings
Style transfer usually refers to the task of applying color and texture ...
read it

Optimizing Expectation with Guarantees in POMDPs (Technical Report)
A standard objective in partiallyobservable Markov decision processes (...
read it

Extrapolation and learning equations
In classical machine learning, regression is treated as a black box proc...
read it

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems
PDDL+ planning has its semantics rooted in hybrid automata (HA) and rece...
read it

Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images
We present an efficient algorithm to compute Euler characteristic curves...
read it

Semiparametric energybased probabilistic models
Probabilistic models can be defined by an energy function, where the pro...
read it

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
Simple board games, like TicTacToe and CONNECT4, play an important ro...
read it

Multitask and Lifelong Learning of Kernels
We consider a problem of learning kernels for use in SVM classification ...
read it

MultiTask Learning with Labeled and Unlabeled Tasks
In multitask learning, a learner is given a collection of prediction ta...
read it

Conditional Risk Minimization for Stochastic Processes
We study the task of learning from noni.i.d. data. In particular, we ai...
read it

Seed, Expand and Constrain: Three Principles for WeaklySupervised Image Segmentation
We introduce a new loss function for the weaklysupervised training of s...
read it

Learning to Transfer Privileged Information
We introduce a learning framework called learning using privileged infor...
read it

DifferentiallyPrivate Logistic Regression for Detecting MultipleSNP Association in GWAS Databases
Following the publication of an attack on genomewide association studie...
read it

Predicting the Future Behavior of a TimeVarying Probability Distribution
We study the problem of predicting the future, though only in the probab...
read it

Generalized RiskAversion in Stochastic MultiArmed Bandits
We consider the problem of minimizing the regret in stochastic multiarm...
read it

Domain Adaptation of Majority Votes via Perturbed Variationbased Label Transfer
We tackle the PACBayesian Domain Adaptation (DA) problem. This arrives ...
read it

Identifying Reliable Annotations for Large Scale Image Segmentation
Challenging computer vision tasks, in particular semantic image segmenta...
read it

Total variation on a tree
We consider the problem of minimizing the continuous valued total variat...
read it

Potts model, parametric maxflow and ksubmodular functions
The problem of minimizing the Potts energy function frequently occurs in...
read it

Combinatorial Gradient Fields for 2D Images with Empirically Convergent Separatrices
This paper proposes an efficient probabilistic method that computes comb...
read it

Natural images from the birthplace of the human eye
Here we introduce a database of calibrated natural images publicly avail...
read it

On the treewidth of triangulated 3manifolds
In graph theory, as well as in 3manifold topology, there exist several ...
read it

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

A Proof of the Orbit Conjecture for Flipping EdgeLabelled Triangulations
Given a triangulation of a point set in the plane, a flip deletes an edg...
read it

Efficient Algorithms for Checking Fast Termination in VASS
Vector Addition Systems with States (VASS) consists of a finite state sp...
read it

Towards Practical Conditional Risk Minimization
We study conditional risk minimization (CRM), i.e. the problem of learni...
read it

Quantitative Analysis of Smart Contracts
Smart contracts are computer programs that are executed by a network of ...
read it

DataBright: Towards a Global Exchange for Decentralized Data Ownership and Trusted Computation
It is safe to assume that, for the foreseeable future, machine learning,...
read it

Model compression via distillation and quantization
Deep neural networks (DNNs) continue to make significant advances, solvi...
read it

Testing the complexity of a valued CSP language
A Valued Constraint Satisfaction Problem (VCSP) provides a common framew...
read it

InfiniteDuration PoormanBidding Games
In twoplayer games on graphs, the players move a token through a graph ...
read it

Algorithms and Conditional Lower Bounds for Planning Problems
We consider planning problems for graphs, Markov decision processes (MDP...
read it

Computational Approaches for Stochastic Shortest Path on Succinct MDPs
We consider the stochastic shortest path (SSP) problem for succinct Mark...
read it

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Vector Addition Systems with States (VASS) provide a wellknown and fund...
read it

Secure Credit Reporting on the Blockchain
We present a secure approach for maintaining and reporting credit histor...
read it

A note on belief structures and Sapproximation spaces
We study relations between evidence theory and Sapproximation spaces. B...
read it

MAP inference via BlockCoordinate FrankWolfe Algorithm
We present a new proximal bundle method for MaximumAPosteriori (MAP) i...
read it

New Approaches for AlmostSure Termination of Probabilistic Programs
We study the almostsure termination problem for probabilistic programs....
read it

Detecting Visual Relationships Using Box Attention
In this paper we propose a new model for detecting visual relationships....
read it

The Convergence of Sparsified Gradient Methods
Distributed training of massive machine learning models, in particular d...
read it

Why ExtensionBased Proofs Fail
We prove that a class of fundamental shared memory tasks are not amenabl...
read it

Back to square one: probabilistic trajectory forecasting without bells and whistles
We introduce a spatiotemporal convolutional neural network model for tr...
read it

The Crossing Tverberg Theorem
Tverberg's theorem is one of the cornerstones of discrete geometry. It s...
read it

Compositional Analysis for AlmostSure Termination of Probabilistic Programs
In this work, we consider the almostsure termination problem for probab...
read it

Robust Learning from Untrusted Sources
Modern machine learning methods often require more data for training tha...
read it

Cost Analysis of Nondeterministic Probabilistic Programs
We consider the problem of expected cost analysis over nondeterministic ...
read it

Token Swapping on Trees
The input to the token swapping problem is a graph with vertices v_1, v_...
read it
Institute of Science and Technology Austria
The Institute of Science and Technology Austria, commonly known as IST Austria, is an international research institute in natural and mathematical sciences, located in Maria Gugging, Klosterneuburg, 20 km northwest of the Austrian capital of Vienna.