Now showing items 184-203 of 1415

  • CABS: a case-based and graphical requirements capture, formalisation and verification system 

    Funk, Peter J. (The University of Edinburgh, 1999)
    The use of formal specifications based on varieties of mathematical logic is becoming common in the process of designing and implementing safety critical systems and practices for hardware design. ...
  • 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, ...
  • Can learning classifier systems represent competent traders? The stock markets trading case 

    Schulenburg, Sonia (The University of Edinburgh, 2003)
  • 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 ...
  • Capturing mobile security policies precisely 

    Hallett, Joseph (The University of Edinburgh, 2018-11-29)
    The security policies of mobile devices that describe how we should use these devices are often informally specified. Users have preferences for some apps over others. Some users may avoid apps which can access large ...
  • 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 ...