David A. Randell

24 papers A* 7A 3C 1Misc 1Journal 6Unranked 6

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Novel applications of discrete mereotopology to mathematical morphology. Signal Process. Image Commun. Gabriel Landini, Antony Galton, David A. Randell, Shereen Fouad
2017	J	`jnl`	Epithelium and Stroma Identification in Histopathological Images Using Unsupervised and Semi-Supervised Superpixel-Based Segmentation. J. Imaging Shereen Fouad, David A. Randell, Antony Galton, Hisham Mehanna, Gabriel Landini
2017	—	`conf`	Errors and Artefacts in Histopathological Imaging. ICBO Antony Galton, Shereen Fouad, Gabriel Landini, David A. Randell
2017	J	`jnl`	Mereotopological Correction of Segmentation Errors in Histological Imaging. J. Imaging David A. Randell, Antony Galton, Shereen Fouad, Hisham Mehanna, Gabriel Landini
2017	—	`conf`	Model-Based Correction of Segmentation Errors in Digitised Histological Images. MIUA David A. Randell, Antony Galton, Shereen Fouad, Hisham Mehanna, Gabriel Landini
2017	—	`conf`	Unsupervised Superpixel-Based Segmentation of Histopathological Images with Consensus Clustering. MIUA Shereen Fouad, David A. Randell, Antony Galton, Hisham Mehanna, Gabriel Landini
2016	—	`conf`	Morphological Separation of Clustered Nuclei in Histological Images. ICIAR Shereen Fouad, Gabriel Landini, David A. Randell, Antony Galton
2016	C	`conf`	Ontological Levels in Histological Imaging. FOIS Antony Galton, Gabriel Landini, David A. Randell, Shereen Fouad
2015	Misc	`conf`	Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework. AIAI Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, David A. Randell
2013	J	`jnl`	Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis. IEEE Trans. Pattern Anal. Mach. Intell. David A. Randell, Gabriel Landini, Antony Galton
2012	J	`jnl`	The application of support vector machine classification to detect cell nuclei for automated microscopy. Mach. Vis. Appl. Ji Wan Han, Toby P. Breckon, David A. Randell, Gabriel Landini
2006	A*	`conf`	Abductive Visual Perception with Feature Clouds. KR David A. Randell, Mark Witkowski
2006	A	`conf`	Using Occlusion Calculi to Interpret Digital Images. ECAI David A. Randell, Mark Witkowski
2004	A*	`conf`	A Logic-Based Formulation of Active Visual Perception. KR Murray Shanahan, David A. Randell
2002	A*	`conf`	Building Large Composition Tables via Axiomatic Theories. KR David A. Randell, Mark Witkowski
2001	A*	`conf`	From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. IJCAI David A. Randell, Mark Witkowski, Murray Shanahan
1995	—	`conf`	Expert design knowledge: a case study in dental education. WCCE John C. Davenport, F. J. Fitzpatrick, David A. Randell, Peter Hammond, M. G. de Mattos
1995	J	`jnl`	Taxonomies of logically defined qualitative spatial relations. Int. J. Hum. Comput. Stud. Anthony G. Cohn, David A. Randell, Zhan Cui
1993	—	`conf`	Qualitative and Topological Relationships in Spatial Databases. SSD Zhan Cui, Anthony G. Cohn, David A. Randell
1992	A*	`conf`	A Spatial Logic based on Regions and Connection. KR David A. Randell, Zhan Cui, Anthony G. Cohn
1992	A	`conf`	An Interval Logic for Space Based on "Connection". ECAI David A. Randell, Zhan Cui, Anthony G. Cohn
1992	A	`conf`	Computing Transivity Tables: A Challenge For Automated Theorem Provers. CADE David A. Randell, Anthony G. Cohn, Zhan Cui
1992	A*	`conf`	Qualitative Simulation Based on a Logical Formalism of Space and Time. AAAI Zhan Cui, Anthony G. Cohn, David A. Randell
1989	A*	`conf`	Modelling Topological and Metrical Properties in Physical Processes. KR David A. Randell, Anthony G. Cohn