
Robust temporal difference learning for critical domains
We present a new Qfunction 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

ChanVese Reformulation for Selective Image Segmentation
Selective segmentation involves incorporating user input to partition an...
read it

A Generalized Asymmetric Dualfront Model for Active Contours and Image Segmentation
The geodesic distancebased dualfront 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 multiinstance semi...
read it

A Binary Optimization Approach for Constrained KMeans Clustering
KMeans clustering still plays an important role in many computer vision...
read it

Explaining Deep Neural Networks Using SpectrumBased Fault Localization
Deep neural networks (DNNs) increasingly replace traditionally developed...
read it

A GameBased 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 OCTAngiography Vessel Segmentation Dataset and New Model
Optical Coherence Tomography Angiography (OCTA) is a noninvasive 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 ModelAgnostic MetaLearning using Variational Inference
We introduce a new, rigorouslyformulated Bayesian metalearning algorit...
read it

AngularBased Word MetaEmbedding 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

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

FeatureGuided BlackBox 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 pointtopoint or group co...
read it

Lenient MultiAgent 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 ontologymediated querying where the o...
read it

Epistemic Protocols for Distributed Gossiping
Gossip protocols aim at arriving, by means of pointtopoint or group co...
read it

Probably Approximately Correct Greedy Maximization
Submodular function maximization finds application in a variety of real...
read it

Poisson multiBernoulli mixture filter: direct derivation and implementation
We provide a derivation of the Poisson multiBernoulli mixture (PMBM) fi...
read it

Scaling POMDPs For Selecting Sellers in EmarketsExtended Version
In multiagent emarketplaces, 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

InfluenceOptimistic Local Values for Multiagent Planning  Extended Version
Recent years have seen the development of methods for multiagent plannin...
read it

An ArgumentationBased Framework to Address the Attribution Problem in CyberWarfare
Attributing a cyberoperation through the use of multiple pieces of tech...
read it

Scalable Planning and Learning for Multiagent POMDPs: Extended Version
Online, samplebased 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 FractionalOrder Variation Model for Image Restoration with Nonhomogeneous 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 Pointset Embeddings of Acyclic Graphs
We show that any planar drawing of a forest of three stars whose vertice...
read it

Faulttolerant parallel scheduling of arbitrary length jobs on a shared channel
We study the problem of scheduling jobs on faultprone 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

Formalising Sensor Topologies for Target Counting
We present a formal model developed to reason about topologies created b...
read it
University of Liverpool
We celebrate individuality  making sure you have the best experience possible is at the heart of everything we do. Explore the pages below to discover more about our exciting city and buzzing campus and find out what we can offer you!