David Sinclair
According to our database1,
David Sinclair
authored at least 48 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
DanceMark: An Open Telemetry Framework for Latency-Sensitive Real-Time Networked Immersive Experiences.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2024
2022
2021
2019
IEEE Trans. Vis. Comput. Graph., 2019
2018
Proc. ACM Comput. Graph. Interact. Tech., 2018
Comput. Animat. Virtual Worlds, 2018
2017
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2017
Proceedings of the 43rd Graphics Interface Conference 2017, 2017
2016
CoRR, 2016
2014
Proceedings of the 20th ACM Symposium on Virtual Reality Software and Technology, 2014
2011
Proceedings of the Current Challenges in Patent Information Retrieval, 2011
2010
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
Comput. J., 2009
2005
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005
2004
J. Univers. Comput. Sci., 2004
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
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
Proceedings of the Computer Vision Systems, Third International Conference, 2003
2002
Proceedings of the Formal Aspects of Security, First International Conference, 2002
Proceedings of the Image and Video Retrieval, International Conference, 2002
2001
Proceedings of the CHI 2001 Conference on Human Factors in Computing Systems, Seattle, WA, USA, March 31, 2001
2000
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
Proceedings of the 2000 Conference on Computer Vision and Pattern Recognition (CVPR 2000), 2000
1999
Proceedings of the SIGIR '99: Proceedings of the 22nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1999
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999
Proceedings of the IEEE Symposium on Information Visualization 1999 (INFOVIS'99), 1999
1998
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
Proceedings of the 13th International Conference on Pattern Recognition, 1996
Proceedings of the 13th International Conference on Pattern Recognition, 1996
Proceedings of the 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), 1996
1995
Proceedings of the 1995 International Conference on Object Oriented Information Systems, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
1994
IEEE Trans. Pattern Anal. Mach. Intell., 1994
Proceedings of the Computer Vision, 1994
Proceedings of the Conference on Computer Vision and Pattern Recognition, 1994
1993
Proceedings of the Fourth International Conference on Computer Vision, 1993
1991
Proceedings of the British Machine Vision Conference, 1991
1990
Proceedings of the British Machine Vision Conference, 1990