Semantic analysis of field sports video using a petri-net of audio-visual concepts (2009)
Liang, Bai, Lao, Songyang, Smeaton, Alan F., O'Connor, Noel E., Sadlier, David, Sinclair, David
The most common approach to automatic summarisation and highlight detection in sports video is to train an automatic classifier to detect semantic highlights based on occurrences of low-level...
Semantic analysis of field sports video using a petri-net of audio-visual concepts (2009)
Liang, Bai, Lao, Songyang, Smeaton, Alan F., O'Connor, Noel E., Sadlier, David, Sinclair, David
The most common approach to automatic summarisation and highlight detection in sports video is to train an automatic classifier to detect semantic highlights based on occurrences of low-level...
Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts (2009)
Bai, Liang, Lao, Songyang, Smeaton, Alan F., O'Connor, Noel E., Sadlier, David, Sinclair, David
The most common approach to automatic summarization and highlight detection in sports video is to train an automatic classifier to detect semantic highlights based on occurrences of low-level...
A Formal Model of Forth Control Words in the Pi-Calculus (2008)
James F. Power, David Sinclair
Abstract: In this paper we develop a formal specification of aspects of the Forth programming language. We describe the operation of the Forth compiler as it translates Forth control words, dealing...
Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth Wood
A low-level content-based measurement of image similarity can be used to create a visualisation of an image set, in which visually similar images are displayed close to each other. We are carrying...
Muhonen, Leea H, Lahti, Jari, Sinclair, David, Lönnqvist, Jouko, Alho, Hannu
Abstract Background Alcohol dependence comorbid with major depressive disorder poses a major challenge in the clinical setting. The results in the treatment with selective serotonin re-uptake...
Wavelength Shifters for Water Cherenkov Detectors (2008)
Dai, Xiongxin, Rollin, Etienne, Bellerive, Alain, Hargrove, Cliff, Sinclair, David, Mifflin, Cathy, ...
The light yield of a water-based Cherenkov detector can be significantly improved by adding a wavelength shifter. Wavelength shifter (WLS) molecules absorb ultraviolet photons and re-emit them at...
Jianguo Jack Wang, Jinling Wang, Hung Kyu Lee, David Sinclair, Leo Watts
GPS has been widely used as a geo-referencing tool in aerial surveying. However, the accuracy and availability of GPS positioning cannot meet the stringent requirements of large-scale photogrammetry....
Chinese Professionals in Global Positioning Systems (2008)
Jianguo Jack Wang, Jinling Wang, David Sinclair, Leo Watts
Engineering. His current research interests include precision kinematic positioning and navigation sensor integration. Jinling Wang is a senior lecturer in the School of Surveying & Spatial...
FLIGHT TEST OF A GPS/INS/PSEUDOLITE INTEGRATED SYSTEM FOR AIRBORNE MAPPING (2008)
Jianguo Wang, Jinling Wang, Joel Barnes, David Sinclair, Leo Watts
Carrier phase based DGPS systems have been used for airborne mapping for many years. Integrated GPS/INS systems are also becoming popular in order to improve the positioning accuracy, system...
Specifying and Verifying IP with Linear Logic (2007)
David Sinclair, James Power, Paul Gibson, David Gray, Geoff Hamilton
This paper presents a specication and verication of the Internet Protocol (IP) in linear logic. IP has the essential propoerties of a typical distributed system. This paper shows how linear logic can...
Specifying and Verifying TCP/IP with Linear Logic (2007)
This paper presents a specification of the IP layer[1] and the TCP layer[2] in linear logic and shows how linear logic[3] can be used to prove some properties of both layers. The particular variation...
A Formal Model of Forth Control Words in the Pi-Calculus- and its animation in Pict (2007)
In this paper we develop a formal model of aspects of the Forth programming language. We describe the operation of the Forth compiler as it translates Forth control words, dealing in particular with...
AT&T Laboratories Cambridge (2007)
This paper discusses the design and implementation of the oquel query language for content based image retrieval. The retrieval process takes place entirely within the ontological domain dened by the...
In this paper, the approaches of Paulson and of Genet and Klay to verify cryptographic protocols are summarized. Then the paper explains why and how these two techniques can be combined. By combining...
In this article we explore the formal verification of mobile and distributed systems by using term rewriting of applied π-calculus operations. We propose a series of rewriting rules of applied...
Language-based querying of image collections on the basis of an extensible ontology (2004)
Christopher Town, David Sinclair
The design of a specialised query language for content based image retrieval (CBIR) provides a means of addressing many of the problems associated with commonly used query paradigms such as...
Language-based querying of image collections on the basis of an extensible ontology (2004)
Christopher Town, David Sinclair
The design of a specialised query language for content based image retrieval (CBIR) provides a means of addressing many of the problems associated with commonly used query paradigms such as...
Tropospheric Delay Estimation for Pseudolite Positioning (2004)
Jianguo Jack Wang, Jinling Wang, David Sinclair, Leo Watts, Hung Kyu Lee
Abstract. Pseudolites, ground-based GPS signal transmitters, can significantly enhance the GPS satellite geometry or can even be an independent positioning system. However, as pseudolites are very...
A Self-Referential Perceptual Inference Framework for Video Interpretation (2003)
Christopher Town, David Sinclair
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interpretation is...
Automatic Approximation for the Verification of Cryptographic Protocols (2003)
Frédéric OEHL, Gérard CECE, Olga Kouchnarenko, David Sinclair
This paper presents an approximation function developed for the verication of cryptographic protocols. The main properties of this approximation are that it can be build automatically and its...
Automatic Approximation for the Verification of Cryptographic Protocols (2002)
Oehl, Frédéric, Cécé, Gérard, Kouchnarenko, Olga, Sinclair, David
This paper presents an approximation function developed for the verification of cryptographic protocols. The main properties of this approximation are that it can be build automatically and its...
Automatic Approximation for the Verification of Cryptographic Protocols (2002)
Oehl, Frédéric, Cécé, Gérard, Kouchnarenko, Olga, Sinclair, David
This paper presents an approximation function developed for the verification of cryptographic protocols. The main properties of this approximation are that it can be build automatically and its...
Video retrieval by feature learning in key frames (2002)
Marcus J Pickering, Stefan M Riiger, David Sinclair
Abstract. We evaluate the application of feature-vector based image retrieval methods to the problem of video retrieval. A vast number of primitive features is calculated for each of the key frames...
Combining ISABELLE and Timbuk for Cryptographic Protocol Verification (2002)
In this paper, the approaches of Paulson and of Genet and Klay to verify cryptographic protocols are summarized. Then the paper explains why and how these two techniques can be combined. By combining...
Combining ISABELLE and Timbuk for Cryptographic Protocol Verification (2002)
In this paper, the approaches of Paulson and of Genet and Klay to verify cryptographic protocols are summarized. Then the paper explains why and how these two techniques can be combined. By combining...
A Formal Model of Forth Control Words in the Pi-Calculus - and its animation in Pict (2001)
In this paper we develop a formal specification of aspects of the Forth programming language. We describe the operation of the Forth compiler as it translates Forth control words, dealing in...
A Formal Model of Forth Control Words in the Pi-Calculus- and its animation in Pict (2001)
Co. Kildare, James Power, David Sinclair, David Sinclair, James Power
In this paper we develop a formal model of aspects of the Forth programming language. We describe the operation of the Forth compiler as it translates Forth control words, dealing in particular with...
A formal model of Forth control words in the Pi-calculus - and its animation in Pict (2001)
James F. Power, David Sinclair
Abstract: In this paper we develop a formal specification of aspects of the Forth programming language. We describe the operation of the Forth compiler as it translates Forth control words, dealing...
Shoebox: A digital photo management system (2000)
Timothy J. Mills, David Pye, David Sinclair, Kenneth R. Wood
This paper reports recent work at AT&T to develop a system for the management of personal digital photograph collections. Shoebox, the resulting software package, provides a range of browsing and...
Shoebox: A digital photo management system (2000)
Timothy J. Mills, David Pye, David Sinclair, Kenneth R. Wood
This paper reports recent work at AT&T to develop a system for the management of personal digital photograph collections. Shoebox, the resulting software package, provides a range of browsing and...
A Comparison of Measures for Visualising Image Similarity (2000)
Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth Wood
A low-level content-based measurement of image similarity can be used to create a visualisation of an image set, in which visually similar images are displayed close to each other. We are carrying...
Four logics and a protocol (1999)
David Gray, Geoff Hamilton, David Sinclair, Paul Gibson, James Power
The Internet Protocol (IP) is the protocol used to provide connectionless communication between hosts connected to the Internet. It provides a basic internetworking service to transport protocols...
Four logics and a protocol (1999)
David Gray, Geoff Hamilton, David Sinclair, Paul Gibson, James Power
The Internet Protocol (IP) is the protocol used to provide connectionless communication between hosts connected to the Internet. It provides a basic internetworking service to transport protocols...
Four logics and a protocol (1999)
David Gray, Geoff Hamilton, David Sinclair, Paul Gibson, James Power
The Internet Protocol (IP) is the protocol used to provide connectionless communication between hosts connected to the Internet. It provides a basic internetworking service to transport protocols...
Four Logics and a Protocol (1999)
David Gray, Geoff Hamilton, David Sinclair, Paul Gibson, James Power
The Internet Protocol (IP) is the protocol used to provide connectionless communication between hosts connected to the Internet. It provides a basic internetworking service to transport protocols...
Evaluating a Visualisation of Image Similarity as a Tool for Image Browsing (1999)
Kerry Rodden Wojciech, Wojciech Basalaj, David Sinclair, Kenneth Wood
A similarity metric based on the low-level content of images can be used to create a visualisation in which visually similar images are displayed close to each other. We are carrying out a series of...
Evaluating a Visualisation of Image Similarity as a Tool for Image Browsing (1999)
Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth Wood
A similarity metric based on the low-level content of images can be used to create a visualisation in which visually similar images are displayed close to each other. We are carrying out a series of...
Evaluating a Visualisation of Image Similarity (1999)
Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth Wood
A similarity metric based on the low-level content of images can be used to create a visualisation in which visually similar images are displayed close to each other. We are carrying out a series of...
Object Recognition by Active Fusion (1996)
Manfred Prantl, Hermann Borotschnig, Harald Ganster, David Sinclair, Axel Pinz
Today's computer vision applications often have to deal with multiple, uncertain, and incomplete visual information. In this paper, we apply a new method, termed `active fusion', to the...