ePrints

Towards a Framework for Monotonic Approximations

Lookup NU author(s): Dr Anirban Bhattacharyya, Professor Maciej KoutnyORCiD, Professor Brian RandellORCiD

Downloads

• Published version [.pdf]

Abstract

This report presents an initial framework for modelling and analyzing algorithms that approximate fixed points of vector functions defined over multiple domains. We assume successive approximations of the algorithms form a well partial order, and prove that such (sequential) algorithms terminate with a unique result.

Publication metadata

Author(s): Bhattacharyya A, Koutny M, Randell B

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2017

Pages: 12

Print publication date: 19/06/2017

Acceptance date: 19/06/2017

Report Number: 1506

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: https://assets.cs.ncl.ac.uk/TRs/1506.pdf

Share