David Sinclair

According to our database1, David Sinclair authored at least 47 papers between 1990 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Patch DCT vs LeNet.
CoRR, 2022

2021
A generalised feature for low level vision.
CoRR, 2021

2019
Compressed Animated Light Fields with Real-Time View-Dependent Reconstruction.
IEEE Trans. Vis. Comput. Graph., 2019

2018
GPU-accelerated depth codec for real-time, high-quality light field reconstruction.
Proc. ACM Comput. Graph. Interact. Tech., 2018

Empowerment and embodiment for collaborative mixed reality systems.
Comput. Animat. Virtual Worlds, 2018

2017
IRIDiuM+: deep media storytelling with non-linear light field video.
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2017

Real-time Rendering with Compressed Animated Light Fields.
Proceedings of the 43rd Graphics Interface Conference 2017, 2017

2016
S-hull: a fast radial sweep-hull routine for Delaunay triangulation.
CoRR, 2016

A 3D Sweep Hull Algorithm for computing Convex Hulls and Delaunay Triangulation.
CoRR, 2016

2014
Dual sensor filtering for robust tracking of head-mounted displays.
Proceedings of the 20th ACM Symposium on Virtual Reality Software and Technology, 2014

2011
Intelligent Information Access from Scientific Papers.
Proceedings of the Current Challenges in Patent Information Retrieval, 2011

2010
Hybrid Systems Design Methodology.
ERCIM News, 2010

Camtology: Intelligent Information Access for Science.
Proceedings of the Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, June 2, 2010, Los Angeles, California, USA, 2010

2009
Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts.
Comput. J., 2009

2005
Mediating between heterogeneous ontologies using schema matching techniques.
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

2004
A Formal Model of Forth Control Words in the Pi-Calculus.
J. Univers. Comput. Sci., 2004

Language-based querying of image collections on the basis of an extensible ontology.
Image Vis. Comput., 2004

Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic.
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Synthesising Attacks on Cryptographic Protocols.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
A Self-Referential Perceptual Inference Framework for Video Interpretation.
Proceedings of the Computer Vision Systems, Third International Conference, 2003

2002
Automatic Approximation for the Verification of Cryptographic Protocols.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

Video Retrieval by Feature Learning in Key Frames.
Proceedings of the Image and Video Retrieval, International Conference, 2002

2001
Does organisation by similarity assist image browsing?
Proceedings of the CHI 2001 Conference on Human Factors in Computing Systems, Seattle, WA, USA, March 31, 2001

2000
Managing photos with ATT shoebox.
Proceedings of the SIGIR 2000: Proceedings of the 23rd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2000

Specifying and Verifying IP with Linear Logic.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Smooth Region Structure: Folds, Domes, Bowls, Ridges, Valleys and Slopes.
Proceedings of the 2000 Conference on Computer Vision and Pattern Recognition (CVPR 2000), 2000

1999
Evaluating a Visualisation of Image Similarity (poster abstract).
Proceedings of the SIGIR '99: Proceedings of the 22nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1999

Four Logics and a Protocol.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Evaluating a Visualization of Image Similarity as a Tool for Image Browsing.
Proceedings of the IEEE Symposium on Information Visualization 1999 (INFOVIS'99), 1999

1998
The GST load balancing algorithm for parallel and distributed systems.
Int. J. Approx. Reason., 1998

Using Example-Based Reasoning for Selective Move Generation in Two Player Adversarial Games.
Proceedings of the Advances in Case-Based Reasoning, 4th European Workshop, 1998

1997
Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition.
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
Quantitative planar region detection.
Int. J. Comput. Vis., 1996

Cluster-based texture analysis.
Proceedings of the 13th International Conference on Pattern Recognition, 1996

The Euclidean hinge constraint in articulated motions.
Proceedings of the 13th International Conference on Pattern Recognition, 1996

Further constraints on visual articulated motions.
Proceedings of the 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), 1996

1995
An Object-Oriented Methodology from Requirements to Validation.
Proceedings of the 1995 International Conference on Object Oriented Information Systems, 1995

Validation of Hybrid Systems by Co-simulation.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
Isoperimetric Normalization of Planar Curves.
IEEE Trans. Pattern Anal. Mach. Intell., 1994

Robust estimation of egomotion from normal flow.
Int. J. Comput. Vis., 1994

Independent motion segmentation and collision prediction for road vehicles.
Proceedings of the Computer Vision, 1994

Independent motion segmentation and collision prediction for road vehicles.
Proceedings of the Conference on Computer Vision and Pattern Recognition, 1994

1993
Planar region detection and motion recovery.
Image Vis. Comput., 1993

Automatic segmentation of hand-wrist radiographs.
Image Vis. Comput., 1993

Motion segmentation and local structure.
Proceedings of the Fourth International Conference on Computer Vision, 1993

1991
A Novel Approach to Motion Segmentation.
Proceedings of the British Machine Vision Conference, 1991

1990
Robust ego-motion estimation.
Proceedings of the British Machine Vision Conference, 1990


  Loading...