Browsing Informatics, School of by Title
Now showing items 1-20 of 1423
-
2D Shape Classification and Retrieval
(Professional Book Center, 2005-07)We present a novel correspondence-based technique for efficient shape classification and retrieval. Shape boundaries are described by a set of (ad hoc) equally spaced points avoiding the need to extract landmark points. ... -
A gift from Pandora's box : The software crisis.
(University of Edinburgh, 1988) -
A strategy for the visual recognition of objects in an industrial environment.
(University of Edinburgh, 1985) -
A system for developing programs by transformation
(University of Edinburgh, 1979) -
Abstract interpretation and optimising transformations for applicative programs
(The University of Edinburgh, 1982)This thesis describes methods for transforming applicative programs with the aim of improving their efficiency. The general justification for these techniques is presented via the concept of abstract interpretation. The ... -
Abstract interpretation using domain theory.
(University of Edinburgh, 1984) -
Abstract Machines for Dynamic Computation
(University of Edinburgh. College of Science and Engineering. School of Informatics., 2001-07)In this thesis we address the challenges associated with the provision of dynamic software architectures. These are systems in which programs are constructed from separately compiled units with a facility for the replacement ... -
Abstract Syntax and Variable Binding (Extended Abstract)
(2003-11-06)We develop a theory of abstract syntax with variable binding. To every binding signature we associate a category of models consisting of variable sets endowed with compatible algebra and substitution structures. The ... -
Abstracting over Semantic Theories
(University of Edinburgh. College of Science and Engineering. School of Informatics., 1993-07)The topic of this thesis is abstraction over theories of formal semantics for natural language.It is motivated by the belief that a metatheoretical perspective can contribute both to a better theoretical understanding of ... -
Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus
(University of Edinburgh. College of Science and Engineering. School of Informatics., 2001-01)This thesis examines specification refinement in the setting of polymorphic type theory and a complementary logic for relational parametricity. The starting point is the specification of abstract data types as done in ... -
Abstraction for web programming
(The University of Edinburgh, 2010)This thesis considers several instances of abstraction that arose in the design and implementation of the web programming language Links. The first concerns user interfaces, specified using HTML forms. We wish to construct ... -
Abstraction-level functional programming
(The University of Edinburgh, 2008) -
Accelerating interpreted programming languages on GPUs with just-in-time compilation and runtime optimisations
(The University of Edinburgh, 2017-11-30)Nowadays, most computer systems are equipped with powerful parallel devices such as Graphics Processing Units (GPUs). They are present in almost every computer system including mobile devices, tablets, desktop computers ... -
ACCOn: Checking Consistency of XML Write-Access Control Policies
(2008)XML access control policies involving updates may contain security flaws, here called inconsistencies, in which a forbidden operation may be simulated by performing a sequence of allowed operations. ACCOn implements i) ... -
Achieving global coherence by exploiting conflict: a distributed framework for job shop scheduling
(The University of Edinburgh, 1992) -
Acquiring phrasal lexicons from corpora
(The University of Edinburgh, 2006) -
Acquiring syntactic and semantic transformations in question answering
(The University of Edinburgh, 2010)One and the same fact in natural language can be expressed in many different ways by using different words and/or a different syntax. This phenomenon, commonly called paraphrasing, is the main reason why Natural Language ... -
Acquisition and influence of expectations about visual speed
(The University of Edinburgh, 2016-06-27)It has been long hypothesized that due to the inherent ambiguities of visual input and the limitations of the visual system, vision is a form of “unconscious inference” whereby the brain relies on assumptions (aka ... -
Acting in a populated environment: an ecological realist enquiry into speaking and collaborating
(The University of Edinburgh, 2015-11-26)The thesis seeks to develop an account of collaborative activities within the framework of ecological realism—an approach to psychology developed by James J. Gibson in the course of work on visual perception. Two main ... -
Action, intention and language: a Davidsonian study
(The University of Edinburgh, 1988)