University of Liverpool

research

∙ 01/23/2019

Robust temporal difference learning for critical domains

We present a new Q-function operator for temporal difference (TD) learni...

Richard Klima, et al. ∙

research

∙ 12/17/2019

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 ...

Panayiotis Danassis, et al. ∙

research

∙ 05/17/2022

Hierarchical Distribution-Aware Testing of Deep Learning

With its growing use in safety/security-critical applications, Deep Lear...

Wei Huang, et al. ∙

research

∙ 11/21/2018

Chan-Vese Reformulation for Selective Image Segmentation

Selective segmentation involves incorporating user input to partition an...

Michael Roberts, et al. ∙

research

∙ 06/14/2020

A Generalized Asymmetric Dual-front Model for Active Contours and Image Segmentation

The geodesic distance-based dual-front curve evolution model is a powerf...

Da Chen, et al. ∙

research

∙ 04/16/2020

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...

Mingjie Sun, et al. ∙

research

∙ 03/11/2022

Enhancing Adversarial Training with Second-Order Statistics of Weights

Adversarial training has been shown to be one of the most effective appr...

Gaojie Jin, et al. ∙

research

∙ 10/24/2018

A Binary Optimization Approach for Constrained K-Means Clustering

K-Means clustering still plays an important role in many computer vision...

Huu Le, et al. ∙

research

∙ 08/06/2019

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization

Deep neural networks (DNNs) increasingly replace traditionally developed...

Youcheng Sun, et al. ∙

research

∙ 07/10/2018

A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

Despite the improved accuracy of deep neural networks, the discovery of ...

Min Wu, et al. ∙

research

∙ 09/13/2018

Gaussian process classification using posterior linearisation

This paper proposes a new algorithm for Gaussian process classification ...

Ángel F. García-Fernández, et al. ∙

research

∙ 07/10/2020

ROSE: A Retinal OCT-Angiography Vessel Segmentation Dataset and New Model

Optical Coherence Tomography Angiography (OCT-A) is a non-invasive imagi...

Yuhui Ma, et al. ∙

research

∙ 11/07/2021

Global-Local Attention for Emotion Recognition

Human emotion recognition is an active research area in artificial intel...

Nhat Le, et al. ∙

research

∙ 11/02/2018

Analysing Dropout and Compounding Errors in Neural Language Models

This paper carries out an empirical analysis of various dropout techniqu...

James O'Neill, et al. ∙

research

∙ 07/27/2019

Uncertainty in Model-Agnostic Meta-Learning using Variational Inference

We introduce a new, rigorously-formulated Bayesian meta-learning algorit...

Cuong Nguyen, et al. ∙

research

∙ 11/30/2021

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems

The increasing use of Machine Learning (ML) components embedded in auton...

Xingyu Zhao, et al. ∙

research

∙ 08/13/2018

Angular-Based Word Meta-Embedding Learning

Ensembling word embeddings to improve distributed word representations h...

James O'Neill, et al. ∙

research

∙ 08/13/2018

Fast Convergence for Object Detection by Learning how to Combine Error Functions

In this paper, we introduce an innovative method to improve the converge...

Benjamin Schnieders, et al. ∙

research

∙ 06/30/2019

GarmNet: Improving Global with Local Perception for Robotic Laundry Folding

Developing autonomous assistants to help with domestic tasks is a vital ...

Daniel Fernandes Gomes, et al. ∙

research

∙ 12/02/2017

GANGs: Generative Adversarial Network Games

Generative Adversarial Networks (GAN) have become one of the most succes...

Frans A. Oliehoek, et al. ∙

research

∙ 09/19/2017

An Optimality Proof for the PairDiff operator for Representing Relations between Words

