Now showing items 1255-1266 of 1266

  • 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 ...
  • Wide-coverage parsing for Turkish 

    Çakici, Ruket (The University of Edinburgh, 2009)
    Wide-coverage parsing is an area that attracts much attention in natural language processing research. This is due to the fact that it is the first step tomany other applications in natural language understanding, such ...
  • Will It Reach the Top? Prediction in the Mechanics World. 

    Bundy, Alan (Elsevier, 1978-04)
    We describe an extension of a mechanics problem solving program to the set of “roller coaster” problems, i.e. problems about the motion of a particle on a complex path. The reasoning strategy adopted by the program is ...
  • Wireless realtime motion tracking system using localised orientation estimation 

    Young, Alexander D. (The University of Edinburgh, 2010)
    A realtime wireless motion tracking system is developed. The system is capable of tracking the orientations of multiple wireless sensors, using a semi-distributed implementation to reduce network bandwidth and latency, ...
  • Word vector-space embeddings of natural language data over time 

    Lala, Chiraag (The University of Edinburgh, 2014-11-27)
    Words are often mapped to vectors in a vector-space (Euclidean-space). Such mappings, also called embeddings, are used in many Natural Language Processing (NLP) tasks. These word embeddings are, generally, intended to ...
  • Workflow Collaboration with Constraint Solving Capabilities 

    Chen-Burger, Y-H; Hui, K; Preece, A.D; Gray, P.M.D; Tate, Austin (British Computer Society, 2005)
    This paper describes our efforts to provide a collaborative problem solving architecture driven by semantic-based workflow orchestration and constraint problem solving. These technologies are based on shared ontologies ...
  • Workflow Collaboration with Constraint Solving Capabilities 

    Chen-Burger, Y-H; Hui, K; Preece, A D; Gray, P.M.D; Tate, Austin (The British Computer Society, 2004-12)
    We describe a collaborative problem solving architecture driven by semantic based workflow orchestration and constraint solving. These technologies are based on shared ontologies that allow two systems of very different ...
  • XML data exchange under expressive mappings 

    Amano, Shun’ichi (The University of Edinburgh, 2009)
    Data Exchange is the problem of transforming data in one format (the source schema) into data in another format (the target schema). Its core component is a schema mapping, which is a high level specification of how such ...