DILL (Digital Logic in LOTOS) is a language and an approach to specify digital logic in LOTOS; the initial version of DILL was developed in 1993 at Stirling. This technical report investigates...
The claim is often made that functional programs are "more" expressive than their imperative counterparts. This paper examines this claim using a particular measure of (i) program length and (ii)...
The Development of an Architectural Semantics for ODP (2003)
Richard Sinnott, Stirling Fk La
This paper provides an introduction to the role of Formal Description Techniques (FDTs) in the development of an architectural semantics for Open Distributed Processing (ODP).
Department of Computing Science and Mathematics (2003)
Simon B Jones, Andrew S Tyas, Stirling Fk La
Optimization by compile time garbage collection is one possible weapon in the functional language implementer's armoury for combatting the excessive memory allocation usually exhibited by functional...
New Neural Circuits for Robot Phonotaxis (2002)
Richard Reeve, Barbara Webb, Centre For Cognitive, Computational Neuroscience, Stirling Fk La
W. Grey Walter built robotic systems in order to better understand biological systems. In that tradition, this paper reports ongoing work on a robot model of cricket sound localisation. The main...
A Model of Genre in Document Layout (2000)
Judy Delin, Stirling Fk La, John Bateman, Fb Sprach-und Literaturwissenschaften, Patrick Allen
: We present a framework for the describing the genres of illustrated documents, based on analysis at five levels: content structure, rhetorical structure, layout structure, navigation structure, and...
Operating System Support for Inter-Domain Type Checking (2000)
Alex Farkas, Alan Dearle, David Hulse, Stirling Fk La
Most existing file based operating systems tend to provide very little in the way of type related information about applications to the user. Instead, the user is required to construct applications...
Applying Formal Methods to Standard Development: The Open Distributed Processing Experience (2000)
Richard O. Sinnott, Kenneth J. Turner, Stirling Fk La
Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the...
Modelling and Verifying Synchronous Circuits in (2000)
Ji He, Kenneth J. Turner, Stirling Fk La
This report investigates modelling and verifying synchronous circuits in DILL (Digital Logic in LOTOS). The synchronous circuit model used here is quite similar to the classical one exploited in...
A Neurally Motivated Technique for Voicing Detection and Estimation for Speech. (1999)
Leslie S. Smith, Stirling Fk La, Centre For Cognitive, Computational Neuroscience
Speech consists of alternating voiced and unvoiced sections. Voiced speech consists of multiple harmonics of some fundamental (F0 ); unvoiced speech consists of silence, or filtered noise. Here,...
Using an Onset-based Representation for Sound Segmentation (1999)
Leslie S. Smith, Centre For Cognitive, Computational Neuroscience, Stirling Fk La
We present a technique for using pre-processing based on mammalian early auditory processing to produce a segmentation of sound based on onsets and offsets. The sound signal is bandpassed and each...
Onset-based Sound Segmentation (1999)
Leslie S. Smith, Stirling Fk La
A technique for segmenting sounds using processing based on mammalian early auditory processing is presented. The technique is based on features in sound which neuron spike recording suggests are...
Peter Rosa, Stirling Fk La, Weejaye Jayatilaka, Sarath Kodithuwakku
The paper discusses the need for high quality agricultural entrepreneurs in the light of wider debates on agribusiness development, and explores these issues empirically through a survey of the...
Robert G. Clark, Ana M. D. Moreira, Stirling Fk La
iii 1 Introduction 1 2 A rigorous process 3 2.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 2.2 Reasons for a rigorous analysis process : : : : : : : : :...
Using a Formal User-Centred Model to Build a Formal System-Centred Model (1970)
Robert G. Clark, Ana M. D. Moreira, Stirling Fk La
iv 1 Introduction 1 1.1 Background : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1.2 Formal specifications from informal requirements : : : : : : : : : : : : : : : : 1 2...
A Theoretical Study of the Generalization Ability of Feed-Forward Neural Networks (1970)
Stirling Fk La, M J Roberts, Fk La
By making assumptions on the probability distribution of the potentials in a feed-forward neural network we have derived lower bounds for the generalization ability of the network in terms of the...
Applying the architectural semantics of ODP to develop a trader specification (1970)
Richard O. Sinnott, Kenneth J. Turner, Stirling Fk La
This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of...
Modelling ODP Viewpoints (1970)
Richard O. Sinnott, Richard Sinnott, Prof K. J. Turner, Stirling Fk La
This paper gives a brief insight into the current work on the development of an architectural semantics for Open Distributed Processing (ODP). It first provides an introduction to the work on the...
Specifying Multimedia Binding Objects in Z (1970)
Richard O. Sinnott, Kenneth J. Turner, Stirling Fk La
The current standardisation activity of Open Distributed Processing (ODP) has attempted to incorporate multimedia flows of information into its architecture through the idea of stream interfaces. At...
The Specification of a Type Management System in LOTOS (1970)
Richard Sinnott, Prof K. J. Turner, Stirling Fk La
This paper offers one approach to developing a type management system in LOTOS [4]. The limitations of the definitions of type and subtype, as given in the Reference Model for Open Distributed...
The Development of an Architectural Semantics for ODP (1970)
Richard O. Sinnott, Richard Sinnott, Stirling Fk La
This paper provides an introduction to the role of Formal Description Techniques (FDTs) in the development of an architectural semantics for Open Distributed Processing (ODP). It gives a brief...
Applying Formal Methods to Standard Development: The Open Distributed Processing Experience (1970)
Richard O. Sinnott, Kenneth J. Turner, Stirling Fk La
Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the...
Type Checking in Open Distributed Systems: a Complete Model and its Z Specification (1970)
Jacob Slonim, John Botsford, Open Distributed, R. O. Sinnott, K. J. Turner, Stirling Fk La
Type checking is at the heart of distributed systems. The ability to be able to configure objects and have them interwork correctly may well be regarded as the fundamental issue in the development of...
Specifying ODP Computational Objects in Z (1970)
Richard O. Sinnott, Richard Sinnott, Kenneth J. Turner, Stirling Fk La
The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable...
Constraint-Oriented Style in LOTOS (1970)
Prof Ken Turner, Stirling Fk La
The concept of a constraint-oriented specification style is presented in general terms and with respect to the ISO Formal Description Technique LOTOS (Language Of Temporal Ordering Specification)....
Modular Feature Specification (1970)
Kenneth J. Turner, Stirling Fk La
CRESS (CHISEL Representation Employing Systematic Specification) is a notation and set of tools for graphical specification and analysis of features. It is applicable wherever a system consists of...