David R. Hardoon, Southampton So Bj, John Shawe-taylor, Southampton So Bj, Sandor Szedmak
In this paper we propose an approach to automatically annotate query
The categorization of speech sounds by the auditory system has been a subject of intense attention over several decades, reflecting its importance to the scientific study of speech perception and the...
Department of Electronics and Computer Science, (2008)
Christine H. Shadle, Robert I. Damper, Southampton So Bj
Concatenative synthesis is currently the favoured approach to text-to-speech synthesis, yet it has fundamental limitations. In the longer-term, articulatory synthesis has much greater potential....
University of Southampton, Highfield, (2008)
Richard Banach, Czeslaw Jeske, Susan Stepney, Southampton So Bj
Abstract. The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first verification...
Department of Electronics and Computer Science, (2008)
R. I. Damper, T. W. Scutt, Southampton So Bj
Abstract. This paper describes the Hi-NOON neural simulator, originally conceived as a general-purpose, object-oriented software system for the simulation of small systems of biological neurons, as...
University of Southampton, Highfield, (2008)
Richard Banach, Czeslaw Jeske, Susan Stepney, Southampton So Bj
Abstract. Some of the success stories of model based refinement are recalled, as well as some of the annoyances that arise when refinement is deployed in the engineering of large systems. The way...
Composing and Promoting Retrenchments in Z (2008)
Richard Banach Michael, Czeslaw Jeske, Southampton So Bj
We briefly review the the compositional mechanisms of Z, i.e. the schema calculus and promotion. Retrenchment, a generalization of classical data refinement, is reviewed in a Z setting. Experience...
Retrenchment and the Mondex Electronic Purse (2008)
Exte Nd Ed, Richard Banach, Czeslaw Jeske, Susan Stepney, Southampton So Bj
Richard Banach , Michael Poppleton Czeslaw Jeske and Susan Stepney Department of Computer Science, University of Manchester, Manchester M13 9PL, UK, fbanach,cjg@cs.man.ac.uk Department of Electronics...
Department of Electronics and Computer Science, University of Southampton, (2007)
We have previously described the ARBIB autonomous robot which consists of a mobile platform running a neural network simulator. Unlike most other behaving robots, the neural system is...
Department of Electronics and Computer Science, (2007)
This paper describes the Hi-NOON neural simulator, originally conceived as a general-purpose, objectoriented software system for the simulation of small systems of biological neurons, as an aid to...
University of Southampton, (2007)
Robert I. Damper, Stuart J. Gilson, Southampton So Bj
Edge linking is a fundamental computer-vision task, yet presents difficulties arising from the lack of information in the image. Viewed as a constrained optimisation problem, it is NP hard-- being...
Matching Flat Objects In 3D Space Using Dynamic Link Architecture (2007)
H.C. Sim, R. I. Damper, Southampton So Bj
This paper describes a novel approach for planar object matching which is invariant to 3D perspective transformation and partial occlusion. The object's domain is not restricted to purely 2D...
Department of Electronics and Computer Science, (2007)
Kenji Takeda, Ivan Wolton, Denis Nicole, Southampton So Bj
Topics related to software portability and maintenance are often overlooked in favour of code optimisation and other shorter-term programming issues. However, in the long run these can be crucial in...
Previous attempts to derive connectionist models for text-tophoneme conversion – such as NETtalk and NETspeak – have generally used pre-aligned training data and purely feedforward networks, both...
Stephane Dussy EADS Launch Vehicles (2007)
Koldo Basterretxea, Shankar P. Bhattacharyya, Sheng Chen, High Eld, Southampton So Bj, ...
e-mail:
R. I. Damper, M. A. Tranchant, S. M. Lewis, Southampton So Bj
Speech input is frequently claimed to offer great benefits in human-computer interaction, yet experimental comparisons (conducted over many years) of speech and keying as input media have produced...
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (2005)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney, Southampton So Bj
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first verification to achieve...
DOI: 10.1017/S0022112004009218 Printed in the United Kingdom Inertial levitation (2003)
G. Kozyreff, Southampton So Bj
We consider the steady levitation of a rigid plate on a thin air cushion with prescribed injection velocity. This injection velocity is assumed to be much larger than that in a conventional Prandtl...
challenges to computational science (1989)
Southampton So Bj, Max Wilson, Alistair Russell, Daniel A. Smith
Copyright is held by the author/owner(s).