dblp.uni-trier.dewww.uni-trier.de

David Sinclair

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
28EEOliver Lyttleton, David Sinclair, David Tracey: Mediating between heterogeneous ontologies using schema matching techniques. IRI 2005: 247-252
27EEDavid Sinclair, James F. Power: Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electr. Notes Theor. Comput. Sci. 133: 255-273 (2005)
2004
26EEDavid Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
25EEChristopher Town, David Sinclair: Language-based querying of image collections on the basis of an extensible ontology. Image Vision Comput. 22(3): 251-267 (2004)
24EEJames F. Power, David Sinclair: A Formal Model of Forth Control Words in the Pi-Calculus. J. UCS 10(9): 1272-1293 (2004)
2003
23EEChristopher Town, David Sinclair: A Self-Referential Perceptual Inference Framework for Video Interpretation. ICVS 2003: 54-67
2002
22EEMarcus J. Pickering, Stefan M. Rüger, David Sinclair: Video Retrieval by Feature Learning in Key Frames. CIVR 2002: 309-317
21EEFrédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48
2001
20EEKerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Does organisation by similarity assist image browsing? CHI 2001: 190-197
2000
19 David Sinclair, J. Paul Gibson: 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 BCS 2000
18EEDavid Sinclair: Smooth Region Structure: Folds, Domes, Bowls, Ridges, Valleys and Slopes. CVPR 2000: 1389-1394
17 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
16EETimothy J. Mills, David Pye, David Sinclair, Kenneth R. Wood: Managing photos with ATT shoebox. SIGIR 2000: 390
1999
15EEKerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Evaluating a Visualization of Image Similarity as a Tool for Image Browsing. INFOVIS 1999: 36-43
14 David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999
13EEKerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Evaluating a Visualisation of Image Similarity (poster abstract). SIGIR 1999: 275-276
1998
12EEDavid Sinclair: Using Example-Based Reasoning for Selective Move Generation in Two Player Adversarial Games. EWCBR 1998: 126-135
11EEDavid Sinclair: The GST load balancing algorithm for parallel and distributed systems. Int. J. Approx. Reasoning 19(1-2): 39-56 (1998)
1997
10 David Sinclair: Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition. HART 1997: 186-198
1996
9EEDavid Sinclair, K. Zesar: Further constraints on visual articulated motions. CVPR 1996: 94-
8EEDavid Sinclair, Andrew Blake: Quantitative planar region detection. International Journal of Computer Vision 18(1): 77-91 (1996)
1995
7 David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski: Validation of Hybrid Systems by Co-simulation. Hybrid Systems 1995: 315-326
6 David Sinclair, Gary Clynch, Brian Stone: An Object-Oriented Methodology from Requirements to Validation. OOIS 1995: 265-286
1994
5 David Sinclair, Boubakeur Boufama: Independent motion segmentation and collision prediction for road vehicles. ECCV (1) 1994: 161-166
4EEDavid Sinclair, Andrew Blake: Isoperimetric Normalization of Planar Curves. IEEE Trans. Pattern Anal. Mach. Intell. 16(8): 769-777 (1994)
3EEDavid Sinclair, Andrew Blake, David Murray: Robust estimation of egomotion from normal flow. International Journal of Computer Vision 13(1): 57-69 (1994)
1993
2EEG. Manos, A. Y. Cairns, Ian W. Ricketts, David Sinclair: Automatic segmentation of hand-wrist radiographs. Image Vision Comput. 11(2): 100-111 (1993)
1EEDavid Sinclair, Andrew Blake, S. Smith, Charlie Rothwell: Planar region detection and motion recovery. Image Vision Comput. 11(4): 229-234 (1993)

Coauthor Index

1Wojciech Basalaj [13] [15] [20]
2Andrew Blake [1] [3] [4] [8]
3Boubakeur Boufama (Boubakeur Boufama-Seddik) [5]
4A. Y. Cairns [2]
5Gérard Cécé [21]
6Gary Clynch [6]
7J. Paul Gibson [14] [17] [19]
8David Gray [14] [17] [26]
9Geoff W. Hamilton (Geoff Hamilton) [14] [17] [26]
10Eckhardt Holz [7]
11Olga Kouchnarenko [21]
12Oliver Lyttleton [28]
13G. Manos [2]
14Timothy J. Mills [16]
15David Murray [3]
16Frédéric Oehl [21]
17Marcus J. Pickering [22]
18James F. Power [14] [17] [24] [27]
19David Pye [16]
20Ian W. Ricketts [2]
21Kerry Rodden [13] [15] [20]
22Charlie Rothwell [1]
23Stefan M. Rüger [22]
24S. Smith [1]
25Brian Stone [6]
26Christopher Town [23] [25]
27David Tracey [28]
28Maciej Wasowski [7]
29Dorota Witaszek [7]
30Kenneth R. Wood [13] [15] [16] [20]
31K. Zesar [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)