Now showing items 1-18 of 18

  • Adaptive Optimal Control for Redundantly Actuated Arms 

    Mitrovic, Djordje; Klanke, Stefan; Vijayakumar, Sethu (Springer-Verlag, 2008)
    Optimal feedback control has been proposed as an attractive movement generation strategy in goal reaching tasks for anthropomorphic manipulator systems. Recent developments, such as the iterative Linear Quadratic Gaussian ...
  • Adaptive Optimal Feedback Control with Learned Internal Dynamics Models 

    Mitrovic, Djordje; Klanke, Stefan; Vijayakumar, Sethu (Springer-Verlag, 2010)
    Optimal Feedback Control (OFC) has been proposed as an attractive movement generation strategy in goal reaching tasks for anthropomorphic manipulator systems. Recent developments, such as the Iterative Linear Quadratic ...
  • Bistructures, Bidomains and Linear Logic 

    Curien, Pierre-Louis; Plotkin, Gordon; Winskel, Glynn (MIT Press, 2000-05)
    Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an order-extensional setting. The partial order of causal dependency is replaced by two orders, ...
  • Case-Analysis for Rippling and Inductive Proof 

    Bundy, Alan; Dixon, Lucas; Johansson, Moa (Springer, 2010)
    Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like earlier work, this allows goals containing if-statements ...
  • Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery 

    Johansson, Moa; Dixon, Lucas; Bundy, Alan (Springer-Verlag, 2010)
    We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence facilitates extending the technique in ways that ...
  • The Elimination of Meaning in Computational Theories of Mind 

    Schweizer, Paul (2009)
    According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional conception has been incorporated into the ...
  • The Essence of Form Abstraction 

    Cooper, Ezra; Lindley, Sam; Wadler, Philip; Yallop, Jeremy (Springer-Verlag, 2008)
    Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components, leading to a lack ...
  • 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 ...
  • I-Ex: Extreme Expedition Support 

    Potter, S; Tate, Austin; Milne, R (IOS Press, 2006)
    The aim of the I-X research programme is to provide a general framework for performing mixed-initiative synthesis tasks, along with a set of tools that supports its use. This framework arises from and builds upon seminal ...
  • Incidence Calculus 

    Bundy, Alan (John Wiley & Sons, 1992)
    We describe incidence calculus, a logic for probabilistic reasoning. In incidence calculus, probabilities are not directly associated with formulae. Rather sets of possible worlds are directly associated with formulae ...
  • Methods for Learning Control Policies from Variable Constraint Demonstrations 

    Howard, Matthew; Klanke, Stefan; Gienger, Michael; Goerick, Christian; Vijayakumar, Sethu (Springer-Verlag, 2010)
    Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the task or the environment. Constraints are usually not observable and frequently change between contexts. In ...
  • Planning and Moving in Dynamic Environments: A statistical machine learning approach 

    Vijayakumar, Sethu; Toussaint, Marc; Petkos, Georgios; Howard, Matthew (Springer-Verlag, 2009)
    In this chapter, we develop a new view on problems of movement control and planning from a Machine Learning perspective. In this view, decision making, control, and planning are all considered as an inference or (alternately) ...
  • A pragmatic Bayesian approach to predictive uncertainty 

    Murray, Iain; Snelson, Edward (Springer Berlin / Heidelberg, 2006)
    We describe an approach to regression based on building a probabilistic model with the aid of visualization. The “stereopsis” data set in the predictive uncertainty challenge is used as a case study, for which we constructed ...
  • Sharing and Checking Organisation Knowledge 

    Chen-Burger, Y-H (Kluwer Academic Publishers, 2002-07)
    The approach of Multi-Perspective Enterprise Modelling is now more commonly accepted and used in practice as a way to manage organisational knowledge than ever before. However, the concept of applying multiple modelling ...
  • Synthesising Novel Movements through Latent Space Modulation of Scalable Control Policies 

    Bitzer, Sebastian; Havoutis, Ioannis; Vijayakumar, Sethu (Springer-Verlag, 2008)
    We propose a novel methodology for learning and synthesising whole classes of high dimensional movements from a limited set of demonstrated examples that satisfy some underlying ’latent’ low dimensional task constraints. ...
  • Task Achieving Agents on the World Wide Web 

    Tate, Austin; Levine, John; Dalton, J; Nixon, A (MIT Press, 2003)
    An important class of problems is related to performing activities, and the planning of future activity. The “doing of things” is at the heart of human endeavour. The WWW has primarily concentrated to date on information ...
  • 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 ...