University of Liverpool

∙ Liverpool , United Kingdom ∙ 0 followers

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!

Robust temporal difference learning for critical domains

We present a new Q-function operator for temporal difference (TD) learni...
01/23/2019 ∙ by Richard Klima, et al. ∙ 20 ∙ share

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 ...
12/17/2019 ∙ by Panayiotis Danassis, et al. ∙ 20 ∙ share

read it
Chan-Vese Reformulation for Selective Image Segmentation

Selective segmentation involves incorporating user input to partition an...
11/21/2018 ∙ by Michael Roberts, et al. ∙ 18 ∙ share

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...
06/14/2020 ∙ by Da Chen, et al. ∙ 12 ∙ share

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...
04/16/2020 ∙ by Mingjie Sun, et al. ∙ 11 ∙ share

read it
A Binary Optimization Approach for Constrained K-Means Clustering

K-Means clustering still plays an important role in many computer vision...
10/24/2018 ∙ by Huu Le, et al. ∙ 8 ∙ share

read it
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization

Deep neural networks (DNNs) increasingly replace traditionally developed...
08/06/2019 ∙ by Youcheng Sun, et al. ∙ 8 ∙ share

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 ...
07/10/2018 ∙ by Min Wu, et al. ∙ 6 ∙ share

read it
Gaussian process classification using posterior linearisation

This paper proposes a new algorithm for Gaussian process classification ...
09/13/2018 ∙ by Ángel F. García-Fernández, et al. ∙ 6 ∙ share

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

Optical Coherence Tomography Angiography (OCT-A) is a non-invasive imagi...
07/10/2020 ∙ by Yuhui Ma, et al. ∙ 6 ∙ share

read it
Analysing Dropout and Compounding Errors in Neural Language Models

This paper carries out an empirical analysis of various dropout techniqu...
11/02/2018 ∙ by James O'Neill, et al. ∙ 4 ∙ share

read it
Uncertainty in Model-Agnostic Meta-Learning using Variational Inference

We introduce a new, rigorously-formulated Bayesian meta-learning algorit...
07/27/2019 ∙ by Cuong Nguyen, et al. ∙ 4 ∙ share

read it
Angular-Based Word Meta-Embedding Learning

Ensembling word embeddings to improve distributed word representations h...
08/13/2018 ∙ by James O'Neill, et al. ∙ 2 ∙ share

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...
08/13/2018 ∙ by Benjamin Schnieders, et al. ∙ 2 ∙ share

read it
GANGs: Generative Adversarial Network Games

Generative Adversarial Networks (GAN) have become one of the most succes...
12/02/2017 ∙ by Frans A. Oliehoek, et al. ∙ 0 ∙ share

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

