David Sinclair

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: 1-4

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): 808-823 (2009)

David Sinclair, James F. Power: Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electr. Notes Theor. Comput. Sci. 133: 255-273 (2005)

Oliver Lyttleton, David Sinclair, David Tracey: Mediating between heterogeneous ontologies using schema matching techniques. IRI 2005: 247-252

Christopher Town, David Sinclair: Language-based querying of image collections on the basis of an extensible ontology. Image Vision Comput. 22(3): 251-267 (2004)

James F. Power, David Sinclair: A Formal Model of Forth Control Words in the Pi-Calculus. J. UCS 10(9): 1272-1293 (2004)

David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63

Christopher Town, David Sinclair: A Self-Referential Perceptual Inference Framework for Video Interpretation. ICVS 2003: 54-67

Marcus J. Pickering, Stefan M. Rüger, David Sinclair: Video Retrieval by Feature Learning in Key Frames. CIVR 2002: 309-317

Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48

Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Does organisation by similarity assist image browsing? CHI 2001: 190-197

David Sinclair: Smooth Region Structure: Folds, Domes, Bowls, Ridges, Valleys and Slopes. CVPR 2000: 1389-1394

David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton: Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110

Timothy J. Mills, David Pye, David Sinclair, Kenneth R. Wood: Managing photos with ATT shoebox. SIGIR 2000: 390

David Sinclair, J. Paul Gibson (Eds.): 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS 2000

Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Evaluating a Visualization of Image Similarity as a Tool for Image Browsing. INFOVIS 1999: 36-43

David Gray, Geoff 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 Visualisation of Image Similarity (poster abstract). SIGIR 1999: 275-276

David Sinclair: The GST load balancing algorithm for parallel and distributed systems. Int. J. Approx. Reasoning 19(1-2): 39-56 (1998)

David Sinclair: Using Example-Based Reasoning for Selective Move Generation in Two Player Adversarial Games. EWCBR 1998: 126-135

David Sinclair: Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition. HART 1997: 186-198

David Sinclair, Andrew Blake: Quantitative planar region detection. International Journal of Computer Vision 18(1): 77-91 (1996)

David Sinclair, K. Zesar: Further constraints on visual articulated motions. CVPR 1996: 94-99

David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski: Validation of Hybrid Systems by Co-simulation. Hybrid Systems 1995: 315-326

David Sinclair, Gary Clynch, Brian Stone: An Object-Oriented Methodology from Requirements to Validation. OOIS 1995: 265-286

David Sinclair, Andrew Blake, David W. Murray: Robust estimation of egomotion from normal flow. International Journal of Computer Vision 13(1): 57-69 (1994)

David Sinclair, Andrew Blake: Isoperimetric Normalization of Planar Curves. IEEE Trans. Pattern Anal. Mach. Intell. 16(8): 769-777 (1994)

David Sinclair, Boubakeur Boufama: Independent motion segmentation and collision prediction for road vehicles. ECCV (1) 1994: 161-166

G. Manos, A. Y. Cairns, Ian W. Ricketts, David Sinclair: Automatic segmentation of hand-wrist radiographs. Image Vision Comput. 11(2): 100-111 (1993)

David Sinclair, Andrew Blake, Stephen M. Smith, Charlie Rothwell: Planar region detection and motion recovery. Image Vision Comput. 11(4): 229-234 (1993)

David Sinclair: Motion segmentation and local structure. ICCV 1993: 366-373

David Sinclair, Andrew Blake, Stephen M. Smith, Charlie Rothwell: Planar Region Detection and Motion Recovery. BMVC 1992: 1-10

David Sinclair, Andrew Blake, Paul A. Beardsley, David W. Murray: A Novel Approach to Motion Segmentation. BMVC 1991: 1-4

David Sinclair, Andrew Blake, David W. Murray: Robust ego-motion estimation. BMVC 1990: 1-6