David Sinclair

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 10

Top Topics

High Level Vision

Top Venues

Graphics Interface

Comput. Animat. Virtual Worlds

Publications

Babis Koniaris, David Sinclair, Kenny Mitchell
DanceMark: An Open Telemetry Framework for Latency-Sensitive Real-Time Networked Immersive Experiences. VR Workshops (2024)
David Sinclair
Patch DCT vs LeNet. CoRR (2022)
David Sinclair, Christopher Town
A generalised feature for low level vision. CoRR (2021)
Charalampos Koniaris, Maggie Kosek, David Sinclair, Kenny Mitchell
Compressed Animated Light Fields with Real-Time View-Dependent Reconstruction. IEEE Trans. Vis. Comput. Graph. 25 (4) (2019)
Babis Koniaris, Maggie Kosek, David Sinclair, Kenny Mitchell
GPU-accelerated depth codec for real-time, high-quality light field reconstruction. Proc. ACM Comput. Graph. Interact. Tech. 1 (1) (2018)
Ye Pan, David Sinclair, Kenny Mitchell
Empowerment and embodiment for collaborative mixed reality systems. Comput. Animat. Virtual Worlds 29 (3-4) (2018)
Maggie Kosek, Babis Koniaris, David Sinclair, Desislava Markova, Fraser Rothnie, Lanny Smoot, Kenny Mitchell
IRIDiuM+: deep media storytelling with non-linear light field video. SIGGRAPH VR Village (2017)
Babis Koniaris, Maggie Kosek, David Sinclair, Kenny Mitchell
Real-time Rendering with Compressed Animated Light Fields. Graphics Interface (2017)
David Sinclair
A 3D Sweep Hull Algorithm for computing Convex Hulls and Delaunay Triangulation. CoRR (2016)
David Sinclair
S-hull: a fast radial sweep-hull routine for Delaunay triangulation. CoRR (2016)
Nicholas T. Swafford, Bastiaan Johannes Boom, Kartic Subr, David Sinclair, Darren Cosker, Kenny Mitchell
Dual sensor filtering for robust tracking of head-mounted displays. VRST (2014)
Michal Pluska, David Sinclair
Hybrid Systems Design Methodology. ERCIM News 2010 (81) (2010)
Ted Briscoe, Karl Harrison, Andrew Naish-Guzman, Andy Parker, Advaith Siddharthan, David Sinclair, Mark Slater, Rebecca Watson
Camtology: Intelligent Information Access for Science. NAACL (Demos) (2010)
Liang Bai, Songyang Lao, Alan F. Smeaton, Noel E. O'Connor, David A. Sadlier, David Sinclair
Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts. Comput. J. 52 (7) (2009)
Oliver Lyttleton, David Sinclair, David Tracey
Mediating between heterogeneous ontologies using schema matching techniques. IRI (2005)
David Sinclair, James F. Power
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electron. Notes Theor. Comput. Sci. 133 (2005)
James F. Power, David Sinclair
A Formal Model of Forth Control Words in the Pi-Calculus. J. Univers. Comput. Sci. 10 (9) (2004)
David Sinclair, David Gray, Geoff W. Hamilton
Synthesising Attacks on Cryptographic Protocols. ATVA (2004)
Christopher Town, David Sinclair
Language-based querying of image collections on the basis of an extensible ontology. Image Vis. Comput. 22 (3) (2004)
Christopher Town, David Sinclair
A Self-Referential Perceptual Inference Framework for Video Interpretation. ICVS (2003)
Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair
Automatic Approximation for the Verification of Cryptographic Protocols. FASec (2002)
Marcus Jerome Pickering, Stefan M. Rüger, David Sinclair
Video Retrieval by Feature Learning in Key Frames. CIVR (2002)
Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood
Does organisation by similarity assist image browsing? CHI (2001)
Timothy J. Mills, David Pye, David Sinclair, Kenneth R. Wood
Managing photos with ATT shoebox. SIGIR (2000)
David Sinclair
Smooth Region Structure: Folds, Domes, Bowls, Ridges, Valleys and Slopes. CVPR (2000)
David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton
Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification (2000)
David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power
Four Logics and a Protocol. IWFM (1999)
Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood
Evaluating a Visualization of Image Similarity as a Tool for Image Browsing. INFOVIS (1999)
Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood
Evaluating a Visualisation of Image Similarity (poster abstract). SIGIR (1999)
David Sinclair
Using Example-Based Reasoning for Selective Move Generation in Two Player Adversarial Games. EWCBR (1998)
David Sinclair
The GST load balancing algorithm for parallel and distributed systems. Int. J. Approx. Reason. 19 (1-2) (1998)
David Sinclair
Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition. HART (1997)
David Sinclair
The Euclidean hinge constraint in articulated motions. ICPR (1996)
David Sinclair
Cluster-based texture analysis. ICPR (1996)
David Sinclair, K. Zesar
Further constraints on visual articulated motions. CVPR (1996)
David Sinclair, Andrew Blake
Quantitative planar region detection. Int. J. Comput. Vis. 18 (1) (1996)
David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski
Validation of Hybrid Systems by Co-simulation. Hybrid Systems (1995)
David Sinclair, Gary Clynch, Brian Stone
An Object-Oriented Methodology from Requirements to Validation. OOIS (1995)
David Sinclair, Andrew Blake, David William Murray
Robust estimation of egomotion from normal flow. Int. J. Comput. Vis. 13 (1) (1994)
David Sinclair, Boubakeur Boufama, Roger Mohr
Independent motion segmentation and collision prediction for road vehicles. CVPR (1994)
David Sinclair, Boubakeur Boufama
Independent motion segmentation and collision prediction for road vehicles. ECCV (1) (1994)
David Sinclair, Andrew Blake
Isoperimetric Normalization of Planar Curves. IEEE Trans. Pattern Anal. Mach. Intell. 16 (8) (1994)
David Sinclair
Motion segmentation and local structure. ICCV (1993)
G. Manos, A. Y. Cairns, Ian W. Ricketts, David Sinclair
Automatic segmentation of hand-wrist radiographs. Image Vis. Comput. 11 (2) (1993)
David Sinclair, Andrew Blake, Stephen M. Smith, Charlie Rothwell
Planar region detection and motion recovery. Image Vis. Comput. 11 (4) (1993)
David Sinclair, Andrew Blake, Stephen M. Smith, Charlie Rothwell
Planar Region Detection and Motion Recovery. BMVC (1992)
David Sinclair, Andrew Blake, Paul A. Beardsley, David William Murray
A Novel Approach to Motion Segmentation. BMVC (1991)
David Sinclair, Andrew Blake, David William Murray
Robust ego-motion estimation. BMVC (1990)