Now showing items 1-20 of 53

  • 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 Application of Advanced Knowledge Technologies for Emergency Reponse 

    Potter, S; Kalfoglou, Y; Alani, H; Bachler, M; Buckingham Shum, S J; Carvalho, R; Chakravarthy, A; Chalmers, S; Chapman, S; Hu, B; Preece, A; Shadbolt, N; Tate, Austin; Tuffield, M (VUBPRESS, 2007-05)
    Making sense of the current state of an emergency and of the response to it is vital if appropriate decisions are to be made. This task involves the acquisition, interpretation and management of information. In this paper ...
  • Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment 

    Uszok, A; Bradshaw, J M; Jeffers, R; Tate, Austin; Dalton, J (Springer, 2004-11)
    In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing these capabilities within the context of two ...
  • 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. ...
  • 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 ...
  • Computational mechanisms for action selection 

    Tyrrell, Toby (The University of Edinburgh, 1993)
    Imagine a zebra in the African savannah. At each moment in time this zebra has to weigh up alternative courses of action before deciding which will be most beneficial to it. For instance, it may want to graze because it ...
  • Context Estimation and Learning Control through Latent Variable Extraction: From discrete to continuous contexts 

    Georgios Petkos; Sethu Vijayakumar (IEEE, 2007-04)
    Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it's use for robust predictive control. However, in realistic domains, ...
  • 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 ...
  • Enterprise Modelling: A Declarative Approach for FBPML 

    Chen-Burger, Y-H; Tate, Austin; Robertson, D (IOS Press, 2002-07-22)
    Enterprise Modelling (EM) methods are well-recognised for their value in describing complex, informal domains in an organised structure. EM methods are used in practice, particularly during the early stages of software ...
  • 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 Adaptive Workflow Systems in a Distributed Environment 

    Chen-Burger, Y-H; Stader, J (Future Strategies Inc., 2003)
    To achieve more widespread application, Workflow Management Systems (WfMS) need to be developed to operate in dynamic environments where they are expected to ensure that users are supported in performing flexible and ...
  • 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 ...