Now showing items 1-6 of 6

  • Axiomatic Domain Theory in Categories of Partial Maps 

    Fiore, Marcelo P (University of Edinburgh. College of Science and Engineering. School of Informatics., 1994-11)
    This thesis is an investigation into axiomatic categorical domain theory as needed for the denotational semantics of deterministic programming languages. To provide a direct semantic treatment of non-terminating ...
  • 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 ...
  • Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs 

    Kleymann, Thomas (University of Edinburgh. College of Science and Engineering. School of Informatics., 1998-07)
    Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Many incorrect results have been published in the past. We take advantage of the computer-aided ...
  • Learning user modelling strategies for adaptive referring expression generation in spoken dialogue systems 

    Janarthanam, Srinivasan Chandrasekaran (The University of Edinburgh, 2011-06-30)
    We address the problem of dynamic user modelling for referring expression generation in spoken dialogue systems, i.e how a spoken dialogue system should choose referring expressions to refer to domain entities to users ...
  • Logic for Natural Language Analysis 

    Pereira, Fernando Carlos Neves (The University of Edinburgh, 1982)
    This work investigates the use of formal logic as a practical tool for describing the syntax and semantics of a subset of English, and building a computer program to answer data base queries expressed in that subset. ...
  • Mobile Computation with Functions 

    Kırlı, Zeliha D (University of Edinburgh. College of Science and Engineering. School of Informatics., 2002-07)
    The practice of computing has reached a stage where computers are seen as parts of a global computing platform. The possibility of exploiting resources on a global scale has given rise to a new paradigm -- the mobile ...