Representing the semantic relations that exist between two given words (...

Huda Hakami, et al. ∙

research

∙ 10/10/2017

A Note on Nesting in Dyadic Deontic Logic

The paper reports on some results concerning Aqvist's dyadic logic known...

Agneau Belanyek, et al. ∙

research

∙ 10/21/2017

Feature-Guided Black-Box Safety Testing of Deep Neural Networks

Despite the improved accuracy of deep neural networks, the discovery of ...

Matthew Wicker, et al. ∙

research

∙ 07/27/2017

Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy

The paper provides an analysis of the voting method known as delegable p...

Zoé Christoff, et al. ∙

research

∙ 07/27/2017

A Logic for Global and Local Announcements

In this paper we introduce global and local announcement logic (GLAL), ...

Francesco Belardinelli, et al. ∙

research

∙ 07/27/2017

Common Knowledge in a Logic of Gossips

Gossip protocols aim at arriving, by means of point-to-point or group co...

Krzysztof R. Apt, et al. ∙

research

∙ 07/14/2017

Lenient Multi-Agent Deep Reinforcement Learning

A significant amount of research in recent years has been dedicated towa...

Gregory Palmer, et al. ∙

research

∙ 12/23/2016

Liquid Democracy: An Analysis in Binary Aggregation and Diffusion

The paper proposes an analysis of liquid democracy (or, delegable proxy ...

Zoé Christoff, et al. ∙

research

∙ 11/08/2016

The Data Complexity of Description Logic Ontologies

We analyze the data complexity of ontology-mediated querying where the o...

Carsten Lutz, et al. ∙

research

∙ 06/24/2016

Epistemic Protocols for Distributed Gossiping

Gossip protocols aim at arriving, by means of point-to-point or group co...

Krzysztof R. Apt, et al. ∙

research

∙ 02/25/2016

Probably Approximately Correct Greedy Maximization

Submodular function maximization finds application in a variety of real-...

Yash Satsangi, et al. ∙

research

∙ 03/13/2017

Poisson multi-Bernoulli mixture filter: direct derivation and implementation

We provide a derivation of the Poisson multi-Bernoulli mixture (PMBM) fi...

Ángel F. García-Fernández, et al. ∙

research

∙ 11/30/2015

Scaling POMDPs For Selecting Sellers in E-markets-Extended Version

In multiagent e-marketplaces, buying agents need to select good sellers ...

Athirai A. Irissappane, et al. ∙

research

∙ 09/19/2017

Why PairDiff works? -- A Mathematical Analysis of Bilinear Relational Compositional Operators for Analogy Detection

Representing the semantic relations that exist between two given words (...

Huda Hakami, et al. ∙

research

∙ 04/14/2015

Towards Verifiably Ethical Robot Behaviour

Ensuring that autonomous systems work ethically is both complex and diff...

Louise A. Dennis, et al. ∙

research

∙ 02/18/2015

Influence-Optimistic Local Values for Multiagent Planning --- Extended Version

Recent years have seen the development of methods for multiagent plannin...

Frans A. Oliehoek, et al. ∙

research

∙ 04/27/2014

An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare

Attributing a cyber-operation through the use of multiple pieces of tech...

Paulo Shakarian, et al. ∙

research

∙ 04/04/2014

Scalable Planning and Learning for Multiagent POMDPs: Extended Version

Online, sample-based planning algorithms for POMDPs have shown great pro...

Chris Amato, et al. ∙

research

∙ 04/03/2014

Enabling Automatic Certification of Online Auctions

We consider the problem of building up trust in a network of online auct...

Wei Bai, et al. ∙

research

∙ 05/20/2016

TRIM: Triangulating Images for Efficient Registration

With the advancement in the digital camera technology, the use of high r...

Chun Pang Yung, et al. ∙

research

∙ 07/28/2014

Dynamic Feature Scaling for Online Learning of Binary Classifiers

Scaling feature values is an important step in numerous machine learning...

Danushka Bollegala, et al. ∙

research

∙ 09/06/2015

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...

Jianping Zhang, et al. ∙

research

∙ 03/02/2010

Agent Based Approaches to Engineering Autonomous Space Software

Current approaches to the engineering of space software such as satellit...

Louise A. Dennis, et al. ∙

research

∙ 04/28/2015

A novel variational model for image registration using Gaussian curvature

Image registration is one important task in many image processing applic...

Mazlinda Ibrahim, et al. ∙

research

∙ 07/08/2002

On Concise Encodings of Preferred Extensions

Much work on argument systems has focussed on preferred extensions which...

Paul E. Dunne, et al. ∙

research

∙ 09/04/2017

Compositional Approaches for Representing Relations Between Words: A Comparative Study

Identifying the relations that exist between words (or entities) is impo...

Huda Hakami, et al. ∙

research

∙ 10/19/2017

Mutants and Residents with Different Connection Graphs in the Moran Process

The Moran process, as studied by Lieberman et al. [L05], is a stochastic...

Themistoklis Melissourgos, et al. ∙

research

∙ 09/26/2017

Reachability Switching Games

In this paper, we study the problem of deciding the winner of reachabili...

John Fearnley, et al. ∙

research

∙ 08/24/2017

Verification of Programs via Intermediate Interpretation

We explore an approach to verification of programs via program transform...

Alexei P. Lisitsa, et al. ∙

research

∙ 09/08/2017

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

The development and deployment of Autonomous Vehicles (AVs) on our roads...

Lucas E. R. Fernandes, et al. ∙

University of Liverpool

Featured Researchers