Browsing Informatics, School of by Title
Now showing items 900919 of 1363

PAClearning geometrical figures
(The University of Edinburgh, 1992) 
Parallel algorithms and architectures for VLSI pattern generation
(The University of Edinburgh, 1987) 
Parallel computation in lowlevel vision
(The University of Edinburgh, 1984)This thesis is concerned with problems of using computers to interpret scenes from television camera pictures. In particular, it tackles the problem of interpreting the picture in terms of lines and curves, rather like ... 
Parallel computation on sparse networks of processors
(The University of Edinburgh, 1983) 
Parallel Computational Modelling of Inelastic Neutron Scattering in Multinode and Multicore Architectures
(20101126)This paper examines the initial parallel implementation of SCATTER, a computationally intensive inelastic neutron scattering routine with polycrystalline averaging capability, for the General Utility Lattice Program (GULP). ... 
Parallel Parsing of ContextFree Languages on an Array of Processors
(The University of Edinburgh, 1988)Kosaraju [Kosaraju 69] and independently ten years later, Guibas, Kung and Thompson [Guibas 79] devised an algorithm (KGKT) for solving on an array of processors a class of dynamic programming problems of which general ... 
Partbased Grouping and Recognition: A ModelGuided Approach
(University of Edinburgh. College of Science and Engineering. School of Informatics., 199607)The recovery of generic solid parts is a fundamental step towards the realization of generalpurpose vision systems. This thesis investigates issues in grouping, segmentation and recognition of parts from twodimensional ... 
Partbased Probabilistic Point Matching using Equivalence Constraints
(200606)Correspondence algorithms typically struggle with shapes that display partbased variation. We present a probabilistic approach that matches shapes using independent part transformations, where the parts themselves are ... 
The Partial Lambda Calculus
(University of Edinburgh. College of Science and Engineering. School of Informatics., 198807)This thesis investigates various formal systems for reasoning about partial functions or partial elements, with particular emphasis on lambda calculi for partial functions. Beeson's (intuitionistic) logic of partial terms ... 
PCF extended with real numbers: a domaintheoretic approach to higherorder exact real number computation
(University of London Imperial College of Science, Technology and Medicine. Department of Computing, 199702)We develop a theory of higherorder exact real number computation based on Scott domain theory. Our main object of investigation is a higherorder functional programming language, Real PCF, which is an extension of PCF ... 
Peertopeer, multiagent interaction adapted to a web architecture
(The University of Edinburgh, 20130702)The Internet and Web have brought in a new era of information sharing and opened up countless opportunities for people to rethink and redefine communication. With the development of networkrelated technologies, a ... 
A Per Model of Polymorphism and Recursive Types
(20031105)A model of Reynolds’ polymorphic lambda calculus is provided, which also allows the recursive definition of elements and types. The technique is to use a good class of partial equivalence relations over a certain cpo. ... 
Perception and processing of selfmotion cues
(The University of Edinburgh, 20131128)The capacity of animals to navigate through familiar or novel environments depends crucially on the integration of a disparate set of self motion cues. The study begins with one of the most simple, planar visual motion, ... 
Perceptually Modulated Level of Detail for Virtual Environments
(University of Edinburgh. College of Science and Engineering. School of Informatics., 199707)This thesis presents a generic and principled solution for optimising the visual complexity of any arbitrary computergenerated virtual environment (VE). This is performed with the ultimate goal of reducing the inherent ... 
Performance analysis of largescale resourcebound computer systems
(The University of Edinburgh, 20150629)We present an analysis framework for performance evaluation of largescale resourcebound (LSRB) computer systems. LSRB systems are those whose resources are continually in demand to serve resource users, who appear in ... 
Performance mapping of a class of fully decoupled architecture
(The University of Edinburgh, 1999) 
Performance measurement and evaluation of timeshared operating systems
(The University of Edinburgh, 1977) 
Performance monitoring and analysis environment for distributed memory MIMD programs
(The University of Edinburgh, 1993) 
Performance optimizations for compilerbased error detection
(The University of Edinburgh, 20150629)The trend towards smaller transistor technologies and lower operating voltages stresses the hardware and makes transistors more susceptible to transient errors. In future systems, performance and power gains will come ... 
Performance studies of file system design choices for two concurrent processing paradigms
(The University of Edinburgh, 1996)