Representing the semantic relations that exist between two given words (...
09/19/2017 ∙ by Huda Hakami, et al. ∙ 0 ∙ share

read it
A Note on Nesting in Dyadic Deontic Logic

The paper reports on some results concerning Aqvist's dyadic logic known...
10/10/2017 ∙ by Agneau Belanyek, et al. ∙ 0 ∙ share

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

Despite the improved accuracy of deep neural networks, the discovery of ...
10/21/2017 ∙ by Matthew Wicker, et al. ∙ 0 ∙ share

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...
07/27/2017 ∙ by Zoé Christoff, et al. ∙ 0 ∙ share

read it
A Logic for Global and Local Announcements

In this paper we introduce global and local announcement logic (GLAL), ...
07/27/2017 ∙ by Francesco Belardinelli, et al. ∙ 0 ∙ share

read it
Common Knowledge in a Logic of Gossips

Gossip protocols aim at arriving, by means of point-to-point or group co...
07/27/2017 ∙ by Krzysztof R. Apt, et al. ∙ 0 ∙ share

read it
Lenient Multi-Agent Deep Reinforcement Learning

A significant amount of research in recent years has been dedicated towa...
07/14/2017 ∙ by Gregory Palmer, et al. ∙ 0 ∙ share

read it
Liquid Democracy: An Analysis in Binary Aggregation and Diffusion

The paper proposes an analysis of liquid democracy (or, delegable proxy ...
12/23/2016 ∙ by Zoé Christoff, et al. ∙ 0 ∙ share

read it
The Data Complexity of Description Logic Ontologies

We analyze the data complexity of ontology-mediated querying where the o...
11/08/2016 ∙ by Carsten Lutz, et al. ∙ 0 ∙ share

read it
Epistemic Protocols for Distributed Gossiping

Gossip protocols aim at arriving, by means of point-to-point or group co...
06/24/2016 ∙ by Krzysztof R. Apt, et al. ∙ 0 ∙ share

read it
Probably Approximately Correct Greedy Maximization

Submodular function maximization finds application in a variety of real-...
02/25/2016 ∙ by Yash Satsangi, et al. ∙ 0 ∙ share

read it
Poisson multi-Bernoulli mixture filter: direct derivation and implementation

We provide a derivation of the Poisson multi-Bernoulli mixture (PMBM) fi...
03/13/2017 ∙ by Ángel F. García-Fernández, et al. ∙ 0 ∙ share

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

In multiagent e-marketplaces, buying agents need to select good sellers ...
11/30/2015 ∙ by Athirai A. Irissappane, et al. ∙ 0 ∙ share

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 (...
09/19/2017 ∙ by Huda Hakami, et al. ∙ 0 ∙ share

read it
Towards Verifiably Ethical Robot Behaviour

Ensuring that autonomous systems work ethically is both complex and diff...
04/14/2015 ∙ by Louise A. Dennis, et al. ∙ 0 ∙ share

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

Recent years have seen the development of methods for multiagent plannin...
02/18/2015 ∙ by Frans A. Oliehoek, et al. ∙ 0 ∙ share

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...
04/27/2014 ∙ by Paulo Shakarian, et al. ∙ 0 ∙ share

read it
Scalable Planning and Learning for Multiagent POMDPs: Extended Version

Online, sample-based planning algorithms for POMDPs have shown great pro...
04/04/2014 ∙ by Chris Amato, et al. ∙ 0 ∙ share

read it
Enabling Automatic Certification of Online Auctions

We consider the problem of building up trust in a network of online auct...
04/03/2014 ∙ by Wei Bai, et al. ∙ 0 ∙ share

read it
TRIM: Triangulating Images for Efficient Registration

With the advancement in the digital camera technology, the use of high r...
05/20/2016 ∙ by Chun Pang Yung, et al. ∙ 0 ∙ share

read it
Dynamic Feature Scaling for Online Learning of Binary Classifiers

Scaling feature values is an important step in numerous machine learning...
07/28/2014 ∙ by Danushka Bollegala, et al. ∙ 0 ∙ share

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...
09/06/2015 ∙ by Jianping Zhang, et al. ∙ 0 ∙ share

read it
Agent Based Approaches to Engineering Autonomous Space Software

Current approaches to the engineering of space software such as satellit...
03/02/2010 ∙ by Louise A. Dennis, et al. ∙ 0 ∙ share

read it
A novel variational model for image registration using Gaussian curvature

Image registration is one important task in many image processing applic...
04/28/2015 ∙ by Mazlinda Ibrahim, et al. ∙ 0 ∙ share

read it
On Concise Encodings of Preferred Extensions

Much work on argument systems has focussed on preferred extensions which...
07/08/2002 ∙ by Paul E. Dunne, et al. ∙ 0 ∙ share

read it
Compositional Approaches for Representing Relations Between Words: A Comparative Study

Identifying the relations that exist between words (or entities) is impo...
09/04/2017 ∙ by Huda Hakami, et al. ∙ 0 ∙ share

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...
10/19/2017 ∙ by Themistoklis Melissourgos, et al. ∙ 0 ∙ share

read it
Reachability Switching Games

In this paper, we study the problem of deciding the winner of reachabili...
09/26/2017 ∙ by John Fearnley, et al. ∙ 0 ∙ share

read it
Verification of Programs via Intermediate Interpretation

We explore an approach to verification of programs via program transform...
08/24/2017 ∙ by Alexei P. Lisitsa, et al. ∙ 0 ∙ share

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

The development and deployment of Autonomous Vehicles (AVs) on our roads...
09/08/2017 ∙ by Lucas E. R. Fernandes, et al. ∙ 0 ∙ share

read it
Colored Point-set Embeddings of Acyclic Graphs

We show that any planar drawing of a forest of three stars whose vertice...
08/30/2017 ∙ by Emilio Di Giacomo, et al. ∙ 0 ∙ share

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...
10/20/2017 ∙ by Marek Klonowski, et al. ∙ 0 ∙ share

read it
Practical Challenges in Explicit Ethical Machine Reasoning

We examine implemented systems for ethical machine reasoning with a view...
01/04/2018 ∙ by Louise Dennis, et al. ∙ 0 ∙ share

read it
Arrow Update Synthesis

In this contribution we present arbitrary arrow update model logic (AAUM...
02/03/2018 ∙ by Hans van Ditmarsch, et al. ∙ 0 ∙ share

read it
Formalising Sensor Topologies for Target Counting

We present a formal model developed to reason about topologies created b...
02/06/2018 ∙ by Sven Linker, et al. ∙ 0 ∙ share

read it

University of Liverpool

Featured Researchers