
-
Robust temporal difference learning for critical domains
We present a new Q-function operator for temporal difference (TD) learni...
read it
-
Putting Ridesharing to the Test: Efficient and Scalable Solutions and the Power of Dynamic Vehicle Relocation
Ridesharing is a coordination problem in its core. Traditionally it has ...
read it
-
Chan-Vese Reformulation for Selective Image Segmentation
Selective segmentation involves incorporating user input to partition an...
read it
-
A Generalized Asymmetric Dual-front Model for Active Contours and Image Segmentation
The geodesic distance-based dual-front curve evolution model is a powerf...
read it
-
Fast Template Matching and Update for Video Object Tracking and Segmentation
In this paper, the main task we aim to tackle is the multi-instance semi...
read it
-
A Binary Optimization Approach for Constrained K-Means Clustering
K-Means clustering still plays an important role in many computer vision...
read it
-
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization
Deep neural networks (DNNs) increasingly replace traditionally developed...
read it
-
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Despite the improved accuracy of deep neural networks, the discovery of ...
read it
-
Gaussian process classification using posterior linearisation
This paper proposes a new algorithm for Gaussian process classification ...
read it
-
ROSE: A Retinal OCT-Angiography Vessel Segmentation Dataset and New Model
Optical Coherence Tomography Angiography (OCT-A) is a non-invasive imagi...
read it
-
Analysing Dropout and Compounding Errors in Neural Language Models
This paper carries out an empirical analysis of various dropout techniqu...
read it
-
Uncertainty in Model-Agnostic Meta-Learning using Variational Inference
We introduce a new, rigorously-formulated Bayesian meta-learning algorit...
read it
-
Angular-Based Word Meta-Embedding Learning
Ensembling word embeddings to improve distributed word representations h...
read it
-
Fast Convergence for Object Detection by Learning how to Combine Error Functions
In this paper, we introduce an innovative method to improve the converge...
read it
-
GarmNet: Improving Global with Local Perception for Robotic Laundry Folding
Developing autonomous assistants to help with domestic tasks is a vital ...
read it
-
GANGs: Generative Adversarial Network Games
Generative Adversarial Networks (GAN) have become one of the most succes...
read it
-
An Optimality Proof for the PairDiff operator for Representing Relations between Words
Representing the semantic relations that exist between two given words (...
read it
-
A Note on Nesting in Dyadic Deontic Logic
The paper reports on some results concerning Aqvist's dyadic logic known...
read it
-
Feature-Guided Black-Box Safety Testing of Deep Neural Networks
Despite the improved accuracy of deep neural networks, the discovery of ...
read it
-
Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy
The paper provides an analysis of the voting method known as delegable p...
read it
-
A Logic for Global and Local Announcements
In this paper we introduce global and local announcement logic (GLAL), ...
read it
-
Common Knowledge in a Logic of Gossips
Gossip protocols aim at arriving, by means of point-to-point or group co...
read it
-
Lenient Multi-Agent Deep Reinforcement Learning
A significant amount of research in recent years has been dedicated towa...
read it
-
Liquid Democracy: An Analysis in Binary Aggregation and Diffusion
The paper proposes an analysis of liquid democracy (or, delegable proxy ...
read it
-
The Data Complexity of Description Logic Ontologies
We analyze the data complexity of ontology-mediated querying where the o...
read it
-
Epistemic Protocols for Distributed Gossiping
Gossip protocols aim at arriving, by means of point-to-point or group co...
read it
-
Probably Approximately Correct Greedy Maximization
Submodular function maximization finds application in a variety of real-...
read it
-
Poisson multi-Bernoulli mixture filter: direct derivation and implementation
We provide a derivation of the Poisson multi-Bernoulli mixture (PMBM) fi...
read it
-
Scaling POMDPs For Selecting Sellers in E-markets-Extended Version
In multiagent e-marketplaces, buying agents need to select good sellers ...
read it
-
Why PairDiff works? -- A Mathematical Analysis of Bilinear Relational Compositional Operators for Analogy Detection
Representing the semantic relations that exist between two given words (...
read it
-
Towards Verifiably Ethical Robot Behaviour
Ensuring that autonomous systems work ethically is both complex and diff...
read it
-
Influence-Optimistic Local Values for Multiagent Planning --- Extended Version
Recent years have seen the development of methods for multiagent plannin...
read it
-
An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare
Attributing a cyber-operation through the use of multiple pieces of tech...
read it
-
Scalable Planning and Learning for Multiagent POMDPs: Extended Version
Online, sample-based planning algorithms for POMDPs have shown great pro...
read it
-
Enabling Automatic Certification of Online Auctions
We consider the problem of building up trust in a network of online auct...
read it
-
TRIM: Triangulating Images for Efficient Registration
With the advancement in the digital camera technology, the use of high r...
read it
-
Dynamic Feature Scaling for Online Learning of Binary Classifiers
Scaling feature values is an important step in numerous machine learning...
read it
-
A Total Fractional-Order Variation Model for Image Restoration with Non-homogeneous Boundary Conditions and its Numerical Solution
To overcome the weakness of a total variation based model for image rest...
read it
-
Agent Based Approaches to Engineering Autonomous Space Software
Current approaches to the engineering of space software such as satellit...
read it
-
A novel variational model for image registration using Gaussian curvature
Image registration is one important task in many image processing applic...
read it
-
On Concise Encodings of Preferred Extensions
Much work on argument systems has focussed on preferred extensions which...
read it
-
Compositional Approaches for Representing Relations Between Words: A Comparative Study
Identifying the relations that exist between words (or entities) is impo...
read it
-
Mutants and Residents with Different Connection Graphs in the Moran Process
The Moran process, as studied by Lieberman et al. [L05], is a stochastic...
read it
-
Reachability Switching Games
In this paper, we study the problem of deciding the winner of reachabili...
read it
-
Verification of Programs via Intermediate Interpretation
We explore an approach to verification of programs via program transform...
read it
-
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
The development and deployment of Autonomous Vehicles (AVs) on our roads...
read it
-
Colored Point-set Embeddings of Acyclic Graphs
We show that any planar drawing of a forest of three stars whose vertice...
read it
-
Fault-tolerant parallel scheduling of arbitrary length jobs on a shared channel
We study the problem of scheduling jobs on fault-prone machines communic...
read it
-
Practical Challenges in Explicit Ethical Machine Reasoning
We examine implemented systems for ethical machine reasoning with a view...
read it
-
Arrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUM...
read it