David A. Randell

According to our database, David A. Randell authored at least 24 papers between 1989 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Novel applications of discrete mereotopology to mathematical morphology.

Gabriel Landini, Antony Galton, David A. Randell, Shereen Fouad

Signal Process. Image Commun., 2019

2017

Mereotopological Correction of Segmentation Errors in Histological Imaging.

David A. Randell, Antony Galton, Shereen Fouad, Hisham Mehanna, Gabriel Landini

J. Imaging, 2017

Epithelium and Stroma Identification in Histopathological Images Using Unsupervised and Semi-Supervised Superpixel-Based Segmentation.

Shereen Fouad, David A. Randell, Antony Galton, Hisham Mehanna, Gabriel Landini

J. Imaging, 2017

Model-Based Correction of Segmentation Errors in Digitised Histological Images.

David A. Randell, Antony Galton, Shereen Fouad, Hisham Mehanna, Gabriel Landini

Proceedings of the Medical Image Understanding and Analysis - 21st Annual Conference, 2017

Unsupervised Superpixel-Based Segmentation of Histopathological Images with Consensus Clustering.

Shereen Fouad, David A. Randell, Antony Galton, Hisham Mehanna, Gabriel Landini

Proceedings of the Medical Image Understanding and Analysis - 21st Annual Conference, 2017

Errors and Artefacts in Histopathological Imaging.

Antony Galton, Shereen Fouad, Gabriel Landini, David A. Randell

Proceedings of the 8th International Conference on Biomedical Ontology (ICBO 2017), Newcastle-upon-Tyne, United Kingdom, September 13th, 2017

2016

Morphological Separation of Clustered Nuclei in Histological Images.

Shereen Fouad, Gabriel Landini, David A. Randell, Antony Galton

Proceedings of the Image Analysis and Recognition - 13th International Conference, 2016

Ontological Levels in Histological Imaging.

Antony Galton, Gabriel Landini, David A. Randell, Shereen Fouad

Proceedings of the Formal Ontology in Information Systems, 2016

2015

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework.

Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, David A. Randell

Proceedings of the Artificial Intelligence Applications and Innovations, 2015

2013

Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis.

David A. Randell, Gabriel Landini, Antony Galton

IEEE Trans. Pattern Anal. Mach. Intell., 2013

2012

The application of support vector machine classification to detect cell nuclei for automated microscopy.

Ji Wan Han, Toby P. Breckon, David A. Randell, Gabriel Landini

Mach. Vis. Appl., 2012

2006

Abductive Visual Perception with Feature Clouds.

David A. Randell, Mark Witkowski

Proceedings of the Proceedings, 2006

Using Occlusion Calculi to Interpret Digital Images.

David A. Randell, Mark Witkowski

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2004

A Logic-Based Formulation of Active Visual Perception.

Murray Shanahan, David A. Randell

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2002

Building Large Composition Tables via Axiomatic Theories.

David A. Randell, Mark Witkowski

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax.

David A. Randell, Mark Witkowski, Murray Shanahan

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

1995

Taxonomies of logically defined qualitative spatial relations.

Anthony G. Cohn, David A. Randell, Zhan Cui

Int. J. Hum. Comput. Stud., 1995

Expert design knowledge: a case study in dental education.

John C. Davenport, F. J. Fitzpatrick, David A. Randell, Peter Hammond, M. G. de Mattos

Proceedings of the World Conference on Computers in Education VI, 1995

1993

Qualitative and Topological Relationships in Spatial Databases.

Zhan Cui, Anthony G. Cohn, David A. Randell

Proceedings of the Advances in Spatial Databases, 1993

1992

A Spatial Logic based on Regions and Connection.

David A. Randell, Zhan Cui, Anthony G. Cohn

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

An Interval Logic for Space Based on "Connection".

David A. Randell, Zhan Cui, Anthony G. Cohn

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Computing Transivity Tables: A Challenge For Automated Theorem Provers.

David A. Randell, Anthony G. Cohn, Zhan Cui

Proceedings of the Automated Deduction, 1992

Qualitative Simulation Based on a Logical Formalism of Space and Time.

Zhan Cui, Anthony G. Cohn, David A. Randell

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1989

Modelling Topological and Metrical Properties in Physical Processes.

David A. Randell, Anthony G. Cohn

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989