Now showing items 1-20 of 39

  • Amalgamation of Transition Sequences in the PEPA Formalism 

    Hillston, Jane; Tomasik-Krawczyk, Joanna (2000-03)
    This report presents a proposed formal approach towards reduction of sequences in PEPA components. By performing the described amalgamation procedure we may remove, from the Markov chain underlying an initial PEPA model, ...
  • Animal learning models as robot controllers 

    Hallam, Bridget (The University of Edinburgh, 2000)
    Robots can do a range of wonderful things, but they can also appear really stupid. I would like my autonomous, sensor-rich, robot to be able to: complete its task whenever possible, despite distractions and disabilities; ...
  • The Automation Of Proof By Mathematical Induction 

    Bundy, Alan (1999-04)
    This paper is a chapter of the Handbook of Automated Reasoning edited by Voronkov and Robinson. It describes techniques for automated reasoning in theories containing rules of mathematical induction. Firstly, inductive ...
  • 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. ...
  • Co-OPR: Design and Evaluation of Collaborative Sensemaking and Planning Tools for Personnel Recovery 

    Tate, Austin; Buckingham Shum, S J; Dalton, J; Mancini, C; Selvin, A M (Open University Knowledge Media Institute, 2006-03)
    Personnel recovery teams must operate under intense pressure, taking into account not only hard logistics, but ‘messy’ factors such as the social or political implications of a decision. The Collaborative Operations for ...
  • Coalition Search and Rescue - Task Support: Intelligent Task Achieving Agents on the Semantic Web 

    Tate, Austin; Dalton, J; Bradshaw, J M; Uszok, A (Artificial Intelligence Applications Institute, 2006-07)
    The Coalition Search and Rescue Task Support (CoSAR-TS) has been a DARPA DAML Program project to provide advanced capabilities linking models of organizational structures, policies, and doctrines with intelligent task ...
  • Collaborative Operations for Personnel Recovery Final Report on DARPA/AFRL 

    Tate, Austin; Dalton, J; Stader, J; Wickler, G; Hansberger, J (Artificial Intelligence Applications Institute, 2007-08-31)
    The Collaborative Operations for Personnel Recovery (Co-OPR) project sought to provide collaborative task support for a Search and Rescue coordination center. The project aimed to create a prototype “Personnel Recovery ...
  • Completeness Conditions for Mixed Strategy Bidirectional Parsing 

    Ritchie, Graeme (The University of Edinburgh, 2000)
    It has been suggested that, in certain circumstances, it might be useful for a grammar-writer to annotate which rules are to be used bottom-up and which are to be used top-down within a parser, using a bidirectional variant ...
  • The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games 

    Ummels, Michael; Wojtczak, Dominik (2009-02-01)
    We analyse the computational complexity of finding Nash equilibria in simple stochastic multiplayer games. We show that restricting the search space to equilibria whose payoffs fall into a certain interval may lead to ...
  • Cross Domain Mathematical Concept Formation 

    Steel, Graham; Colton, Simon; Bundy, Alan; Walsh, Toby (The University of Edinburgh, 2000)
    Many interesting concepts in mathematics are essentially "cross-domain" in nature, relating objects from more than one area of mathematics, e.g. prime order groups. These concepts are often vital to the formation of a ...
  • Decidability of Bisimulation Equivalence for Pushdown Processes 

    Stirling, Colin (2000-01)
    We show that bisimulation equivalence is decidable for pushdown automata without epsilon-transitions.
  • Describing Verbally Expressed Humour 

    Ritchie, Graeme (2000-04)
    In pursuit of the long-term goal of developing a general theory of humour, it is reasonable to study certain limited forms of humorous artefact in detail. One obvious class of humour to consider is verbally expressed humour, ...
  • Design and Implementation of an Online Auction 

    Theodoropoulos, Theodoros (The University of Edinburgh, 2000)
    This dissertation reports on the design and implementation of a distributed application that hosts online auctions. The system is implemented using Java and CORBA. Special care has been taken to make it secure, flexible, ...
  • Developing the Incongruity-Resolution Theory 

    Ritchie, Graeme (1999-04)
    The idea of incongruity-resolution has frequently been suggested as an account of many types of joke. However, there is no precise statement either of this ``theory'' nor of its main concepts (incongruity and resolution), ...
  • The Direct Route: Mediated Priming in Semantic Space 

    Lowe, Will; McDonald, Scott (The University of Edinburgh, 2000)
    McKoon and Ratcliff (1992) presented a theory of mediated priming where the priming effect is due to a direct but weak relatedness between prime and target. They also introduced a quantitative measure of word relatedness ...
  • The EMIME Bilingual Database 

    Wester, Mirjam (The University of Edinburgh, 2010)
    This paper describes the collection of a bilingual database of Finnish/English and German/English data. In addition, the accents of the talkers in the database have been rated. English, German and Finnish listeners assessed ...
  • The EMIME Mandarin Bilingual Database 

    Wester, Mirjam; Liang, Hui (The University of Edinburgh, 2011)
    This paper describes the collection of a bilingual database of Mandarin/English data. In addition, the accents of the talkers in the database have been rated. English and Mandarin listeners assessed the English and Mandarin ...
  • Fitting of Constrained Models to Poor 3D Data 

    Robertson, Craig; Fisher, Robert B.; Werghi, Naoufel; Ashbrook, Anthony (The University of Edinburgh, 2000)
    In this work we have addressed the question of whether it is possible to extract parametric models of features from poor quality 3D data. In doing this we have examined the applicability of an evolutionary strategy to the ...
  • A Flexible Integrated Architecture For Generating Poetic Texts 

    Manurung, Hisar; Ritchie, Graeme; Thompson, Henry (The University of Edinburgh, 2000)
    In this paper we describe a flexible approach to natural language generation that employs a stochastic hillclimbing search algorithm and an integrated architecture. We then discuss the benefits of this approach over existing, ...
  • Formal Support for an Informal Business Modelling Method 

    Chen-Burger, Jessica; Robertson, Dave; Stader, Justine (The University of Edinburgh, 2000)
    Business modelling methods are popular but, since they operate primarily in the early stages of software lifecycles, most are informal. This paper describes how we have used a conventional formal notation (first order ...