A Refinement of the McCreight-Meyer Union Theorem.

Matthew Fox Chaitanya D. Karamchedu

Published in: CoRR (2024)

Keyphrases

refinement process
real time
computer vision
three dimensional
von neumann
digital topology
neural network
multi agent
cooperative
multiresolution
query refinement
interactive theorem proving