Now showing items 158-177 of 1266

  • Calculating Criticalities 

    Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. (Elsevier, 1996-12)
    We present a novel method for building style abstraction hierarchies in planning. The aim of this method is to minimize search by limiting backtracking both between abstraction levels and within an abstraction level. ...
  • A Calculus for Access Control in Distributed Systems 

    Abadi, Martin; Burrows, Michael; Lampson, Butler; Plotkin, Gordon (1993)
    We study some of the concepts, protocols, and algorithms for access control in distributed systems, from a logical perspective. We account for how a principal may come to believe that another principal is making a request, ...
  • Capture and generalisation of close interaction with objects 

    Sandilands, Peter James (The University of Edinburgh, 2015-06-29)
    Robust manipulation capture and retargeting has been a longstanding goal in both the fields of animation and robotics. In this thesis I describe a new approach to capture both the geometry and motion of interactions with ...
  • Case for holistic query evaluation 

    Krikellas, Konstantinos (The University of Edinburgh, 2010)
    In this thesis we present the holistic query evaluation model. We propose a novel query engine design that exploits the characteristics of modern processors when queries execute inside main memory. The holistic model (a) ...
  • Case-Analysis for Rippling and Inductive Proof 

    Bundy, Alan; Dixon, Lucas; Johansson, Moa (Springer, 2010)
    Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like earlier work, this allows goals containing if-statements ...
  • A Case-Based Reasoning Framework for Enterprise Model Building, Sharing and Reusing 

    Chen-Burger, Jessica; Robertson, Dave; Stader, Justine (The University of Edinburgh, 2000)
    Enterprise model development is essentially a labour-intensive exercise. Human experts depend heavily on prior experience when they are building new models making it a natural domain to apply Case Based Reasoning techniques. ...
  • Categorical programming language 

    Hagino, Tatsuya (The University of Edinburgh, 1987)
  • Categorical Structure of Continuation Passing Style 

    Thielecke , Hayo (University of Edinburgh. College of Science and Engineering. School of Informatics., 1997-07)
    This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates lambda-calculus into a very basic calculus that does not have functions as primitive. We ...
  • Categorical structure of continuation passing style 

    Thielecke, Hayo (The University of Edinburgh, 1997)
  • Categorical Term Rewriting: Monads and Modularity 

    Lüth , Christoph (University of Edinburgh. College of Science and Engineering. School of Informatics., 1998-07)
    Term rewriting systems are widely used throughout computer science as they provide an abstract model of computation while retaining a comparatively simple syntax and semantics. In order to reason within large term rewriting ...
  • Causal and Communal Factors in a Comprehensive Test of Intelligence 

    Schweizer, Paul (The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2010)
    The paper traces a pathway through the existing space of argumentation surrounding the original Turing Test (TT) and the discipline of ‘Strong’ Artificial Intelligence that followed on from Turing’s work, and extends this ...
  • Changing dynamics of spontaneous waves during retinal development: a novel panretinal perspective achieved with the Active Pixel Sensor (APS) 4,096 electrodes array 

    Hennig, Matthias; Sernagor, Evelyne; Maccione, Alessandro; Gandolfo, Mauro; Eglen, Stephen; Berdondini, Luca (2010-07-02)
    The developing retina exhibits spontaneous waves of activity spreading across the ganglion cell layer. These waves are present only during a limited perinatal period, and they are known to play important roles during the ...
  • A Channel Theoretic Approach to Conditional Reasoning 

    Cavedon, Lawrence (University of Edinburgh. College of Science and Engineering. School of Informatics., 1995-07)
    Channel Theory is a recently developed mathematical model of information flow, based on ideas emanating from situation theory.Channel theory addreses a number of important properties of information flow, such as ...
  • Characterising and measuring human episodic memory 

    Harlow, Iain Malcolm (The University of Edinburgh, 2012-06-25)
    Episodic memory, the ability to store and retrieve information from our past, is at the very heart of human experience, underpinning our identity and relationship with the world. Episodic memory is not a unitary phenomenon: ...
  • Characterizing and exploiting application behavior under data corruption 

    Stefanakis, Georgios (The University of Edinburgh, 2015-11-26)
    Shrinking semiconductor technologies come at the cost of higher susceptibility to hardware faults that render the systems unreliable. Traditionally, reliability solutions are aimed to protect equally and exhaustively all ...
  • Characterizing response behavior in multisensory perception with conflicting cues 

    Natarajan, Rama; Murray, Iain; Shams, Ladan; Zemel, Richard (2009)
    We explore a recently proposed mixture model approach to understanding interactions between conflicting sensory cues. Alternative model formulations, differing in their sensory noise models and inference methods, are ...
  • Children’s story authoring with Propp’s morphology 

    Hammond, Sean Paul (The University of Edinburgh, 2011-06-30)
    This thesis applies concepts from Vladimir Propp’s model of the narrative structure of fairy tales (Propp’s morphology) to a story authoring tool for children. A computer story authoring application based on Propp’s ...
  • Choices made by a planner : identifying them, and improving the way in which they are made 

    Croft, David (The University of Edinburgh, 1985)
    This thesis discusses the ways in which choices are made by an AI planner. A detailed examination is made of the prerequisites for choice making, and a discussion of how the making of good choices can be automated is ...
  • Classifier systems for situated autonomous learning 

    Roberts, Gary Allen (The University of Edinburgh, 1991)