Adam Dingle

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 1

Top Topics

Information Extraction

Default Reasoning

Top Venues

PAAR+SC²@IJCAR

Publications

Adam Dingle
A Natural-Language Proof Assistant for Higher-Order Logic (Work in Progress). PAAR+SC²@IJCAR (2024)
Adam Dingle, Mark W. Morrison
Unsupervised image segmentation based on the comparison of local and regional histograms. ICIP (3) (1996)
Adam Dingle, Tomas Pártl
Web Cache Coherence. Comput. Networks 28 (7-11) (1996)
Adam Dingle, Richard J. Fateman
Branch Cuts in Computer Algebra. ISSAC (1994)
Adam Dingle, Hassan R. Barada
Optimum Embeddings of End-Around Meshes into Pyramid Networks. IPPS (1991)