Now showing items 1253-1272 of 1279

  • Validation of machine-oriented strategies in chess endgames 

    Niblett, Timothy B. (The University of Edinburgh, 1982)
    This thesis is concerned with the validation of chess endgame strategies. It is also concerned with the synthesis of strategies that can be validated. A strategy for a given player is the specification of the move to ...
  • Value Function Approximation on Non-Linear Manifolds for Robot Motor Control 

    Sugiyama, Masashi; Hachiya, Hirotaka; Towell, Christopher; Vijayakumar, Sethu (IEEE, 2007-04)
    The least squares approach works efficiently in value function approximation, given appropriate basis functions. Because of its smoothness, the Gaussian kernel is a popular and useful choice as a basis function. However, ...
  • Variational inference for Gaussian-jump processes with application in gene regulation 

    Ocone, Andrea (The University of Edinburgh, 2013-11-28)
    In the last decades, the explosion of data from quantitative techniques has revolutionised our understanding of biological processes. In this scenario, advanced statistical methods and algorithms are becoming fundamental ...
  • Verification and validation of security protocol implementations 

    O'Shea, Nicholas (The University of Edinburgh, 2010)
    Security protocols are important and widely used because they enable secure communication to take place over insecure networks. Over the years numerous formal methods have been developed to assist protocol designers by ...
  • Verification in ASL and related specification languages 

    Farres-Casals, Jorge (The University of Edinburgh, 1992)
  • Verifying temporal properties of systems with applications to petri nets 

    Bradfield, Julian Charles (The University of Edinburgh, 1991)
    This thesis provides a powerful general-purpose proof technique for the verification of systems, whether finite or infinite. It extends the idea of finite local model-checking, which was introduced by Stirling and Walker: ...
  • Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic 

    Dixon, L.; Bundy, Alan; Smaill, A. (2009)
    We describe a new formalisation in Isabelle/HOL of Intuitionistic Linear Logic and consider the support this provides for constructing plans by proving the achievability of given planning goals. The plans so found are ...
  • Versatile Communication Cost Modelling for Multicomputer Task Scheduling 

    Boeres, Cristina (University of Edinburgh. College of Science and Engineering. School of Informatics., 1997-07)
    Programmers face daunting problems when attempting to design portable programs for multicomputers. This is mainly due to the huge variation in communication performance on the range of multicomputer platforms currently ...
  • Video object segmentation and applications in temporal alignment and aspect learning 

    Papazoglou, Anestis (The University of Edinburgh, 2016-11-29)
    Modern computer vision has seen recently significant progress in learning visual concepts from examples. This progress has been fuelled by recent models of visual appearance as well as recently collected large-scale ...
  • Virtual files: a Framework for Experimental Design 

    Ross, George D.M. (The University of Edinburgh, 1983)
    The increasing power and decreasing cost of computers has resulted in them being applied in an ever widening area. In the world of Computer Aided Design it is now practicable to involve the machine in the earlier stages ...
  • Visual Homing in Dynamic Indoor Environments 

    Szenher, Matthew D (The University of Edinburgh, 2008)
    Our dissertation concerns robotic navigation in dynamic indoor environments using image-based visual homing. Image-based visual homing infers the direction to a goal location S from the navigator’s current location C ...
  • Visual homing in field crickets and desert ants: a comparative behavioural and modelling study 

    Mangan, Michael (The University of Edinburgh, 2011-11-24)
    Visually guided navigation represents a long standing goal in robotics. Insights may be drawn from various insect species for which visual information has been shown sufficient for navigation in complex environments, ...
  • Visual representation of cellular networks 

    Mazein, Alexander (The University of Edinburgh, 2011-06-30)
    Development of advanced techniques for biological network visualisation is crucial for successful progress in the areas of systems-level biology and data-intensive bioinformatics. However, current techniques for biological ...
  • A Visualisation Approach for Collaborative Planning Systems Based on Ontologies 

    Lino, N; Tate, Austin (IEEE Computer Society Press, 2004-07)
    In the last decades, many advances have been made in intelligent planning systems. Significant improvements related to core problems, providing faster search algorithms and shortest plans have been proposed. However, there ...
  • Vocal Attractiveness Of Statistical Speech Synthesisers 

    Andraszewicz, Sandra; Yamagishi, Junichi; King, Simon (IEEE, 2011)
    Our previous analysis of speaker-adaptive HMM-based speech synthesis methods suggested that there are two possible reasons why average voices can obtain higher subjective scores than any individual adapted voice: 1) model ...
  • Walsh functions : shape analysis and other applications 

    Searle, Nigel Hilton (The University of Edinburgh, 1970)
    Due to their binary nature, the Walsh functions have considerable advantages over the traditional sinusoidal functions used in Fourier analysis when the computations are carried out by a general purpose binary digital ...
  • A Web Based Replayer For Proof General 

    Freear, Jonathan (The University of Edinburgh, 2000)
    Proof General is a generic interface for proof assistants, based on Emacs. It has been developed at the LFCS in the University of Edinburgh. One of the nice features of Proof General is that it is very easy to replay ...
  • Well-Typed Programs Can’t Be Blamed 

    Wadler, Philip; Findler, Robert Bruce (Springer-Verlag, 2009)
    We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen’s contracts to a system similar to Siek and Taha’s gradual types and Flanagan’s hybrid types. We characterise where positive and ...
  • What Is The Well-Dressed AI Educator Wearing Now? 

    Bundy, Alan (AAAI, 1982-03)
    A funny thing happened to me at IJCAI-81. I went to a panel on "Education in AI" and stepped back into an argument that I had thought settled several years ago. The debate was between the "scruffies," led by Roger Schank ...
  • What’s The Point? A (Computational) Theory of Punctuation 

    Jones, Bernard (University of Edinburgh. College of Science and Engineering. School of Informatics., 1996-07)
    Although punctuation is clearly an important part of the written language, many natural language processing systems developed to date simply ignore punctuation in input text, or do not place it in output text. The reason ...