Now showing items 1-20 of 159

  • 2D Shape Classification and Retrieval 

    McNeill, Graham; Vijayakumar, Sethu (Professional Book Center, 2005-07)
    We present a novel correspondence-based technique for efficient shape classification and retrieval. Shape boundaries are described by a set of (ad hoc) equally spaced points avoiding the need to extract landmark points. ...
  • ACCOn: Checking Consistency of XML Write-Access Control Policies 

    Loreto Bravo; James Cheney; Irini Fundulaki (2008)
    XML access control policies involving updates may contain security flaws, here called inconsistencies, in which a forbidden operation may be simulated by performing a sequence of allowed operations. ACCOn implements i) ...
  • Active Estimation of Object Dynamics Parameters with Tactile Sensors 

    Saal, Hannes; Ting, Jo-Anne; Vijayakumar, Sethu (2010)
    The estimation of parameters that affect the dynamics of objects—such as viscosity or internal degrees of freedom—is an important step in autonomous and dexterous robotic manipulation of objects. However, accurate and ...
  • Active Filtering for Robot Tactile Learning 

    Saal, Hannes; Ting, Jo-Anne; Vijayakumar, Sethu (2009)
  • Active sequential learning with tactile feedback 

    Saal, Hannes; Ting, Jo-Anne; Vijayakumar, Sethu (2010)
    We consider the problem of tactile discrimination, with the goal of estimating an underlying state parameter in a sequential setting. If the data is continuous and high- dimensional, collecting enough representative data ...
  • Activity-oriented Instant Messaging for Coalition Operations 

    Tate, Austin; Dalton, J; Potter, S (Czech Technical University Press, 2004-10)
    I-X Process Panels are used to support users who are carrying out processes and responding to events in a cooperative working environment. The panels support the tracking of personal or group issues, the planning and ...
  • Adaptive Tutorial Dialogue Systems Using Deep NLP Techniques 

    Dzikovska, Myroslava; Callaway, Charles; Farrow, Elaine; Marques-Pita, Manuel; Matheson, Colin; Moore, Johanna D. (2010-11-03)
    We present tutorial dialogue systems in two different domains that demonstrate the use of dialogue management and deep natural language processing techniques. Generation techniques are used to produce natural sounding ...
  • Agent Systems for Coalition Search and Rescue Task Support 

    Tate, Austin; Dalton, J; Bradshaw, J M; Uszok, A (Czech Technical University Press, 2004-10)
    The Coalition Search and Rescue Task Support project shows cooperative agents supporting a highly dynamic mission in which AI task planning, inter-agent collaboration, workflow enactment, policy-managed services, semantic ...
  • 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 ...
  • An Approximate Inference Approach to Temporal Optimization in Optimal Control 

    Rawlik, Konrad; Toussaint, Marc; Vijayakumar, Sethu (2011-01-28)
    Algorithms based on iterative local approximations present a practical approach to optimal control in robotic systems. However, they generally require the temporal parameters (for e.g. the movement duration or the time ...
  • Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL 

    Steel, G.; Maidl, M.; Bundy, Alan (2003-10)
    We describe Coral, a counterexample finder for incorrect inductive conjectures. By devising a first-order version of Paulson's formalism for cryptographic protocol analysis, we are able to use Coral to attack protocols ...
  • Automatic Concept Formation in Pure Mathematics 

    Colton, Simon; Bundy, Alan; Walsh, Toby (1999)
    The HR program forms concepts and makes conjectures in domains of pure mathematics and uses theorem prover OTTER and model generator MACE to prove or disprove the conjectures. HR measures properties of concepts and assesses ...
  • Automatic Decision Detection in Meeting Speech 

    Hsueh, Pei-Yun; Moore, Johanna D. (2010-11-01)
    Decision making is an important aspect of meetings in organisational settings, and archives of meeting recordings constitute a valuable source of information about the decisions made. However, standard utilities such as ...
  • Automatic topic segmentation and labeling in multiparty dialogue 

    Hsueh, Pei-Yun; Moore, Johanna D. (2010-11-04)
    This study concerns how to segment a scenario-driven multiparty dialogue and how to label these segments automatically. We apply approaches that have been proposed for identifying topic boundaries at a coarser level to ...
  • An Automatic Translator from KIF to PDDL 

    McNeill, F.; Bundy, Alan; Walton, C. (2004-12)
    In this paper, we present a translation process that we have developed to convert KIF ontologies into PDDL. This allows us to define KIF-based agents that can plan efficiently. We discuss the difficulties inherent in ...
  • Automation of Diagrammatic Reasoning 

    Jamnik, Mateja; Bundy, Alan; Green, Ian (Morgan Kaufmann, 1997)
    Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is a subset of problems which humans can prove in a different way by the use of geometric operations on diagrams, so called ...
  • Batch Scheduling of Recurrent Applications for Energy Savings on Mobile Phones 

    Marina, Mahesh; Calder, Matthew (2010-05)
    Recurrent applications that mostly run in the background are a significant source of power consumption on battery-limited mobile phones. We highlight the pitfalls of scheduling such applications independently without ...
  • A Bayesian Approach to Empirical Local Linearization For Robotics 

    Ting, Jo-Anne; D'Souza, Aaron; Vijayakumar, Sethu; Schaal, Stefan (2008)
    Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics systems where the dynamics and kinematics are ...