Informatics Report Series


Report    

Number Index


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Report and Date Title and Authors
EDI-INF-RR-1420
Feb 2015
Bar recursion is not T+min definable
; John Longley
EDI-INF-RR-1419
Jul 2014
Infinite-State Energy Games
Richard Mayr ; Parosh Aziz Abdulla ; Mohamed Faouzi Atig ; Piotr Hofman ; K. Narayan Kumar ; Patrick Totzke
EDI-INF-RR-1418
Dec 2013
Simulation Over One-counter Nets is PSPACE-Complete
Richard Mayr ; Piotr Hofman ; Slawomir Lasota ; Patrick Totzke
EDI-INF-RR-1417
Aug 2013
Solving Parity Games on Integer Vectors
Richard Mayr ; Parosh Aziz Abdulla ; Arnaud Sangnier ; Jeremy Sproston
EDI-INF-RR-1416
Aug 2013
Stochastic Parity Games on Lossy Channel Systems
Richard Mayr ; Parosh Aziz Abdulla ; Lorenzo Clemente ; Sven Sandberg
EDI-INF-RR-1415
Apr 2013
Decidability of Weak Simulation on One-counter Nets
Piotr Hofman ; Richard Mayr ; Patrick Totzke
EDI-INF-RR-1414
Oct 2012
Advanced Automata Minimization
Richard Mayr ; Lorenzo Clemente
EDI-INF-RR-1413
2012
Auto-tuning Parallel Skeletons
Alexander Collins ; Chris Fensch ; Hugh Leather
EDI-INF-RR-1412
Dec 2010
Executable Formal Semantics of C
Brian Campbell ; Robert Pollack
EDI-INF-RR-1411
2012
Towards the automatic detection and correction of errors in automatically constructed ontologies
Andriana Gkaniatsou ; Alan Bundy ; Fiona McNeill
EDI-INF-RR-1410
2012
Recursive checkonly QVT-R transformations with general when and where clauses via the modal mu calculus
Julian Bradfield ; Perdita Stevens
EDI-INF-RR-1409
Dec 2011
IncrEase: A Tool for Incremental Planning of Rural Fixed Broadband Wireless Access Networks
Giacomo Bernardi ; Francesco Talamona ; Dmitry Rykovanov ; Mahesh Marina
EDI-INF-RR-1408
Dec 2011
BSense: A Flexible and Open-Source Broadband Mapping Framework
Giacomo Bernardi ; Damon Fenacci ; Mahesh Marina ; Dimitrios Pezaros
EDI-INF-RR-1407
Dec 2011
Traffic-Aware Channel Allocation in Long-Distance 802.11 Mesh Networks
Sofia Pediaditaki ; Mahesh Marina ; Daniel Tyrode
EDI-INF-RR-1406
Sep 2010
Stix: A Goal-Oriented Distributed Management System for Large-Scale Broadband Wireless Access Networks
Giacomo Bernardi ; Matt Calder ; Damon Fenacci ; Alex Macmillan ; Mahesh Marina
EDI-INF-RR-1405
Mar 2010
Demand based State Aware Channel Reconfiguration Algorithm for Multi-Channel Multi-Radio Wireless Mesh Networks
Antony Franklin ; Athula Balachandran ; Siva Ram Murthy C ; Mahesh Marina
EDI-INF-RR-1404
Feb 2011
Mechanisms for stable and robust development of orientation maps and receptive fields
Judith Law ; Jan Antolik ; James Bednar
EDI-INF-RR-1403
Nov 2011
Model-Free Apprenticeship Learning for Transfer of Human Impedance Behaviour
Takeshi Mori ; Matthew Howard ; Sethu Vijayakumar
EDI-INF-RR-1402
Oct 2010
Learning Nullspace Policies
Christopher Towell ; Matthew Howard ; Sethu Vijayakumar
EDI-INF-RR-1401
Sep 2011
The Sound of Silence: ionic mechanisms encoding sound termination
C Kopp-Scheinpflug ; A Tozer ; S Robinson ; B Tempel ; Matthias Hennig ; I Forsythe
EDI-INF-RR-1400
Aug 2011
Age-dependent Homeostatic Plasticity of GABAergic Signaling in Developing Retinal Networks
Matthias Hennig ; John Grady ; James van Coppenhagen ; Evelyne Sernagor
EDI-INF-RR-1399
Apr 2011
Buechi Automata can have Smaller Quotients
Lorenzo Clemente
EDI-INF-RR-1398
2011
Efficient system identification of dynamic spatio-temporal systems from point process observations
Andrew Zammit-Mangion ; Visakan Kadirkamanathan ; Guido Sanguinetti
EDI-INF-RR-1397
2011
Visual Cues Do Not Improve Lesion ABC(D) Grading
Matteo Zanotto ; Lucia Ballerini ; Aldridge Ben ; Robert Fisher ; Rees Jonathan
EDI-INF-RR-1396
Feb 2011
The EMIME Mandarin Bilingual Database
Mirjam Wester ; Hui Liang
EDI-INF-RR-1395
Dec 2010
An Approximate Inference Approach to Temporal Optimization in Optimal Control
Konrad Rawlik ; Marc Toussaint ; Sethu Vijayakumar
EDI-INF-RR-1394
2010
Open Graphs and Monoidal Theories
Lucas Dixon ; Kissinger Aleks
EDI-INF-RR-1393
Nov 2010
Logics and Games for True Concurrency
Julian Gutierrez
EDI-INF-RR-1392
Nov 2010
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers
Horacio Gonzalez-Velez ; Mario Leyton
EDI-INF-RR-1391
Nov 2010
RDFa²: Interleaving Human-Readable and Machine-Readable Data
Xi Bai ; Ewan Klein ; Dave Robertson
EDI-INF-RR-1390
Sep 2010
Parallel Computational Modelling of Inelastic Neutron Scattering in Multi-Node and Multi-Core Architectures
Michael T. Garba ; Horacio Gonzalez-Velez ; Daniel L. Roach
EDI-INF-RR-1389
Sep 2010
Proximity Coherence for Chip Multiprocessors
Nick Barrow-Williams ; Chris Fensch ; Simon Moore
EDI-INF-RR-1388
Sep 2010
The EMIME Bilingual Database
Mirjam Wester
EDI-INF-RR-1387
2010
Changing dynamics of spontaneous waves during retinal development: a novel panretinal perspective achieved with the Active Pixel Sensor (APS) 4,096 electrodes array
Evelyne Sernagor ; Alessandro Maccione ; Matthias Hennig ; Mauro Gandolfo ; Stephen Eglen ; Luca Berdondini
EDI-INF-RR-1386
Jul 2010
Estimating the ground truth from multiple individual segmentations with application to skin lesion segmentation
Xiang Li ; Ben Aldridge ; Jonathan Rees ; Robert Fisher
EDI-INF-RR-1385
2010
Constrained geodesic trajectory generation on learnt skill manifolds
Ioannis Havoutis ; Subramanian Ramamoorthy
EDI-INF-RR-1384
Jul 2009
A Knowledge-Based Planner for Processing Unconstrained Underwater Videos
Gayathri Nadarajan ; Jessica Chen-Burger ; Robert Fisher
EDI-INF-RR-1383
May 2010
An efficient algorithm for self-reconfiguration planning in a modular robot
Thomas Larkworthy ; Subramanian Ramamoorthy
EDI-INF-RR-1382
2009
PRE-FIGHT DETECTION: Classification of Fighting Situations Using Hierarchical AdaBoost
Scott Blunsden ; Robert Fisher
EDI-INF-RR-1381
2010
The BEHAVE video dataset: ground truthed video for multi-person behavior classification
Scott Blunsden ; Robert Fisher
EDI-INF-RR-1380
May 2010
Accurate Feature Extraction and Control Point Correction for Camera Calibration with a Mono-Plane Target
Yijun Xiao ; Robert Fisher
EDI-INF-RR-1379
May 2010
APPLICATION OF A HIGH-SPEED STEREOVISION SENSOR TO 3D SHAPE ACQUISITION OF FLYING BATS
Yijun Xiao ; Robert Fisher
EDI-INF-RR-1378
2010
Properties of IsaCoSy's Constraint Generation Algorithm
Moa Johansson ; Lucas Dixon ; Alan Bundy
EDI-INF-RR-1377
2010
Ideas for a high-level proof strategy language
Cliff B. Jones ; Gudmund Grov ; Alan Bundy
EDI-INF-RR-1376
Aug 2010
Multipebble Simulations for Alternating Automata
Richard Mayr ; Lorenzo Clemente
EDI-INF-RR-1375
May 2010
An efficient algorithm for self-reconfiguration planning in a modular robot
Thomas Larkworthy ; Subramanian Ramamoorthy
EDI-INF-RR-1374
May 2010
Graph minor analysis of reconfiguration state spaces
Thomas Larkworthy ; Subramanian Ramamoorthy
EDI-INF-RR-1373
May 2010
A Game Theoretic Procedure for Learning Hierarchically Structured Strategies
Benjamin Rosman ; Subramanian Ramamoorthy
EDI-INF-RR-1372
2010
Geodesic Trajectory Generation on Learnt Skill Manifolds
Ioannis Havoutis ; Subramanian Ramamoorthy
EDI-INF-RR-1371
Apr 2010
Automatic Guidance for Refinement Based Formal Methods
Maria Teresa Llano ; Gudmund Grov ; Andrew Ireland
EDI-INF-RR-1370
May 2010
Active sequential learning with tactile feedback
Hannes Saal ; Jo-Anne Ting ; Sethu Vijayakumar
EDI-INF-RR-1369
Mar 2010
BrainTrap: a database of 3D protein expression patterns in the Drosophila brain
Seymour Knowles-Barley ; Mark Longair ; Douglas Armstrong
EDI-INF-RR-1368
2010
Building the central complex in Drosophila: The generation and development of distinct neural subsets
Joanna Young ; Douglas Armstrong
EDI-INF-RR-1367
Feb 2010
Structure of the adult central complex in Drosophila: Organization of distinct neuronal subsets.
Joanna Young ; Douglas Armstrong
EDI-INF-RR-1366
Mar 2010
Fixpoint alternation and the Wadge hierarchy
Julian Bradfield ; Jacques Duparc ; Sandra Quickert
EDI-INF-RR-1365
Mar 2010
Slow Frequency Hopping for Mitigating Tidal Fading on Rural Long Distance Over-Water Wireless Links
Alexander Macmillan ; Mahesh Marina ; Jhair Triana
EDI-INF-RR-1364
Jan 2010
Adaptive structured parallelism for distributed heterogeneous architectures: A methodological approach with pipelines and farms
Horacio Gonzalez-Velez ; Murray Cole
EDI-INF-RR-1363
Feb 2010
Parikh Images of Regular Languages: Complexity and Applications
Anthony Lin
EDI-INF-RR-1362
Jan 2010
Transferring Impedance Control Strategies via Apprenticeship Learning
Matthew Howard ; Djordje Mitrovic ; Sethu Vijayakumar
EDI-INF-RR-1361
2008
Observations of the Scottish elections 2007
Russell Lock ; Tim Storer ; Natalie Harvey ; Conrad Hughes ; Ian Sommerville
EDI-INF-RR-1360
Jan 2010
Use of the Edinburgh Geoparser in the GeoDigRef and Embedding GeoCrossWalk Projects
Claire Grover ; Richard Tobin ; Kate Byrne ; Matthew Woollard
EDI-INF-RR-1359
Jan 2010
Exploiting Sensorimotor Stochasticity for Learning Control of Variable Impedance Actuators
Djordje Mitrovic ; Klanke Klanke ;
EDI-INF-RR-1358
2010
Fuzzy Description of Skin Lesions
Nikolaos Lascaris ; Lucia Ballerini ; Robert Fisher ; Ben Aldridge ; Jonathan Rees
EDI-INF-RR-1357
2010
Content-Based Image Retrieval of Skin Lesions by Evolutionary Feature Synthesis
Lucia Ballerini ; Xiang Li ; Robert Fisher ; Ben Aldridge ; Jonathan Rees
EDI-INF-RR-1356
2007
Attribution and its Annotation in the Penn Discourse TreeBank
Rashmi Prasad ; Nikhil Dinesh ; Alan Lee ; Aravind Joshi ; Bonnie Webber
EDI-INF-RR-1355
Jul 2008
Departures from Tree Structures in Discourse: Shared Arguments in the Penn Discourse Treebank
Alan Lee ; Rashmi Prasad ; Aravind Joshi ; Bonnie Webber
EDI-INF-RR-1354
Aug 2009
Genre Distinctions for Discourse in the Penn TreeBank
Bonnie Webber
EDI-INF-RR-1353
Oct 2009
Modelling place memory in crickets
Michael Mangan ; Barbara Webb
EDI-INF-RR-1352
Oct 2009
An Energy-Flow Model for Self-Powered Routers in Rural Mesh Networks and its Application for Energy-Aware Routing
Veljko Pejovic ; Elizabeth Belding ; Mahesh Marina
EDI-INF-RR-1351
Oct 2009
A Learning-based Approach for Distributed Multi-Radio Channel Allocation in Wireless Mesh Networks
Sofia Pediaditaki ; Phillip Arrieta ; Mahesh Marina
EDI-INF-RR-1350
2009
Adaptive statistical scheduling of divisible workloads in heterogeneous systems
Horacio Gonzalez-Velez ; Murray Cole
EDI-INF-RR-1349
Jan 2010
Methods for Learning Control Policies from Variable-constraint Demonstrations
Matthew Howard ; Stefan Klanke ; Gienger Michael ; Goerick Christian ; Sethu Vijayakumar
EDI-INF-RR-1348
Oct 2009
Algorithmic metatheorems for decidable LTL model checking over infinite systems
Anthony Lin ; Leonid Libkin
EDI-INF-RR-1347
Sep 2009
Learning from experts to aid the automation of proof search
Alan Bundy ; Gudmund Grov ; Cliff Jones
EDI-INF-RR-1346
Aug 2009
A Novel Method for Learning Policies from Variable Constraint Data
Matthew Howard ; Stefan Klanke ; Michael Gienger ; Christian Goerick ; Sethu Vijayakumar
EDI-INF-RR-1345
2010
Scheduling threads for intra-query parallelism on multicore processors
Konstantinos Krikellas ; Marcelo Cintra ; Stratis Viglas
EDI-INF-RR-1344
2009
General Motion Planning Methods for Self-Reconfiguration Planning
Thomas Larkworthy ; Gillian Hayes ; Subramanian Ramamoorthy
EDI-INF-RR-1343
Sep 2009
Superfluous S-polynomials in Strategy-Independent Groebner Bases
Grant Passmore ; Leonardo de Moura
EDI-INF-RR-1342
Sep 2009
On Locally Minimal Nullstellensatz Proofs
Leonardo de Moura ; Grant Passmore
EDI-INF-RR-1341
2009
Resource Analysis for Iterative Java Programs via Lattice-point Enumeration in Polytopes
Kenneth MacKenzie
EDI-INF-RR-1340
2009
Motion Synthesis through Randomized Exploration on Submanifolds of Configuration Space
Ioannis Havoutis ; Subramanian Ramamoorthy
EDI-INF-RR-1339
Sep 2009
Parametric Trajectory Representations for Behaviour Classification
Rowland Sillito ; Robert Fisher
EDI-INF-RR-1338
Sep 2009
A Query-by-Example Content-Based Image Retrieval System of Non-Melanoma Skin Lesions
Lucia Ballerini ; Xiang Li ; Robert Fisher ; Jonathan Rees
EDI-INF-RR-1337
2009
Multi-Strategy Trading Utilizing Market Regimes
Hynek Mlnarik ; Subramanian Ramamoorthy ; Rahul Savani
EDI-INF-RR-1336
2009
Depth Data Improves Skin Lesion Segmentation
Xiang Li ; ; Robert Fisher ; Ben Aldridge ; Jonathan Rees
EDI-INF-RR-1335
Oct 2009
Understanding the Role of Multi-Rate Retry Mechanism for Effective Rate Control in 802.11 Wireless LANs
Neda Koci ; Mahesh Marina
EDI-INF-RR-1334
Jul 2009
Technical Report: Defining a textual representation for SBGN Process Diagrams and translating it to Bio-PEPA for quantitative analysis of the MAPK signal transduction cascade
Laurence Loewe ; Stuart Moodie ; Jane Hillston
EDI-INF-RR-1333
Jun 2009
Information about Complex Fingertip Parameters in Individual Human Tactile Afferent Neurons
Hannes Saal ; Sethu Vijayakumar ; Roland Johansson
EDI-INF-RR-1332
Apr 2009
A differential geometric approach to discrete-coefficient filter design
Subramanian Ramamoorthy ; Lothar Wenzel ; James Nagle ; Bin Wang ; Michael Cerna
EDI-INF-RR-1331
2009
Utility-Aware Multi-Device Caching
Ioannis Koltsidas ; Stratis Viglas
EDI-INF-RR-1330
Jul 2009
Combined Decision Techniques for the Existential Theory of the Reals
Grant Passmore ; Paul Jackson
EDI-INF-RR-1329
May 2009
A Method for Learning Policies from Constrained Motiona
Matthew Howard ; Stefan Klanke ; Michael Gienger ; Christian Goerick ; Sethu Vijayakumar
EDI-INF-RR-1328
Mar 2009
On Process Equivalence = Equation Solving in CCS
Raul Monroy ; Alan Bundy ; Ian Green
EDI-INF-RR-1327
May 2009
The script-writer's dream: How to write great SQL in your own language, and be sure it will succeed (Tech report)
Ezra Cooper
EDI-INF-RR-1326
2009
Case-Analysis for Rippling and Inductive Proof
Moa Johansson ; Lucas Dixon ; Alan Bundy
EDI-INF-RR-1325
Apr 2009
Decision Problems for Nash Equilibria in Stochastic Games
Michael Ummels ; Dominik Wojtczak
EDI-INF-RR-1324
Mar 2009
Natural Language Generation as Planning Under Uncertainty for Spoken Dialogue Systems
Verena Rieser ; Oliver Lemon
EDI-INF-RR-1323
Feb 2009
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
Michael Ummels ; Dominik Wojtczak
EDI-INF-RR-1322
Dec 2008
Behaviour Generation in Humanoids by Learning Potential-based Policies from Constrained Motion
Matthew Howard ; Stefan Klanke ; Michael Gienger ; Christian Goerick ; Sethu Vijayakumar
EDI-INF-RR-1321
Mar 2009
A Closed-Loop Prosthetic Hand: The Development of a Novel Manipulandum for Understanding Sensorimotor Learning.
Ian Saunders ; Sethu Vijayakumar
EDI-INF-RR-1320
2009
Multithreaded query execution on multicore processors
Konstantinos Krikellas ; Marcelo Cintra ; Stratis Viglas
EDI-INF-RR-1319
2009
The Case For Flash-Aware Multi Level Caching
Ioannis Koltsidas ; Stratis Viglas
EDI-INF-RR-1318
Jan 2009
Implications of different classes of sensorimotor disturbances for cerebellar-based motor learning models
Adrian Haith ; Sethu Vijayakumar
EDI-INF-RR-1317
Feb 2009
Impedance Control as an Emergent Mechanism from Minimising Uncertainty
Djordje Mitrovic ; Stefan Klanke ; Rieko Osu ; Mitsuo Kawato ; Sethu Vijayakumar
EDI-INF-RR-1316
Feb 2009
A better algorithm for random k-SAT
Amin Coja-Oghlan
EDI-INF-RR-1315
Oct 2007
Wrestle Alone: Creating Tangled Motions of Multiple Avatars from Individually Captured Motions
Shu Lim Ho ; Taku Komura
EDI-INF-RR-1314
Nov 2008
Inconstancy: An Ontology Repair Plan for Adding Hidden Variables
Michael Chan ; Alan Bundy
EDI-INF-RR-1313
Dec 2008
Ontology Evolution in Physics (Thesis Proposal)
Michael Chan
EDI-INF-RR-1312
Sep 2004
The Paradox of the Case Study
Alan Bundy
EDI-INF-RR-1311
2002
A Critique of Proof Planning
Alan Bundy
EDI-INF-RR-1310
Oct 2008
Does SAT Exhibit Fractal Behavior?
Grant Passmore ; Joost Joosten
EDI-INF-RR-1309
Dec 2008
Learning Potential-based Policies from Constrained Motion
Matthew Howard ; Stefan Klanke ; Gienger Michael ; Goerick Christian ; Sethu Vijayakumar
EDI-INF-RR-1308
2009
Early-stage retinal waves arise close to a critical state between local and global functional network connectivity
Matthias Hennig ; Christopher Adams ; David Willshaw ; Evelyne Sernagor
EDI-INF-RR-1307
2008
A rapid prototyping tool for embedded, real-time hierarchical control systems
Ram Rajagopal ; Subramanian Ramamoorthy ; Lothar Wenzel ; Hugo Andrade
EDI-INF-RR-1306
Dec 2008
Unary finite automata vs. arithmetic progressions
Anthony Lin
EDI-INF-RR-1305
Mar 2008
Fast Source-Level Data Assignment to Dual Memory Banks
Alastair Murray ; Bjoern Franke
EDI-INF-RR-1304
Jun 2008
Resource Sharing in Custom Instruction Set Extensions
Gloria Marcela Zuluaga Agudelo ; Nigel Topham
EDI-INF-RR-1303
2008
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Lucas Dixon ; Ross Duncan
EDI-INF-RR-1302
2007
IsaPlanner 2: A Proof Planner in Isabelle
Lucas Dixon ; Moa Johansson
EDI-INF-RR-1301
2008
Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas Dixon ; Ross Duncan
EDI-INF-RR-1300
2009
Plans, Actions and Dialogue using Linear Logic
Lucas Dixon ; Alan Smaill ; Tracy Tsang
EDI-INF-RR-1299
2008
Synthesising Novel Movements through Latent Space Modulation of Scalable Control Policies
Sebastian Bitzer ; Ioannis Havoutis ; Sethu Vijayakumar
EDI-INF-RR-1298
2008
A Computer Vision Model for Visual-Object-Based Attention and Eye Movements
Youru Sun ; Robert Fisher ; Fang Wang ; Herman Gomes
EDI-INF-RR-1297
Apr 2008
A Library for Locally Weighted Projection Regression
Stefan Klanke ; Sethu Vijayakumar ; Stefan Schaal
EDI-INF-RR-1296
Oct 2008
Exploring and predicting the architecture/optimising compiler co-design space
Christophe Dubach ; Timothy Jones ; Michael O'Boyle
EDI-INF-RR-1295
2008
Holistic Query Evaluation: Optimizing the data flow of query engines for main memory execution
Konstantinos Krikellas ; Stratis Viglas ; Marcelo Cintra
EDI-INF-RR-1294
Jun 2008
Learning Effective Multimodal Dialogue Strategies from Wizard-of-Oz data: Bootstrapping and Evaluation
Verena Rieser ; Oliver Lemon
EDI-INF-RR-1293
Sep 2006
Cluster-based User Simulations for Learning Dialogue Strategies.
Verena Rieser ; Oliver Lemon
EDI-INF-RR-1291
Dec 2008
Experimental Evaluation of Read Performance for RFID-based Mobile Sensor Data Gathering Applications
Iain Currie ; Mahesh Marina
EDI-INF-RR-1290
Sep 2008
Tegola Tiered Mesh Network Testbed in Rural Scotland
Giacomo Bernardi ; Peter Buneman ; Mahesh Marina
EDI-INF-RR-1289
Jul 2008
Utility of Hybrid Wireless Experimentation for Evaluation of Heterogeneous Wireless Architectures and Cross-Layer Protocols
Mahesh Marina ; Zhiguo Xu ; Junlan Zhou ; Rajive Bagrodia
EDI-INF-RR-1287
2008
LCFG: A Practical Tool for System Configuration
Paul Anderson
EDI-INF-RR-1286
Jul 2008
Evolutionary expansion and anatomical specialization of synapse proteome complexity
RD Emes ; Andrew Pocklington ; CN Anderson ; A Bayes ; MO Collins ; CA Vickers ; Bilal Malik ; JS Choudhary ; Douglas Armstrong ; SG Grant
EDI-INF-RR-1285
Sep 2008
Semi-supervised Learning for Anomalous Trajectory Detection
Rowland Sillito ; Robert Fisher
EDI-INF-RR-1284
Sep 2007
Using Predictive Modeling for Cross-Program Design Space Exploration in Multicore Systems
Salman Khan ; Polychronis Xekalakis ; John Cavazos ; Marcelo Cintra
EDI-INF-RR-1283
Aug 2008
Definition of the Lingay programming language (Version 0.2)
John Longley
EDI-INF-RR-1282
2008
Wide-band information transmission at the calyx of Held
Zhijun Yang ; Matthias Hennig ; Michael Postlethwaite ; Ian D. Forsythe ; Bruce P. Graham
EDI-INF-RR-1281
Jul 2008
Generalised associated primes and radicals of submodules
Roy McCasland ; Patrick Smith
EDI-INF-RR-1280
Nov 2006
Parametrization and computations in shape spaces with area and boundary invariants
Subramanian Ramamoorthy ; Benjamin Kuipers ; Lothar Wenzel
EDI-INF-RR-1279
Jun 2008
Trajectory generation for dynamic bipedal walking through qualitative model based manifold learning
Subramanian Ramamoorthy ; Benjamin Kuipers
EDI-INF-RR-1278
Jul 2008
Efficient, incremental coverage of space with a continuous curve
Subramanian Ramamoorthy ; Ram Rajagopal ; Lothar Wenzel
EDI-INF-RR-1277
2003
Qualitative heterogeneous control of higher order systems
Subramanian Ramamoorthy ; Benjamin Kuipers
EDI-INF-RR-1276
2002
Qualitative modeling and heterogeneous control of global system behavior
Benjamin Kuipers ; Subramanian Ramamoorthy
EDI-INF-RR-1275
Mar 2008
Simulating Interactions of Avatars in High Dimensional State Space
Pak Ho Shum ; Taku Komura ; Masashi Shiraishi ; Shuntaro Yamazaki
EDI-INF-RR-1274
Sep 2007
Incremental One-Class Learning with Bounded Computational Complexity
Rowland Sillito ; Robert Fisher
EDI-INF-RR-1273
Apr 2007
Multiple Color Texture Map Fusion for 3D Models
Nobuyuki Bannai ; Robert Fisher ; Alexander Agathos
EDI-INF-RR-1272
2008
Detecting ,tracking and counting fish in low quality unconstrained underwater videos
Concetto Spampinato ; Jessica Chen-Burger ; Gayathri Nadarajan ; Robert Fisher
EDI-INF-RR-1271
Jul 2008
Automating Signature Evolution in Logical Theories
Alan Bundy
EDI-INF-RR-1270
Oct 2008
A Language for Biochemical Systems
Michael Pedersen ; Gordon Plotkin
EDI-INF-RR-1269
Oct 2008
Compositional Definitions of Minimal Flows in Petri Nets
Michael Pedersen
EDI-INF-RR-1268
2008
A model of associative learning in the Mushroom Body
Darren Smith ; Jan Wessnitzer ; Barbara Webb
EDI-INF-RR-1267
Jul 2008
Using 3D information for classification of non-melanoma skin lesions
Steven McDonagh ; Robert Fisher ; Jonathan Rees
EDI-INF-RR-1266
Apr 2008
A neurocomputational model for optimal temporal processing
Joachim Hass ; Stefan Blaschke ; Thomas Rammsayer ; Michael Herrmann
EDI-INF-RR-1265
Jun 2008
Symmetries, non-Euclidean metrics, and patterns in a Swift-Hohenberg model of the visual cortex
Michael N. Mayer ; Matthew Browne ; Michael Herrmann ; Minoru Asada
EDI-INF-RR-1264
Jul 2008
Towards Ontology Evolution in Physics
Alan Bundy ; Michael Chan
EDI-INF-RR-1263
Jun 2008
An idiom's guide to formlets
Ezra Cooper ; Samuel Lindley ; Philip Wadler ; Jeremy Yallop
EDI-INF-RR-1262
Jun 2008
Many holes in Hindley-Milner
Samuel Lindley
EDI-INF-RR-1261
Jun 2008
Recurrent Reachability Analysis in Regular Model Checking
Anthony Lin ; Leonid Libkin
EDI-INF-RR-1260
2008
Good Enough Answer Algorithms
Fausto Giunchiglia ; Carles Sierra ; Fiona McNeill ; Nardine Osman ; Ronny Siebes
EDI-INF-RR-1259
May 2007
Consistent exploration improves convergence of reinforcement learning on POMDPs
Paul Crook ; Gillian Hayes
EDI-INF-RR-1258
Jun 2008
The Arrow Calculus
Samuel Lindley ; Philip Wadler ; Jeremy Yallop
EDI-INF-RR-1257
Feb 2005
Psychological validity of schematic proofs
Alan Bundy ; Mateja Jamnik
EDI-INF-RR-1256
Jun 2008
PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers
Ian Stark ; David Aspinall
EDI-INF-RR-1255
2008
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge ; Andreas Meier ; Roy McCasland ; Simon Colton
EDI-INF-RR-1254
May 2008
A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments
Roderick McKenzie ; Jafreezal Jaafar
EDI-INF-RR-1253
2008
Interactions between multiple sources of short term plasticity during evoked and spontaneous activity at the rat calyx of Held
Matthias Hennig ; Michael Postlethwaite ; Ian D. Forsythe ; Bruce P. Graham
EDI-INF-RR-1252
Apr 2008
The Sun Hotspot JVM does not conform with the Java Memory Model
Jaroslav Sevcik
EDI-INF-RR-1251
Apr 2008
HYPE: hybrid systems modelled with flows
Vashti Galpin ; Luca Bortolussi ; Jane Hillston
EDI-INF-RR-1250
Jun 2008
Eliminating The Middleman: Peer-to-Peer Dataflow
Adam Barker ; Jon Weissman ; Jano van Hemert
EDI-INF-RR-1249
2008
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
Kousha Etessami ; Dominik Wojtczak ; Mihalis Yannakakis
EDI-INF-RR-1248
May 2008
Establishing a Biomedical Virtual Organisation through a Portal: Lessons Learned from HEALTHAGENTS
Carla Delgado ; Horacio Gonzalez-Velez
EDI-INF-RR-1247
2007
Automatic synthesis of decision procedures
Predrag Janicic ; Alan Bundy
EDI-INF-RR-1246
2007
Fast, but Approximate, Workflow-Runtime Estimation Using the Bell-Curve Calculus
Lin Yang ; Alan Bundy ; Conrad Hughes ; Dave Berry
EDI-INF-RR-1245
2007
Computational Thinking is Pervasive
Alan Bundy
EDI-INF-RR-1244
Mar 2008
Instruction Cache Energy Saving Through Compiler Way-Placement
Timothy Jones ; Sandro Bartolini ; Bruno De Bus ; John Cavazos ; Michael O'Boyle
EDI-INF-RR-1243
Feb 2008
Evaluating the Effects of Compiler Optimsations on AVF
Timothy Jones ; Michael O'Boyle ; Oğuz Ergin
EDI-INF-RR-1242
Dec 2007
Microarchitectural Design Space Exploration Using An Architecture-Centric Approach
Christophe Dubach ; Timothy Jones ; Michael O'Boyle
EDI-INF-RR-1241
Nov 2007
Effects of fixational eye movements on retinal ganglion cell responses: a modelling study
Matthias Hennig ; Florentin Wrgtter
EDI-INF-RR-1240
Mar 2008
Partitioning random graphs with general degree distributions
Amin Coja-Oghlan ; Andre Lanka
EDI-INF-RR-1239
Mar 2008
An efficient regularity concept for sparse graphs and matrices
Amin Coja-Oghlan ; Colin Cooper ; Alan Frieze
EDI-INF-RR-1238
Feb 2008
An OS-Based Alternative to Full Hardware Coherence on Tiled CMPs
Chris Fensch ; Marcelo Cintra
EDI-INF-RR-1236
May 2008
Orchestraing Data-Centric Workflows
Adam Barker ; Jon Weissman ; Jano van Hemert
EDI-INF-RR-1235
Jun 2008
Improving Evolutionary Algorithms with Scouting: High-Dimensional Problems
Konstantinos Bousmalis ; Jeffrey Pfaffmann ; Gillian Hayes
EDI-INF-RR-1234
Feb 2008
OBO Explorer: an editor for open biomedical ontologies in OWL
Stuart Aitken ; Yin Chen ; Jonathan Bard
EDI-INF-RR-1233
2008
Place memory in crickets
Jan Wessnitzer ; Michael Mangan ; Barbara Webb
EDI-INF-RR-1232
2008
An Adaptive Parallel Pipeline Pattern for Grids
Horacio Gonzalez-Velez ; Murray Cole
EDI-INF-RR-1231
2008
Bio-PEPA: a framework for the modelling and analysis of biological systems
Federica Ciocchetta ; Jane Hillston
EDI-INF-RR-1230
2007
An Extensible Probabilistic Transformation-based Approach to the Third Recognizing Textual Entailment Challenge.
Stefan Harmeling
EDI-INF-RR-1229
2007
Inferring Textual Entailment with a Probabilistically Sound Calculus
Stefan Harmeling
EDI-INF-RR-1228
Dec 2007
A Note on Noise-free Gaussian Process Prediction with Separable Covariance Functions and Grid Designs
Chris Williams ; Mac Baran ; Edwin Bonilla
EDI-INF-RR-1227
Dec 2007
Argumentation-Based Inference and Decision Making - A Medical Perspective
John Fox ; David Glasspool ; Dan Grecu ; Sanjay Modgil ; Matthew South ; Vivek Patkar
EDI-INF-RR-1226
Dec 2007
Supporting medical planning by mitigating cognitive load
David Glasspool ; Ayelet Oettinger ; James Smith-Spark ; Fortunato Castillo ; Victoria Monaghan ; John Fox
EDI-INF-RR-1225
Jul 2007
Where's My Stuff? An Ontology Repair Plan
Alan Bundy
EDI-INF-RR-1224
2007
Recursive Stochastic Games with Positive Rewards
Kousha Etessami ; Dominik Wojtczak ; Mihalis Yannakakis
EDI-INF-RR-1223
2001
Beyond elaboration: the interaction of relations and focus in coherent text
Jon Oberlander ; A Knott ; C Mellish ; M O'Donnell
EDI-INF-RR-1222
Jun 2007
Moses: Open Source Toolkit for Statistical Machine Translation
Philipp Koehn ; Hieu Hoang ; Alexandra Birch-Mayne ; Christopher Callison-Burch ; Marcello Federico ; Nicola Bertoldi ; Brooke Cowan ; Wade Shen ; Christine Moran ; Richard Zens ; Chris Dyer ; Ondrej Bojar ; Alexandra Constantin ; Evan Herbst
EDI-INF-RR-1221
Jun 2007
Factored Translation Models
Philipp Koehn ; Hieu Hoang
EDI-INF-RR-1220
Dec 2007
PropPlan
Michael Fourman
EDI-INF-RR-1219
Apr 2007
Developing complex systems using evolved pattern generators
James Bednar ; R. Miikkulainen ; V. Valsalam
EDI-INF-RR-1218
2007
The Case for Holistic Query Evaluation
Konstantinos Krikellas ; Marcelo Cintra ; Stratis Viglas
EDI-INF-RR-1217
2007
Sorting Hierarchical Data in External Memory
Ioannis Koltsidas ; Heiko Mueller ; Stratis Viglas
EDI-INF-RR-1216
2005
Dynamic competition between contour integration and contour segmentation probed with moving stimuli
Jean Lorenceau ; Anne Giersch ; Peggy Series
EDI-INF-RR-1215
Jun 2007
Marking Time in Developmental Biology: A corpus annotated for developmental entities and stages.
Gail Sinclair ; Bonnie Webber
EDI-INF-RR-1214
Jul 2002
Enhanced Free Text Access to Anatomically-Indexed Data
Gail Sinclair ; Bonnie Webber ; Duncan Davidson
EDI-INF-RR-1213
Jul 2006
Marking Time in Developmental Biology: Annotating Developmental Events and their Links with Molecular Events
Gail Sinclair ; Bonnie Webber ; Duncan Davidson
EDI-INF-RR-1212
Aug 2004
Classification from Full Text: A Comparison of Canonical Sections of Scientific Papers
Gail Sinclair ; Bonnie Webber
EDI-INF-RR-1210
Dec 2005
Dynamical Synapses Give Rise to a Power-Law Distribution of Neuronal Avalanches
Michael Herrmann ; Anna Levina
EDI-INF-RR-1209
Oct 2007
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Perdita Stevens
EDI-INF-RR-1208
2006
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams
Jennifer Tenzer ; Perdita Stevens
EDI-INF-RR-1207
2007
Free-Algebra Models for the Pi-Calculus
Ian Stark
EDI-INF-RR-1206
Jul 2006
Designing Safe, Profitable Automated Stock Trading Agents Using Evolutionary Algorithms
Harish Subramanian ; Subramanian Ramamoorthy ; Peter Stone ; Benjamin Kuipers
EDI-INF-RR-1205
2006
Modelling the influence of RKIP on the ERK signalling pathway using stochastic process algebra PEPA
Muffy Calder ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-1204
2003
Learning OT Constraint Rankings Using a Maximum Entropy Model
Sharon Goldwater ; Mark Johnson
EDI-INF-RR-1203
2006
Interpolating between Types and Tokens by Estimating Power-Law Generators
Sharon Goldwater ; T.L. Griffiths ; Mark Johnson
EDI-INF-RR-1202
2006
Contextual Dependencies in Unsupervised Word Segmentation
Sharon Goldwater ; T.L. Griffiths ; Mark Johnson
EDI-INF-RR-1201
2007
A Fully Bayesian Approach to Unsupervised Part-of-Speech Tagging
Sharon Goldwater ; T.L. Griffiths
EDI-INF-RR-1200
2007
Reconstructing Null-space Policies Subject to Dynamic Task Constraints in Redundant Manipulators
Matthew Howard ; Sethu Vijayakumar
EDI-INF-RR-1199
Mar 2003
Undecidable problems in unreliable computations
Richard Mayr
EDI-INF-RR-1198
Jun 2003
Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes
Richard Mayr
EDI-INF-RR-1197
Mar 2006
Model Checking Probabilistic Pushdown Automata
J. Esparza ; A. Kucera ; Richard Mayr
EDI-INF-RR-1196
Feb 2007
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
P.A. Abdulla ; P. Mahata ; Richard Mayr
EDI-INF-RR-1195
Jul 2004
A Search Engine for Historical Manuscript Images
T. Rath ; R. Manamtha ; Victor Lavrenko
EDI-INF-RR-1194
Aug 2002
Cross-Lingual Relevance Models
Victor Lavrenko ; M. Choquette ; W.B. Croft
EDI-INF-RR-1193
Jun 2004
Multiple Bernoulli Relevance Models for Image and Video Annotation
S Feng ; R Manmatha ; Victor Lavrenko
EDI-INF-RR-1192
Dec 2003
A Model for Learning the Semantics of Pictures
Victor Lavrenko ; R Manmatha ; J Jeon
EDI-INF-RR-1191
Jul 2003
Automatic Image Annotation in Retrieval using Cross-Media Relevance Models
J Jeon ; Victor Lavrenko ; R Manmatha
EDI-INF-RR-1190
Sep 2001
Relevance-Based Language Models
Victor Lavrenko ; W.B. Croft
EDI-INF-RR-1189
2007
Bayesian Estimators for Robins-Ritov's Problem
Stefan Harmeling ; Marc Toussaint
EDI-INF-RR-1188
2007
Mobile resource guarantees
Donald Sannella ; Martin Hofmann ; David Aspinall ; Stephen Gilmore ; Ian Stark ; Lennart Beringer ; Hans-Wolfgang Loidl ; Kenneth MacKenzie ; Alberto Momigliano ; Olha Shkaravska
EDI-INF-RR-1187
Jun 2007
Orient-2: a realtime wireless posture tracking system using local orientation estimation
D.K. Arvind ; Martin Ling ; Alex Young
EDI-INF-RR-1186
Aug 2007
A Distributed, Leaderless Algorithm for Logical Location Discovery in Specknets
D.K. Arvind ; Ryan McNally
EDI-INF-RR-1185
Oct 2002
Second Language Vocabulary Acquisition and Learning Strategies in ICALL Environments
Thomas Segler ; Helen Pain ; Antonella Sorace
EDI-INF-RR-1184
Jun 2001
Latent Semantic Analysis for Text Segmentation
Freddy Y.Y. Choi ; Peter Wiemer-Hastings ; Johanna Moore
EDI-INF-RR-1183
Aug 2001
A Comparative Evaluation of Socratic Versus Didactic Tutoring
Carolyn Penstein Rose ; Johanna Moore ; David Allbritton ; Kurt Van Lehn
EDI-INF-RR-1182
2002
Study of a phenomenological model of the kinetics of bacterial adsorption to low energy surfaces
Viatcheslav Fedorovich ; S.V. Kalyushnyi ; P Van der Meeren ; W Verstraete
EDI-INF-RR-1181
2002
Development of a phenomenological model of the kinetics of bacterial adsorption to low energy-surfaces
Viatcheslav Fedorovich ; S.V. Kalyushnyi ; P Van der Meeren ; W. Verstraete
EDI-INF-RR-1180
Sep 2004
Modelling and querying biomolecular interaction networks
N Chabrier ; M Chiaverini ; Vincent Danos ; F Fages ; V Schachter
EDI-INF-RR-1179
Oct 2007
Dynamical synapses causing self-organized criticality in neural networks
A Levina ; Michael Herrmann ; T Geisel
EDI-INF-RR-1178
2007
The Edinburgh human metabolic network reconstruction and its functional analysis
Hongwu Ma ; Anatoly Sorokin ; Alexander Mazein ; Alex Selkov ; Evgeni Selkov ; Oleg Demin ; Igor Goryanin
EDI-INF-RR-1177
Mar 2006
Using Machine Learning to Focus Iterative Optimization
Edwin Bonilla ; John Cavazos ; Bjoern Franke ; Michael O'Boyle ; John Thomson ; Chris Williams
EDI-INF-RR-1176
May 2007
Fast Compiler Optimisation Evaluation Using Code-Feature Based Performance Prediction
Christophe Dubach ; John Cavazos ; Bjoern Franke ; Michael O'Boyle ; Grigori Fursin ; Olivier Temam
EDI-INF-RR-1175
Jun 2007
Combining Source-to-Source Transformations and Processor Instruction Set Extensions for the Automated Design-Space Exploration of Embedded Systems
Richard Bennett ; Alastair Murray ; Bjoern Franke ; Nigel Topham
EDI-INF-RR-1174
Sep 2007
A Cost-Aware Parallel Workload Allocation Approach Based on Machine Learning Techniques
Shun Long ; Grigori Fursin ; Bjoern Franke
EDI-INF-RR-1173
Jul 2002
Probabilistic Game Semantics
Vincent Danos ; R Harmer
EDI-INF-RR-1172
Oct 2007
Categorical Perspectives
Michael Fourman
EDI-INF-RR-1171
Sep 2007
Rule-based modelling of cellular signalling
Vincent Danos ; J Feret ; W Fontana ; R Harmer ; J Krivine
EDI-INF-RR-1170
Apr 2006
Bisimulation and cocongruence for probabilistic systems
Vincent Danos ; J Desharnais ; F Laviolette ; P Panangaden
EDI-INF-RR-1169
2004
Formal Molecular Biology
Vincent Danos ; C Laneve
EDI-INF-RR-1168
May 2002
A comparison of quantum oracles
Elham Kashefi ; A Kent ; V Vedral ; K Banaszek
EDI-INF-RR-1167
Nov 2006
Determinism in the one-way model
Vincent Danos ; Elham Kashefi
EDI-INF-RR-1166
Jun 2007
Statistical Zero Knowledge and quantum one-way functions
Elham Kashefi ; I Kerenidis
EDI-INF-RR-1165
Apr 2004
The Measurement Calculus
Vincent Danos ; Elham Kashefi ; Prakash Panandagen
EDI-INF-RR-1164
Oct 2007
On the Complexity of Nash Equilibria and Other Fixed Points
Kousha Etessami ; Mihalis Yannakakis
EDI-INF-RR-1163
Oct 2002
Draft sequencing and comparative genomics of Xylella fastidiosa strains reveal novel biological insights
Anamitra Bhattacharyya ; Stephanie Stilwagen ; Gary Reznik ; Helene Feil ; William S. Feil ; Iain Anderson ; Evgeny Selkov ; Axel Bernal ; Mark D'Souza ; Natalia Ivanova ; Vinayak Kapatral ; Niels Larsen ; Tamara Los ; Athanasios Lykidis ; Theresa L. Walunas ; Alexander Purcell ; Rob A. Edwards ; Trevor Hawkins ; Robert Haselkorn ; Ross Overbeek ; Nikos C. Kyrpides ; Paul F. Predki
EDI-INF-RR-1162
2007
Draft sequencing and comparative genomics of Xylella fastidiosa strains reveal novel biological insights
Anamitra Bhattacharryya ; Stephanie Stilwagen ; Gary Reznik ; H. Feil ; W. S. Feil ; Ian Anderson ; Axel Bernal
EDI-INF-RR-1161
Jan 2003
The ERGO genome analysis and discovery system
Ross Overbeek ; Niels Larsen ; Terry Walunas ; Mark D'Souza ; Gordon Pusch ; Evgeny Selkov ; Konstantinos Liolios ; Viktor Joukov ; Denis Kaznadzey ; Iain Anderson ; Anamitra Bhattacharyya ; Henry Burd ; Warren Gardner ; Paul Hanke ; Vinayak Kapatral ; Natalia Mikhailova ; Olga Vasieva ; Andrei Osterman ; Veronika Vonstein ; Michael Fonstein ; Natalia Ivanova ; Nikos Kyrpides
EDI-INF-RR-1160
Jul 2003
Metabolic theory of the cell clock and its experimental verification with sequenced cyanobacteria
Evgeni Selkov, Sr. ; Evgeny Selkov ; Dmitry Karpeev ; David DeHorn ; Mike Minkov ; Evgeni Nikolaev ; Yulya Poluektova
EDI-INF-RR-1159
2007
Developing Performance Criteria for the e-Pelvis Simulator Using Visual Analysis
Jonathan Silverstein ; Evgeny Selkov ; Lawrence Salud ; Carla Pugh
EDI-INF-RR-1158
Dec 2006
Language With Character: A Stratified Corpus Comparison of Individual Differences in E-Mail Communication
Jon Oberlander ; Alastair Gill
EDI-INF-RR-1157
Mar 2006
Dispersed plug flow model for upflow anaerobic sludge bed reactors with focus on granular sludge dynamics
S. Kalyushnyi ; Viatcheslav Fedorovich ; P. Lens
EDI-INF-RR-1156
2003
Extension of anaerobic digestion model no. 1 with the process of sulfate reduction
Viatcheslav Fedorovich ; P. Lens ; S. Kalyushnyi
EDI-INF-RR-1155
2007
Dynamic Semantics for Agent Communication Languages
Michael Rovatsos
EDI-INF-RR-1154
Jan 2007
The Empirical Semantics Approach to Communication Structure Learning and Usage: Individualistic vs. Systemic Views
Matthias Nickles ; Michael Rovatsos ; Marco Schmitt ; Wilfried Brauer ; Felix Fischer ; Thomas Malsch ; Kai Paetow
EDI-INF-RR-1153
Dec 2007
Logics for Action
Michael Fourman
EDI-INF-RR-1152
2007
A computational approach to negative priming
H Schrobsdorff ; M Ihrke ; B Kabisch ; J Behrendt ; M Hasselhorn ; Michael Herrmann
EDI-INF-RR-1151
2006
Optimal mass distribution for passivity-based bipedal robots
J Hass ; Michael Herrmann ; T Geisel
EDI-INF-RR-1150
2005
Neural networks approach to clustering of activity in fMRI Data
M Voultsidou ; S Dodel ; Michael Herrmann
EDI-INF-RR-1149
2007
Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution
Fiona McNeill ; Alan Bundy
EDI-INF-RR-1148
Sep 2004
A Program Logic for Resource Verification
David Aspinall ; Lennart Beringer ; Martin Hofmann ; Hans-Wolfgang Loidl ; Alberto Momigliano
EDI-INF-RR-1147
2007
Low-discrepancy curves and efficient coverage of space
Subramanian Ramamoorthy ; Ram Rajagopal ; Qing Ruan ; Lothar Wenzel
EDI-INF-RR-1146
2007
Qualitative Hybrid Control of Dynamic Bipedal Walking
Subramanian Ramamoorthy ; Benjamin Kuipers
EDI-INF-RR-1145
Feb 2002
LCFG - The Next Generation
Paul Anderson ; Alastair Scobie
EDI-INF-RR-1144
Jun 2007
Non-linear dimensionality reduction of signaling networks
Sergii Ivakhno ; Douglas Armstrong
EDI-INF-RR-1143
Apr 2002
Reconstruction of planar surfaces behind occlusions in range images
Fabio Dell'Acqua ; Robert Fisher
EDI-INF-RR-1142
Jul 2005
Facilitating user feedback in the design of a novel joke generation system for people with severe communication impairment.
Annalu Waller ; Dave O'Mara ; Hisar Maruli Manurung ; Helen Pain ; Graeme Ritchie
EDI-INF-RR-1141
2007
Evolving a Neural Model of Insect Path Integration
Thomas Haferlach ; Jan Wessnitzer ; Michael Mangan ; Barbara Webb
EDI-INF-RR-1140
Sep 2007
CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank
Julia Hockenmaier ; Mark Steedman
EDI-INF-RR-1139
2003
Viewing the Semantic Web through RVL Lenses.
Aimilia Magkanaraki ; Val Tannen ; Vassilis Christophides ; Dimitris Plexousakis
EDI-INF-RR-1138
Aug 2007
Local Perspectives on Action
Michael Fourman
EDI-INF-RR-1137
2003
E-services: a look behind the curtain.
Richard Hull ; Michael Benedikt ; Vassilis Christophides ; Jianwen Su
EDI-INF-RR-1136
2003
On labeling schemes for the semantic web.
Vassilis Christophides ; Dimitris Plexousakis ; Michel Scholl ; Sotirios Tourtounis
EDI-INF-RR-1135
2002
RQL: a declarative query language for RDF.
Gregory Karvounarakis ; Sofia Alexaki ; Vassilis Christophides ; Dimitris Plexousakis ; Michel Scholl
EDI-INF-RR-1134
2000
On Wrapping Query Languages and Efficient XML Integration.
Vassilis Christophides ; Sophie Cluet ; Jerome Simeon
EDI-INF-RR-1133
Dec 2007
Improving Evolutionary Algorithms with Scouting
Konstantinos Bousmalis ; Gillian Hayes ; Jeffrey Pfaffmann
EDI-INF-RR-1132
Jun 2009
HealthAgents: Distributed Multi-Agent Brain Tumour Diagnosis and Prognosis
Horacio Gonzalez-Velez ; Adriana Mier Perez ; Margarida Julia-Sape ; Theodoros N. Arvanitis ; Juan M. Garcia-Gomez ; Montserrat Robles ; Paul H. Lewis ; Srinandan Dasmahapatra ; David Dupplaw ; Andrew Peet ; Carles Arus ; Bernardo Celda ; Sabine Van Huffel ; Magi Lluch i Ariet
EDI-INF-RR-1131
2007
Load estimation and control using learned dynamics models
Georgios Petkos ; Sethu Vijayakumar
EDI-INF-RR-1130
2007
Expressiveness and Complexity of XML Publishing Transducers
Wenfei Fan ; Floris Geerts ; Frank Neven
EDI-INF-RR-1129
May 1999
A multi-agent based evolutionary artificial neural network for general navigation in unknown environments
Fang Wang ; Roderick McKenzie
EDI-INF-RR-1128
Jun 1999
An Agent-Based Visualisation Architecture
Jonathan Meddes ; Roderick McKenzie
EDI-INF-RR-1127
Nov 1999
Multifunctional Learning of a Multiagent based Evolutionary Artificial Neural Network with Lifetime Learning
Fang Wang ; Roderick McKenzie
EDI-INF-RR-1126
Jan 2000
Improving Visualisation by Capturing Domain Knowledge
Jonathan Meddes ; Roderick McKenzie
EDI-INF-RR-1125
Sep 2005
Learning User Simulations for Information State Update Dialogue Systems
Kallirroi Georgila ; Oliver Lemon ; James Henderson
EDI-INF-RR-1124
Mar 2003
Stochastic Language Modelling for Recognition and Generation in Dialogue Systems
Kallirroi Georgila ; Nikos Fakotakis ; George Kokkinakis
EDI-INF-RR-1123
Nov 2002
Large Vocabulary Search Space Reduction Employing Directed Acyclic Word Graphs and Phonological Rules
Kallirroi Georgila ; Nikos Fakotakis ; George Kokkinakis
EDI-INF-RR-1122
Apr 2003
A Speech-Based Human-Computer Interaction System for Automating Directory Assistance Services
Kallirroi Georgila ; Kyriakos Sgarbas ; Anastasios Tsopanoglou ; Nikos Fakotakis ; George Kokkinakis
EDI-INF-RR-1121
Sep 2007
Java Memory Model Examples: Good, Bad and Ugly
David Aspinall ; Jaroslav Sevcik
EDI-INF-RR-1120
Aug 2007
A Modular Approach for Automating Video Analysis
Gayathri Nadarajan ; Arnaud Renouf
EDI-INF-RR-1119
Nov 2007
Planning and Choosing: Augmenting HTN-Based Agents with Mental Attitudes
Gerhard Wickler ; Stephen Potter ; Austin Tate ; Michal Pechoucek ; Eduard Semsch
EDI-INF-RR-1118
May 2005
Structural Properties of XPath Fragments
Michael Benedikt ; Wenfei Fan ; Gabi Kuper
EDI-INF-RR-1117
2006
An ISU dialogue system exhibiting reinforcement learning of dialogue policies: generic slot-filling in the TALK in-car system
Oliver Lemon ; Kallirroi Georgila ; James Henderson ; Matthew Stuttle
EDI-INF-RR-1116
2005
Holographic Proofs and Derandomization
Dieter van Melkebeek ; Rahul Santhanam
EDI-INF-RR-1115
2005
Hierarchies for Semantic Classes
Lance Fortnow ; Rahul Santhanam ; Luca Trevisan
EDI-INF-RR-1114
Oct 2004
Hierarchy Theorems for Probalistic Polynominal Time
Lance Fortnow ; Rahul Santhanam
EDI-INF-RR-1113
2007
Circuit Lower Bounds for Merlin-Arthur Classes
Rahul Santhanam
EDI-INF-RR-1112
Jul 2007
Quasi-randomness and algorithmic regularity for graphs with general degree distributions
Noga Alon ; Amin Coja-Oghlan ; Hiep Han ; Mihyun Kang ; Vojtech Rodl ; Mathias Schacht
EDI-INF-RR-1111
Jul 2005
The Lovasz number of random graphs.
Amin Coja-Oghlan
EDI-INF-RR-1110
Jul 2007
Coloring semi-random graphs.
Amin Coja-Oghlan
EDI-INF-RR-1109
Oct 2006
A spectral heuristic for bisecting random graphs.
Amin Coja-Oghlan
EDI-INF-RR-1108
2002
Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System.
Diane Litman ; Satinder Singh ; Michael Kearns ; Marilyn Walker
EDI-INF-RR-1107
Jun 2002
Designing and Evaluating an Adaptive Spoken Dialogue System.
Diane Litman ; Shimei Pan
EDI-INF-RR-1106
Jun 2004
Prosodic and Other Cues to Speech Recognition Failures
Julia Hirschberg ; Diane Litman ; Marc Swerts
EDI-INF-RR-1105
2006
Spoken Versus Typed Human and Computer Dialogue Tutoring
Diane Litman ; Carolyn P. Rose ; Kate Forbes-Riley ; Kurt VanLehn ; Dumisizwe Bhembe ; Scott Silliman
EDI-INF-RR-1104
2006
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
H Palacios ; Hector Geffner
EDI-INF-RR-1103
2006
Learning Depth First-Search: a Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings and its Application to MDPs
B. Bonet ; Hector Geffner
EDI-INF-RR-1102
Mar 2006
Branching and Pruning: An Optimal Temporal POCL Planner based on Constraint Programming
V Vidal ; Hector Geffner
EDI-INF-RR-1101
Jun 2001
Planning as Heuristic Search
B. Bonet ; Hector Geffner
EDI-INF-RR-1098
2006
A trajectory mixture density network for the acoustic-articulatory inversion mapping.
Korin Richmond
EDI-INF-RR-1097
Jul 2007
Automated discovery of inductive theorems.
Roy McCasland ; Alan Bundy ; Serge Autexier
EDI-INF-RR-1096
Sep 2006
Probabilistic fusion of stereo with colour and contrast for bi-layer sementation
V. Kolmogorov ; A. Criminisi ; Andrew Blake ; G. Cross ; C. Rother
EDI-INF-RR-1095
2004
GrabCut - interactive foreground extraction using iterated graph cuts
Andrew Blake
EDI-INF-RR-1094
2003
Poisson image editing
P Perez ; M Gangnet ; Andrew Blake
EDI-INF-RR-1093
2002
Probabilistic Tracking with Exemplars in a Metric Space
K Toyama ; Andrew Blake
EDI-INF-RR-1092
Jun 2001
The Festival Speech Synthesis System Version 1.4.2
Alan Black ; Paul Taylor ; Richard Caley ; Rob Clark ; Korin Richmond ; Simon King ; Volker Strom ; Heiga Zen
EDI-INF-RR-1091
Sep 2001
On pseudorandom generators in NC^0
Mary Cryan ; Peter Bro Miltersen
EDI-INF-RR-1090
Jul 2007
Mechanized Metatheory Model-Checking
James Cheney ; Alberto Momigliano
EDI-INF-RR-1089
Mar 2006
Using Machine Learning to Focus Iterative Optimization
Edwin Bonilla ; John Cavazos ; Bjoern Franke ; Michael O'Boyle ; John Thomson ; Chris Williams
EDI-INF-RR-1088
May 2007
Fast Compiler Optimisation Evaluation Using Code-Feature Based Performance Prediction
Christophe Dubach ; John Cavazos ; Bjoern Franke ; Michael O'Boyle ; Grigori Fursin ; Olivier Temam
EDI-INF-RR-1087
Jun 2007
Combining Source-to-Source Transformations and Processor Instruction Set Extension for the Automated Design-Space Exploration of Embedded Systems
Richard Bennett ; Alastair Murray ; Bjoern Franke ; Nigel Topham
EDI-INF-RR-1086
Sep 2007
A Cost-Aware Parallel Workload Allocation Approach Based on Machine Learning Techniques
Shun Long ; Grigori Fursin ; Bjoern Franke
EDI-INF-RR-1085
2007
Robustness of VOR and OKR adaptation under kinematics and dynamics transformations
Adrian Haith ; Sethu Vijayakumar
EDI-INF-RR-1084
Nov 2003
Micro-Planning based on Communicative Intent: The SPUD System
Matthew Stone ; Christine Doran ; Tonya Bleam ; Martha Palmer ; Bonnie Webber
EDI-INF-RR-1083
Mar 2005
Analyse quantitative de programmes applicatif base de squelettes algorithmiques
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-1082
2005
Component-based grid programming. A case study on wavelets.
Jan Duennweber ; Sergei Gorlatch ; Anne Benoit ; Murray Cole
EDI-INF-RR-1081
2005
Native Services for Grid Applications
Jan Duennweber ; Anne Benoit ; Murray Cole ; Sergei Gorlatch
EDI-INF-RR-1080
Jun 2006
Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel Mean Value Analysis algorithm
Gagarine Yaikhom ; Murray Cole ; Stephen Gilmore
EDI-INF-RR-1079
Feb 2007
Reactive Grid Scheduling of DAG applications
Israel Hernandez ; Murray Cole
EDI-INF-RR-1077
Mar 2007
A structural approach for modelling performance of workflow systems
Gagarine Yaikhom ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-1076
Feb 2007
Designing Efficient Processors Using Compiler-Directed Optimisations
Timothy Jones ; Michael O'Boyle ; Jaume Abella ; Antonio Gonzlez ; Oğuz Ergin
EDI-INF-RR-1075
Sep 2005
Compiler Directed Early Register Release
Timothy Jones ; Michael O'Boyle ; Jaume Abella ; Antonio Gonzlez ; Oğuz Ergin
EDI-INF-RR-1074
Feb 2005
Software Directed Issue Queue Power Reduction
Timothy Jones ; Michael O'Boyle ; Jaume Abella ; Antonio Gonzlez
EDI-INF-RR-1072
Jul 2006
Analysis of mouse EphA knockins and knockouts suggests that retinal axons programme target cells to form ordered retinotopic maps
David Willshaw
EDI-INF-RR-1071
May 2007
Synthetic Trace-Driven Simulation of Cache Memory
Rahman Hassan ; Antony Harris ; Nigel Topham ; Aristeidis Efthymiou
EDI-INF-RR-1070
Mar 2007
A Hybrid Markov Model for Accurate Memory Reference Generation
Rahman Hassan ; Antony Harris ; Nigel Topham ; Aristeidis Efthymiou
EDI-INF-RR-1069
Mar 2006
Towards a Bell-Curve Calculus and its Application to e-Science
Lin Yang ; Alan Bundy ; Dave Berry ; Conrad Hughes
EDI-INF-RR-1068
Sep 2006
Towards a Bell-Curve Calculus for e-Science
Lin Yang ; Alan Bundy ; Dave Berry ; Conrad Hughes
EDI-INF-RR-1067
Mar 2006
iMONDRIAN: A Visual Tool to Annotate and Query Scientific Databases
Floris Geerts ; Anastasios Kementsietsidis ; Diego Milano
EDI-INF-RR-1066
2006
Using Partial Evaluation in Distributed Query Evaluation
Peter Buneman ; Gao Cong ; Wenfei Fan ; Anastasios Kementsietsidis
EDI-INF-RR-1065
Jun 2003
Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues.
Anastasios Kementsietsidis ; Marcelo Arenas ; Renee Miller
EDI-INF-RR-1064
Jun 2002
Data Management for Peer-to-Peer Computing: A Vision
Philip Bernstein ; Fausto Giunchiglia ; Anastasios Kementsietsidis ; John Mylopoulos ; Luciano Serafini ; Ilya Zaihrayeu
EDI-INF-RR-1063
Oct 2006
QoS Explorer: A Tool for Exploring QoS in Composed Services
Conrad Hughes ; Jamie Hillman
EDI-INF-RR-1062
Sep 2003
Dependable Grid Services
Stuart Anderson ; Yin Chen ; Glen Dobson ; Stephen Hall ; Conrad Hughes ; Yong Li ; Sheng Qu ; Edmund Smith ; Ian Sommerville ; Tie Jun Ma
EDI-INF-RR-1061
Jun 2007
Recognising Nested Named Entities in Biomedical Text
Beatrice Alex ; Barry Haddow ; Claire Grover
EDI-INF-RR-1060
May 2007
Evaluation of Multihop Relaying for Robust Vehicular Internet Access
Yi Yang ; Mahesh Marina ; Rajive Bagrodia
EDI-INF-RR-1059
Jun 2007
The Extraction of Enriched Protein-Protein Interactions from Biomedical Text
Barry Haddow ; Michael Matthews
EDI-INF-RR-1058
Oct 2003
O-Plan: a Common Lisp Planning Web Service
Austin Tate ; Jeffrey Dalton
EDI-INF-RR-1057
Jul 2004
KAoS Policy Management for Semantic Web Services
Andrzej Uszok ; Jeffrey M. Bradshaw ; Renia Jeffers ; Austin Tate ; Jeffrey Dalton ; Stuart Aitken
EDI-INF-RR-1056
Nov 2004
Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment
Andrzej Uszok ; Jeffrey M. Bradshaw ; Renia Jeffers ; Austin Tate ; Jeffrey Dalton
EDI-INF-RR-1055
2007
I-X software
Jeffrey Dalton
EDI-INF-RR-1054
Jul 2007
Relational parametricity for computational effects
Rasmus Mogelberg ; Alexander Simpson
EDI-INF-RR-1053
Apr 2007
A convenient category of domains
Ingo Battenfeld ; Matthias Schroeder ; Alexander Simpson
EDI-INF-RR-1052
2004
XML Compression Project
James Cheney
EDI-INF-RR-1051
Jun 2002
Cyclone: A Safe Dialect of C
Trevor Jim ; Greg Morrisett ; Dan Grossman ; Michael Hicks ; James Cheney ; Yanling Wang
EDI-INF-RR-1050
Mar 2006
Completeness and Herbrand theorems for nominal logic
James Cheney
EDI-INF-RR-1049
Sep 2007
CRISP
Mark Hartswood ; Conrad Hughes ; Stuart Anderson
EDI-INF-RR-1048
May 2005
Field Information Management System (FIMS)
Armand Bejtullahu ; Conrad Hughes ; Stuart Anderson
EDI-INF-RR-1047
Jan 2005
Agrajag
Conrad Hughes ; Stuart Anderson
EDI-INF-RR-1046
Jul 2007
Combining Term-Based and Event-Based Matching for Question Answering
Michael Wiegand ; Jochen Leidner ; Dietrich Klakow
EDI-INF-RR-1045
May 2006
SpeckMAC: Low-Power Decentralised MAC Protocols for low-data rate transmissions in Specknets
Steven Wong ; D.K. Arvind
EDI-INF-RR-1044
May 2001
Human INCENP colocalizes with the Aurora-B/AIRK2 kinase on chromosomes and is overexpressed in tumour cells.
Richard Adams ; Mark Eckley ; Paola Vagnarelli ; Sally Wheatley ; Dietlind Gerloff ; AListair Mackay ; William EArnshaw
EDI-INF-RR-1043
May 2001
Essential roles of Drosophila inner centromere protein (INCENP) and aurora B in histone H3 phosphorylation, metaphase chromosome alignment, kinetochore disjunction, and chromosome segregation.
Richard Adams ; Helder Maiato ; William Earnshaw ; Mar Carmena
EDI-INF-RR-1042
Jun 2004
Inducing Heuristics to Decide Whether to Schedule.
John Cavazos ; J. Eliot B. Moss
EDI-INF-RR-1041
Mar 2006
SUSPECTS: enabling fast and effective prioritization of positional candidates.
Euan Adie ; Richard Adams ; Kathy Evans ; David Porteous ; Ben Pickard
EDI-INF-RR-1040
Dec 2007
Factoring Gaussian Precision Matrices for Linear Dynamic Models
Jolyon Frankel ; Simon King
EDI-INF-RR-1039
Oct 2007
Articulatory feature recognition using dynamic Bayesian networks
Jolyon Frankel ; Simon King ; Mirjam Wester
EDI-INF-RR-1038
Mar 2005
Speeding disease gene discovery by sequence based candidate prioritization.
Euan Adie ; Richard Adams ; Kathy Evans ; David Porteous
EDI-INF-RR-1037
Dec 2006
Automatic Evaluation of Information Ordering: Kendall's Tau
Mirella Lapata
EDI-INF-RR-1036
2001
Using the Nystroem Method to Speed Up Kernel Machines
Chris Williams ; Matthias Seeger
EDI-INF-RR-1035
2001
RAGs: A Novel Approach to Computerized Genetic Risk Assessment and Decision Support from Pedigrees.
Andrew Coulson ; David Glasspool ; John Fox ; Jon Emery
EDI-INF-RR-1034
Jan 2007
Dynamic Verification of Trust in Distributed Open Systems
Nardine Osman ; Dave Robertson
EDI-INF-RR-1033
Sep 2006
A model of antennal wall-following and escape in the cockroach
Timothy Chapman ; Barbara Webb
EDI-INF-RR-1032
May 2007
Adapting a relation extraction pipeline for the BioCreAtIvE II task
Claire Grover ; Barry Haddow ; Ewan Klein ; Michael Matthews ; Leif Neilson ; Richard Tobin ; Xinglong Wang
EDI-INF-RR-1031
May 2003
Grounding Spatial Named Entities for Information Extraction and Question Answering
Jochen Leidner ; Gail Sinclair ; Bonnie Webber
EDI-INF-RR-1030
Jul 2004
A Framework for Text Mining Services
Claire Grover ; Harry Halpin ; Ewan Klein ; Jochen Leidner ; Stephen Potter ; Sebastian Riedel ; Sally Scrutchin
EDI-INF-RR-1029
Dec 2006
HTS version 2.0
Keiichi Tokuda ; Zen Heiga ; Junichi Yamagishi ; Masuko Takashi ; Shinji Sako ; Black Alan ; Nose Takashi
EDI-INF-RR-1028
Aug 2003
A Training Method of Average Voice Model for HMM-based Speech Synthesis
Junichi Yamagishi ; Masatsune Tamura ; Takashi Masuko ; Keiichi Tokuda ; Takao Kobayashi
EDI-INF-RR-1027
Feb 2007
Average-Voice-based Speech Synthesis using HSMM-based Speaker Adaptation and Adaptive Training
Junichi Yamagishi ; Takao Kobayashi
EDI-INF-RR-1026
Mar 2005
Acoustic Modeling of Speaking Styles and Emotional Expressions in HMM-based Speech Synthesis
Junichi Yamagishi ; Koji Onishi ; Takashi Masuko ; Takao Kobayashi
EDI-INF-RR-1025
2004
Toponym Resolution in Text: "Which Sheffield is it?" [Doctoral Consortium]
Jochen Leidner
EDI-INF-RR-1024
Aug 2006
Improving Biomedical Text Categorisation with NLP
Michael Matthews
EDI-INF-RR-1023
Jun 2007
On the Quality of Service of Crash-Recovery Failure Detectors
Tie Jun Ma ; Jane Hillston ; Stuart Anderson
EDI-INF-RR-1022
2007
Evidence for serial coercion: A time course analysis using the visual-world paradigm
Christoph Scheepers ; Frank Keller ; Mirella Lapata
EDI-INF-RR-1021
2004
Development of a Grid Infrastructure for Functional Genomics
Richard Sinnott ; Dave Berry ; Micha Bayer ; Derek Houghton ; Magnus Ferrier
EDI-INF-RR-1020
2007
Randomised Language Modelling for Statistical Machine Translation
David Talbot ; Miles Osborne
EDI-INF-RR-1019
2003
Bootstrapping Statistical Parsers from Small Datasets
Mark Steedman ; Miles Osborne ; Anoop Sarkar ; Stephen Clark ; Rebecca Hwa ; Julia Hockenmaier ; Paul Ruhlen
EDI-INF-RR-1017
2003
Inducing History Representations for Broad Coverage Statistical Parsing
James Henderson
EDI-INF-RR-1016
2004
Discriminative training of a neural network statistical parser
James Henderson
EDI-INF-RR-1015
Mar 2006
Using Machine Learning to Focus Iterative Optimization.
Felix Agakov ; Edwin Bonilla ; John Cavazos ; Bjoern Franke ; Grigori Fursin ; Michael O'Boyle ; John Thomson ; Marc Toussaint ; Chris Williams
EDI-INF-RR-1014
2005
Data-defined kernels for parse reranking derived from probabilistic models
James Henderson ; Ivan Titov
EDI-INF-RR-1013
Jun 2007
Incremental Bayesian Networks for Structure Prediction
Ivan Titov ; James Henderson
EDI-INF-RR-1012
Feb 2007
Speech production knowledge in automatic speech recognition
Simon King ; Jolyon Frankel ; Karen Livescu ; Eric McDermott ; Korin Richmond ; Mirjam Wester
EDI-INF-RR-1011
Jun 2005
Automatic Cinematography and Multilingual NLG for Generating Video Documentaries
Charles Callaway ; Elena Not ; Alessandra Novello ; Cesare Rocchi ; Oliviero Stock ; Massimo Zancanaro
EDI-INF-RR-1010
Aug 2002
Narrative Prose Generation
Charles Callaway ; James Lester
EDI-INF-RR-1009
Sep 2006
Observation process adaptation for linear dynamic models
Jolyon Frankel ; Simon King
EDI-INF-RR-1008
Dec 2006
HaploRec: Efficient and accurate large-scale reconstruction of haplotypes
Lauri Eronen ; Floris Geerts ; Hannu Toivonen
EDI-INF-RR-1007
2007
Eyetracking for two-person tasks with manipulation of a virtual world
Jean Carletta ; Craig Nicol ; Timothy Taylor ; Robin Hill ; Jan Peter de Ruiter ; Ellen Gurman Bard
EDI-INF-RR-1005
Jan 2007
Speech recognition using linear dynamic models
Jolyon Frankel ; Simon King
EDI-INF-RR-1004
Jul 2007
A Formal Theory of Key Conjuring
Veronique Cortier ; Stephanie Delaune ; Graham Steel
EDI-INF-RR-1003
2005
The Multi-Channel Wall Street Journal Audio Visual Corpus (MC-WSJ-AV): Specification and Initial Experiments
Michael Lincoln ; Iain McCowan ; Jithendra Vepa ; Hari Krishan Maganti
EDI-INF-RR-1002
2007
The AMI System For The Transcription Of Speech In Meetings
Thomas Hain ; Lukas Burget ; John Dines ; Giulia Garau ; Michael Lincoln ; Jithendra Vepa ; Martin Karafiat
EDI-INF-RR-1001
2003
The Development and Evaluation of a Speech-to-Sign Translation System to Assist Transactions
Stephen Cox ; Michael Lincoln ; Judy Tryggvason ; Melanie Nakisa ; Mark Wells ; Marcus Tutt ; Sanja Abbott
EDI-INF-RR-1000
May 2007
The Application of Advanced Knowledge Technologies for Emergency Response
Stephen Potter ; Yannis Kalfoglou. ; Harith Alani ; Michelle Bachler ; Simon Buckingham Shum ; Rodrigo Carvalho ; Ajay Chakravarthy ; Stuart Chalmers ; Sam Chapman ; Bo Hu ; Alun Preece ; Nigel Shadbolt ; Austin Tate ; Mischa Tuffield
EDI-INF-RR-0999
May 2007
Integrating Discrete Event and Process-Level Simulation for Training in the I-X Framework
Gerhard Wickler ; Austin Tate ; Stephen Potter
EDI-INF-RR-0998
Dec 2006
Using I-X Process Panels as Intelligent To-Do Lists for Agent Coordination in Emergency Response
Gerhard Wickler ; Stephen Potter ; Austin Tate
EDI-INF-RR-0997
Jun 2006
Recording Rationale in <I-N-C-A> for Plan Analysis
Gerhard Wickler ; Stephen Potter ; Austin Tate
EDI-INF-RR-0996
May 2006
Using I-X Process Panels as Intelligent To-Do Lists for Agent Coordination in Emergency Response
Stephen Potter ; Austin Tate ; Gerhard Wickler
EDI-INF-RR-0995
Jul 2007
Resource Monitoring in Information Extraction
Jochen Leidner
EDI-INF-RR-0994
May 2003
Towards an Odor Communication System
David Harel ; Liran Carmel ; Doron Lancet
EDI-INF-RR-0993
Nov 2003
Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation
Sol Efroni ; David Harel ; Irun Cohen
EDI-INF-RR-0992
2003
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
David Harel ; Rami Marelly
EDI-INF-RR-0991
Jul 2001
LSCs: Breathing Life into Message Sequence Charts
Werner Damm ; David Harel
EDI-INF-RR-0990
2007
Using Lexicalized Grammars and Headedness for Approximate Plan Recognition
Christopher Geib
EDI-INF-RR-0989
Nov 2005
Automatic Verification of Design Patterns in Java
Alexander Blewitt ; Alan Bundy ; Ian Stark
EDI-INF-RR-0988
2004
An extended transcriptional regulatory network of Escherichia coli and analysis of its hierarchical structure and network motifs
Hongwu Ma ; Baharani Kumar ; Uta Ditges ; Florian Gunzer ; Jan Buer ; An-Ping Zeng
EDI-INF-RR-0987
2004
Decomposition of metabolic network based on the global connectivity structure of reaction graph
Hongwu Ma ; Xueming Zhao ; Yingjin Yuan ; An-Ping Zeng
EDI-INF-RR-0986
2003
The connectivity structure, giant strong component and centrality of metabolic networks
Hongwu Ma ; An-Ping Zeng
EDI-INF-RR-0985
Jan 2003
Reconstruction of metabolic networks from genome data and analysis of their global structure for various organisms
Hongwu Ma ; An-Ping Zeng
EDI-INF-RR-0984
Dec 2006
Extractive Summarisation of Legal Texts
Benjamin Hachey ; Claire Grover
EDI-INF-RR-0983
Apr 2007
Context Estimation and Learning Control through Latent Variable Extraction: From discrete to continuous contexts
Georgios Petkos ; Sethu Vijayakumar
EDI-INF-RR-0982
2007
Sensor-assisted adaptive motor control under continuously varying context
Heiko Hoffmann ; Georgios Petkos ; Sebastian Bitzer ; Sethu Vijayakumar
EDI-INF-RR-0981
Jun 2007
Linear and Nonlinear Generative Probabilistic Class Models for Shape Contours
Graham McNeill ; Sethu Vijayakumar
EDI-INF-RR-0980
Sep 2005
Serial order and consonant-vowel structure in a graphemic output buffer model.
David Glasspool ; George Houghton
EDI-INF-RR-0979
2006
A canonical agent model for healthcare applications.
John Fox ; David Glasspool ; Sanjay Modgil
EDI-INF-RR-0978
2006
Towards a unified process model for graphemic buffer disorder and deep dysgraphia.
David Glasspool ; Tim Shallice ; Lisa Cipolotti
EDI-INF-RR-0977
Oct 2006
Agent-based distributed decision support system for brain tumour diagnosis and prognosis
Horacio Gonzalez-Velez ; Adriana Mier Perez ; Carles Arus ; Bernardo Celda ; Sabine van Huffel ; Paul Lewis ; Andrew Peet
EDI-INF-RR-0976
Jan 2005
On the abstraction of message-passing communications using algorithmic skeletons: A case study
Horacio Gonzalez-Velez
EDI-INF-RR-0974
Jul 2006
Individuality and Alignment in Generated Dialogues
Amy Isard ; Carsten Brockmann ; Jon Oberlander
EDI-INF-RR-0973
2003
Context-Dependent Interpretation and Implicit Dialogue Acts
Joern Kreutel ; Colin Matheson
EDI-INF-RR-0972
Jun 2007
Parallel stochastic simulation of macroscopic calcium currents
Virginia Gonzalez-Velez ; Horacio Gonzalez-Velez
EDI-INF-RR-0971
Apr 2007
Pattern formation for multi-robot applications: Robust, self-repairing systems inspired by genetic regulatory networks and cellular self-organisation
Timothy Taylor ; Peter Ottery ; John Hallam
EDI-INF-RR-0970
Jun 2005
A grid-based stochastic simulation of unitary and membrane Ca2+ currents in spherical cells
Virginia Gonzalez-Velez ; Horacio Gonzalez-Velez
EDI-INF-RR-0969
Mar 2007
Adaptive structured parallelism for computational grids
Horacio Gonzalez-Velez ; Murray Cole
EDI-INF-RR-0968
Dec 2006
Towards fully adaptive pipeline parallelism for heterogeneous distributed environments
Horacio Gonzalez-Velez ; Murray Cole
EDI-INF-RR-0967
Dec 2006
On the design of a web-based decision support system for brain tumour diagnosis using distributed agents
Carles Arus ; Bernardo Celda ; Srinandan Dasmahapatra ; David Dupplaw ; Horacio Gonzalez-Velez ; Sabine van Huffel ; Paul Lewis
EDI-INF-RR-0966
Sep 2006
Self-adaptive skeletal task farm for computational grids
Horacio Gonzalez-Velez
EDI-INF-RR-0965
Dec 2006
Probabilistic goal recognition system and method incorporating inferred unobserved actions
Christopher Geib ; Robert Goldman
EDI-INF-RR-0964
2004
Assessing the Complexity of Plan Recognition
Christopher Geib
EDI-INF-RR-0963
2003
Recognizing Plan/Goal Abandonment
Christopher Geib ; Robert Goldman
EDI-INF-RR-0962
Jan 2007
On Natural Language Processing and Plan Recognition
Christopher Geib ; Mark Steedman
EDI-INF-RR-0961
Jan 2001
The MATE Workbench - an annotation tool for XML coded speech corpora
David McKelvie ; Amy Isard ; Andreas Mengel ; Morten Moeller ; Michael Grosse ; Marion Klein
EDI-INF-RR-0960
2007
Exploring model selection techniques for nonlinear dimensionality reduction
Stefan Harmeling
EDI-INF-RR-0959
Jan 2004
fMRI correlates of state and trait effects in subjects at genetically enhanced risk of schizophrenia
H. C. Whalley ; E Simonotto ; Susanna Flett ; I Marshall ; K Ebmeier ; D Owens ; Nigel Goddard
EDI-INF-RR-0958
2007
Formalising Java's Data-Race-Free Guarantee
David Aspinall ; Jaroslav Sevcik
EDI-INF-RR-0957
Dec 2006
Semantic Grid Services for Video Analysis
Gayathri Nadarajan ; Jessica Chen-Burger ; James Malone
EDI-INF-RR-0956
Feb 2007
Translating Fundamental Business Process Modelling Language to the Web Services Ontology through Lightweight Mapping
Gayathri Nadarajan ; Jessica Chen-Burger
EDI-INF-RR-0955
2007
Structure Preserving Semantic Matching
Fausto Giunchiglia ; Mikalai Yatskevich ; Fiona McNeill
EDI-INF-RR-0954
Jan 2007
Cooperating Reasoning Processes: More than Just the Sum of their Parts
Alan Bundy
EDI-INF-RR-0952
Oct 2006
Automatic Performance Model Construction for the Fast Software Exploration of New Hardware Designs
John Cavazos ; Christophe Dubach ; Felix Agakov ; Edwin Bonilla ; Michael O'Boyle ; Grigori Fursin ; Olivier Temam
EDI-INF-RR-0951
Mar 2006
Hybrid Optimizations: Which Optimization Algorithm to Use?
John Cavazos ; J. Eliot B. Moss ; Michael O'Boyle
EDI-INF-RR-0950
Oct 2006
Method-Specific Dynamic Compilation using Logistic Regression
John Cavazos ; Michael O'Boyle
EDI-INF-RR-0949
Apr 2007
Conditional Functional Dependencies for Data Cleaning
Wenfei Fan ; Philip Bohannon ; Floris Geerts ; Xibei Jia ; Anastasios Kementsiets
EDI-INF-RR-0948
Apr 2007
Value Function Approximation on Non-Linear Manifolds for Robot Motor Control
Masashi Sugiyama ; Hirotaka Hachiya ; Christopher Towell ; Sethu Vijayakumar
EDI-INF-RR-0947
Feb 2007
Resonant neurons and bushcricket behaviour
Barbara Webb ; Jan Wessnitzer ; Sarah Bush ; Johannes Schul ; Jonas Buchli ; Auke Ijspeert
EDI-INF-RR-0946
Jan 2007
Sequential Use of Mushroom Body Neuron Subsets during Drosophila Odor Memory Processing
Michael J Krashes ; Alex C Keene ; Benjamin L Leung ; Douglas Armstrong ; Scott Waddell
EDI-INF-RR-0944
Oct 2006
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge ; Andreas Meier ; Roy McCasland ; Simon Colton
EDI-INF-RR-0943
Jan 2005
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Jessica Chen-Burger ; Dave Robertson
EDI-INF-RR-0942
2007
Translating Fundamental Business Process Modelling Language to the Web Services Ontology through Lightweight Mapping
Gayathri Nadarajan ; Yun-Heh Chen-Burger
EDI-INF-RR-0940
Apr 2006
Experimental Evaluation of Application Performance with 802.11 PHY Rate Adaptation Mechanisms in Diverse Environments
Yi Yang ; Mahesh Marina ; Rajive Bagrodia
EDI-INF-RR-0939
Apr 2006
Impact of Network Subsystem on Reliable Transport Protocol Performance over Wireless Links
Zhiguo Xu ; Mahesh Marina ; Rajive Bagrodia
EDI-INF-RR-0938
Oct 2005
A Topology Control Approach for Utilizing Multiple Channels in Multi-Radio Wireless Mesh Networks
Mahesh Marina ; Samir Das
EDI-INF-RR-0937
Sep 2004
Routing in Mobile Ad Hoc Networks
Mahesh Marina ; Samir Das
EDI-INF-RR-0936
Mar 2002
Query Localization Techniques for On-Demand Routing Protocols in Ad Hoc Networks
Robert Castaeda ; Samir Das ; Mahesh Marina
EDI-INF-RR-0935
Nov 2001
Optimizing Remote File Access for Parallel and Distributed Network Applications
Jon Weissman ; Mahesh Marina ; Michael Gingras
EDI-INF-RR-0934
Dec 2006
Probabilistic inference for solving (PO)MDP's
Marc Toussaint ; Stefan Harmeling ; Amos Storkey
EDI-INF-RR-0933
Jun 2006
Qualitative Characterization of Deforming Surfaces
Timothy Lukins ; Robert Fisher
EDI-INF-RR-0932
Jul 2006
A game-theoretic approach to deciding higher-order matching
Colin Stirling
EDI-INF-RR-0931
Jul 2002
Comparing Functional Paradigms for Exact Real-number Computation
Alexander Simpson ; Andrej Bauer ; Martin Escardo
EDI-INF-RR-0930
Jan 2007
Automatic meeting segmentation using dynamic Bayesian networks
Alfred Dielmann ; Steve Renals
EDI-INF-RR-0929
May 2003
Effect of developmental sensory and motor deprivation on the functional organization of adult rat somatosensory cortex.
Irina Erchova ; Rasmus Petersen ; Mathew Diamond
EDI-INF-RR-0928
Jul 2004
Subthreshold resonance explains the frequency-dependent integration of periodic as well as random stimuli in the entorhinal cortex
Susanne Schreiber ; Irina Erchova ; Uwe Heinemann ; Andreas Herz
EDI-INF-RR-0927
Jun 2004
Rapid fluctuations in rat barrel cortex plasticity
Irina Erchova ; Mathew Diamond
EDI-INF-RR-0926
Oct 2004
Dynamics of rat entorhinal cortex layer II and III cells: characteristics of membrane potential resonance at rest predict oscillation properties near threshold
Irina Erchova ; Gunter Kreck ; Uwe Heinemann ; Andreas Herz
EDI-INF-RR-0925
Jul 2003
DIPPER: Description and Formalisation of an Information-State Update Dialogue System Architecture
Johan Bos ; Ewan Klein ; Oliver Lemon ; Tetsushi Oka
EDI-INF-RR-0924
2003
Orientation dependent modulation of apparent speed: psychophysical evidence
Sebastien Georges ; Peggy Series ; Yves Fregnac ; Jean Lorenceau
EDI-INF-RR-0923
Jun 2006
PDQ Wizard: automated prioritization and characterization of gene and protein lists using biomedical literature
Graeme Grimes ; T Wen ; Muriel Mewissen ; R Baxter ; Stuart Moodie ; John Beattie ; Peter Ghazal
EDI-INF-RR-0922
2002
Orientation dependent modulation of apparent speed: a model based on the dynamics of feed-forward and horizontal connectivity in V1 cortex
Peggy Series ; Sebastien Georges ; Jean Lorenceau ; Yves Fregnac
EDI-INF-RR-0921
2003
The silent surround of V1 receptive fields: theory and experiments
Peggy Series ; Jean Lorenceau ; Yves Fregnac
EDI-INF-RR-0920
2004
Tuning Curve Sharpening for orientation selectivity: coding efficiency and the impact of correlations
Peggy Series ; Peter Latham ; Alex Pouget
EDI-INF-RR-0919
Apr 2006
Electrostatic properties of promoter recognized by E. coli RNA polymerase Esigma70.
Anatoly Sorokin ; Alexander Osypov ; Timur Dzhelyadin ; Peter Beskaravainy ; Svetlana Kamzolova
EDI-INF-RR-0918
Dec 2005
GPX-Macrophage Expression Atlas: A database for expression profiles of macrophages challenged with a variety of pro-inflammatory, anti-inflammatory, benign and pathogen insults
Graeme Grimes ; Stuart Moodie ; John Beattie ; Marie Craigon ; Paul Dickinson ; Thorsten Forster ; Andrew Livingston
EDI-INF-RR-0917
Sep 2004
Evaluation of the influence of muscle deactivation on other muscles and joints during gait motion
Taku Komura ; Akinori Nagano
EDI-INF-RR-0916
Dec 2005
Electrostatic Potentials of E. coli genome DNA
Svetlana Kamzolova ; Anatoly Sorokin ; Timur Dzhelyadin ; Peter Beskaravainy ; Alexander Osypov
EDI-INF-RR-0915
Aug 2006
A Graphical Notation to describe the Logical Interactions of Biological Pathways
Stuart Moodie ; Anatoly Sorokin ; Igor Goryanin ; Peter Ghazal
EDI-INF-RR-0914
Nov 2006
The Pathway Editor: A tool for managing complex biological networks
Anatoly Sorokin ; Kirill Paly ; Alexey Selkov ; Oleg Demin ; Serge Dronov ; Peter Ghazal ; Igor Goryanin
EDI-INF-RR-0913
Nov 2006
Ad Hoc On-demand Multipath Distance Vector Routing
Mahesh Marina ; Samir Das
EDI-INF-RR-0912
Feb 2004
Impact of Caching and MAC Overheads on Routing Performance in Ad Hoc Networks
Mahesh Marina ; Samir Das
EDI-INF-RR-0911
Jun 2002
Routing Performance in the Presence of Unidirectional Links in Multihop Wireless Networks
Mahesh Marina ; Samir Das
EDI-INF-RR-0910
Jun 2001
Virtual Dynamic Backbone for Mobile Ad Hoc Networks
Ulas Kozat ; George Kondylis ; Bo Ryu ; Mahesh Marina
EDI-INF-RR-0909
Jun 2001
RBRP: A Robust Broadcast Reservation Protocol for Mobile Ad Hoc Networks
Mahesh Marina ; George Kondylis ; Ulas Kozat
EDI-INF-RR-0908
Feb 2001
Performance Comparison of Two On-demand Routing Protocols for Ad Hoc Networks
Charles Perkins ; Elizabeth Royer ; Samir Das ; Mahesh Marina
EDI-INF-RR-0907
Aug 2006
Increasing the efficiency of graph colouring algorithms with a representation based on vector operations
Istvn Juhos ; Jano van Hemert
EDI-INF-RR-0906
Dec 2004
Robust parameter settings for variation operators by measuring the resampling ratio: A study on binary constraint satisfaction problems
Jano van Hemert ; Thomas Baeck
EDI-INF-RR-0905
Dec 2006
Evolving combinatorial problem instances that are difficult to solve
Jano van Hemert
EDI-INF-RR-0904
Oct 2003
Comparing Evolutionary Algorithms on Binary Constraint Satisfaction Problems
Bart Craenen ; Guszti Eiben ; Jano van Hemert
EDI-INF-RR-0903
Oct 2007
Simulating Competitive Interactions Using Singly Captured Motions
Taku Komura ; H.P.H. Shum ; S. Yamazaki
EDI-INF-RR-0902
2003
Orientation dependent modulation of apparent speed: psychophysical evidence
Sebastien Georges ; Peggy Series ; Jean Lorenceau
EDI-INF-RR-0901
Aug 2001
Topology Matching for Full Automatic Similarity Estimation of 3D Shapes
Taku Komura ; Masaki Hilaga ; Yoshihisa Shinagawa ; Tosiyasu Kunii
EDI-INF-RR-0900
Sep 2005
Simulating Pathological Gait using the Enhanced Linear Inverted Pendulum Model
Taku Komura ; Nagano Akinori ; Leung Howard ; Shinagawa Yoshihisa
EDI-INF-RR-0899
2006
Learning More Effective Dialogue Strategies Using Limited Dialogue Move Features
Matthew Frampton ; Oliver Lemon
EDI-INF-RR-0898
Nov 2006
Direct Geometric Texture Synthesis and Transfer on 3D Meshes
Toby Breckon ; Robert Fisher
EDI-INF-RR-0897
Sep 2006
Hidden Markov Models for Optical Flow Analysis in Crowds
Ernesto Andrade ; Scott Blunsden ; Robert Fisher
EDI-INF-RR-0896
Sep 2006
Modelling Crowd Scenes for Event Detection
Ernesto Andrade ; Scott Blunsden ; Robert Fisher
EDI-INF-RR-0895
Jun 2006
Detection of Emergency Events in Crowded Scenes
Ernesto Andrade ; Scott Blunsden ; Robert Fisher
EDI-INF-RR-0894
Dec 2006
Turing Degrees and the Word and Conjugacy Problems for Finitely Presented Groups
Kyriakos Kalorkoti
EDI-INF-RR-0893
Jun 2001
A Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton's Principia
Jacques Fleuriot
EDI-INF-RR-0892
2005
Interactive and Hierarchical Tracing of Techniques in IsaPlanner
Lucas Dixon
EDI-INF-RR-0891
Sep 2006
Performance Analysis of Event Detection Models in Crowded Scenes
Ernesto Andrade ; Scott Blunsden ; Robert Fisher
EDI-INF-RR-0890
2006
The optimal synapse for sparse, binary signals in the rod pathway
Paul Clark ; Mark Van Rossum
EDI-INF-RR-0889
2006
Excitability changes that complement Hebbian learning
Maya Janowitz ; Mark Van Rossum
EDI-INF-RR-0888
Jul 2001
XML-Based Data Preparation for Robust Deep Parsing
Claire Grover ; Alex Lascarides
EDI-INF-RR-0887
Jan 2006
Factorial Switching Kalman Filters for Condition Monitoring in Neonatal Intensive Care
Chris Williams ; John Quinn ; Neil McIntosh
EDI-INF-RR-0886
Apr 2006
Compactly generated domain theory
Alexander Simpson ; Ingo Battenfeld ; Matthias Schroeder
EDI-INF-RR-0885
2005
Transfinite extension of the mu-calculus
Julian Bradfield ; Jacques Duparc ; Sandra Quickert
EDI-INF-RR-0884
Dec 2006
Semantic-Based Workflow Composition for Video Processing in the Grid
Gayathri Nadarajan ; Jessica Chen-Burger ; James Malone
EDI-INF-RR-0883
2006
Kernel Carpentry for Online Regression using Randomly Varying Coefficient Model
Narayanan Edakkunni ; Stefan Schaal ; Sethu Vijayakumar
EDI-INF-RR-0882
2006
Learning Utility Surfaces for Movement Selection,
Matthew Howard ; Michael Gienger ; Christian Goerick ; Sethu Vijayakumar
EDI-INF-RR-0881
Jun 2007
A biophysical model of short-term plasticity at the calyx of Held
Matthias Hennig ; Michael Postlethwaite ; Ian Forsythe ; Bruce Graham
EDI-INF-RR-0880
Feb 2007
Acceleration of AMPA receptor kinetics underlies temperature-dependent changes in synaptic strength at the rat calyx of Held
Michael Postlethwaite ; Matthias Hennig ; Joern Steinert ; Bruce Graham ; Ian Forsythe
EDI-INF-RR-0879
Jan 2007
Structure Inference for Bayesian Multisensory Perception and Tracking
Timothy Hospedales ; Joel Cartwright ; Sethu Vijayakumar
EDI-INF-RR-0878
Sep 2006
Learning Multiple Models of Non-Linear Dynamics for Control under Varying Contexts
Georgios Petkos ; Marc Toussaint ; Sethu Vijayakumar
EDI-INF-RR-0877
2007
A Compiler Cost Model for Speculative Parallelization
Jialin Dou ; Marcelo Cintra
EDI-INF-RR-0876
Jan 2007
On the Expressiveness of Implicit Provenance in Query and Update Languages.
Peter Buneman ; James Cheney ; Stijn Vansummeren
EDI-INF-RR-0875
Jul 2006
How to cite curated databases and how to make them citable.
Peter Buneman
EDI-INF-RR-0874
Dec 2004
Feature selection and classification for microarray data analysis: Evolutionary methods for identifying predictive genes
Thanyaluk Jirapech-Umpai ; Stuart Aitken
EDI-INF-RR-0873
Oct 2006
Mining housekeeping genes with a Naive Bayes classifier
Luna De Ferrari ; Stuart Aitken
EDI-INF-RR-0872
2006
Improved segmentation reproducibility in group tractography using a quantitative tract similarity measure
Jonathan Clayden ; Mark E. Bastin ; Amos Storkey
EDI-INF-RR-0871
Nov 2006
Computational Semantics in the Natural Language Toolkit
Ewan Klein
EDI-INF-RR-0870
Dec 2006
Evaluating Effectiveness and Portability of Reinforcement Learned Dialogue Strategies with real users: the TALK TownInfo Evaluation
Oliver Lemon ; Kallirroi Georgila ; James Henderson
EDI-INF-RR-0869
Oct 2005
What is a proof?
Alan Bundy ; Mateja Jamnik ; Andrew Fugard
EDI-INF-RR-0868
Jul 2005
Musical Acts and Musical Agents
David Murray-Rust ; Alan Smaill
EDI-INF-RR-0867
Aug 2005
VirtuaLatin - towards a musical multi-agent system
David Murray-Rust ; Alan Smaill ; Manuel Contreras-Maya
EDI-INF-RR-0866
Sep 2006
MAMA: An architecture for interactive musical agents
David Murray-Rust ; Alan Smaill ; Michael Edwards
EDI-INF-RR-0865
2006
Using Machine Learning to Explore Human Multimodal Clarification Strategies
Verena Rieser ; Oliver Lemon
EDI-INF-RR-0864
2006
Learning More Effective Dialogue Strategies Using Limited Dialogue Move Features
Matthew Frampton ; Oliver Lemon
EDI-INF-RR-0863
Sep 2006
Automatic Analysis of the Security of XOR-based Key Management Schemes
Veronique Cortier ; Gavin Keighren ; Graham Steel
EDI-INF-RR-0862
Oct 2006
Model Checking IBM's Common Cryptographic Architecture API
Gavin Keighren
EDI-INF-RR-0861
Aug 2006
Generating and evaluating evaluative arguments
Giuseppe Carenini ; Johanna Moore
EDI-INF-RR-0860
2006
Multimodal sensory integration in insects - towards insect brain control architectures
Jan Wessnitzer ; Barbara Webb
EDI-INF-RR-0859
Oct 2006
Explicit Accounting of Resources using Resource Managers
Patrick Maier ; David Aspinall ; Ian Stark
EDI-INF-RR-0858
Apr 2005
Healthcare Informatics, the Semantic Web and Public Policy: Balancing Wishful Thinking with Realism
Henry Thompson
EDI-INF-RR-0857
Mar 2006
The Semantic Web and Knowledge Representation: An informal comparison
Henry Thompson
EDI-INF-RR-0856
May 2006
Efficient implementation of content models with numerical occurrence constraints
Henry Thompson
EDI-INF-RR-0855
May 2006
One Document to Bind Them: Combining XML, Web Services, and the Semantic Web
Harry Halpin ; Henry Thompson
EDI-INF-RR-0854
May 2005
Web Proper Names: Naming Referents on the Web
Henry Thompson ; Harry Halpin
EDI-INF-RR-0853
Nov 2005
Functional XML: A preliminary sketch
Henry Thompson
EDI-INF-RR-0852
Nov 2005
Processing XML 1.1 documents with XML Schema 1.0 processors
Henry Thompson
EDI-INF-RR-0850
Aug 2005
An adaptive skeletal task farm for grids
Horacio Gonzalez-Velez
EDI-INF-RR-0849
Aug 2006
Best-First Rippling
Moa Johansson ; Alan Bundy ; Lucas Dixon
EDI-INF-RR-0848
2006
Probabilistic Inference for Solving Discrete and Continuous State Markov Decision Processes
Mark Toussaint ; Amos Storkey
EDI-INF-RR-0847
2006
Extracting Motion Primitives from Natural Handwriting Data
Benjamin Williams ; Marc Toussaint ; Amos Storkey
EDI-INF-RR-0846
Sep 2006
Reconstructing protein complexes: From proteomics to systems biology
Douglas Armstrong ; Andrew Pocklington ; Mark Cumiskey ; Seth GN Grant
EDI-INF-RR-0845
Dec 2005
Expectation-Oriented Modeling
Matthias Nickles ; Michael Rovatsos ; Gerhard Weiss
EDI-INF-RR-0844
Aug 2006
Namespaces in XML 1.1 (Second Edition)
Tim Bray ; Dave Hollander ; Andrew Layman ; Richard Tobin
EDI-INF-RR-0843
Aug 2006
Namespaces in XML 1.0 (Second Edition)
Tim Bray ; Dave Hollander ; Andrew Layman ; Richard Tobin
EDI-INF-RR-0842
Sep 2006
Towards a Bell-Curve Calculus for e-Science
Lin Yang ; Alan Bundy ; Dave Berry ; Conrad Hughes
EDI-INF-RR-0841
Jul 2006
Constructing, Selecting and Repairing Representations of Knowledge
Alan Bundy
EDI-INF-RR-0840
Sep 2005
Towards a General Theory of Names, Binding and Scope
James Cheney
EDI-INF-RR-0839
Jul 2006
Toponym Resolution: A First Large-Scale Comparative Evaluation
Jochen Leidner
EDI-INF-RR-0838
Jul 2006
An Evaluation Dataset for the Toponym Resolution Task
Jochen Leidner
EDI-INF-RR-0837
May 2006
On Repairing Reasoning Reversals via Representational Refinements
Alan Bundy ; Fiona McNeill ; Christopher Walton
EDI-INF-RR-0836
May 2006
Representation as a Fluent: An AI Challenge for the Next Half Century
Alan Bundy ; Fiona McNeill
EDI-INF-RR-0835
2004
A normal form for XML documents
Leonid Libkin ; Marcelo Arenas
EDI-INF-RR-0834
2003
Definable relations and first-order query languages over strings
Leonid Libkin ; Michael Benedikt ; Thomas Schwentick ; Luc Segoufin
EDI-INF-RR-0833
2005
An information-theoretic approach to normal forms for relational and XML data.
Leonid Libkin ; Marcelo Arenas
EDI-INF-RR-0832
2004
Elements of Finite Model Theory
Leonid Libkin
EDI-INF-RR-0831
2006
A Very Mathematical Dilemma
Alan Bundy
EDI-INF-RR-0830
May 2006
Recognition of Coordinated Multi Agent Activities, The Individual vs The Group
Scott Blunsden ; Robert Fisher ; Ernesto Andrade
EDI-INF-RR-0829
Jun 2006
Bayesian multisensory perception
Timothy Hospedales ; Sethu Vijayakumar
EDI-INF-RR-0828
Jun 2006
Part-based Probabilistic Point Matching using Equivalence Constraints
Graham McNeill ; Sethu Vijayakumar
EDI-INF-RR-0827
Nov 2006
Formal Analysis of PIN Block Attacks
Graham Steel
EDI-INF-RR-0826
Mar 2006
Tradeoffs in XML Database Compression
James Cheney
EDI-INF-RR-0825
May 2006
The Helpful Environment: Geographically Dispersed Intelligent Agents That Collaborate
Austin Tate
EDI-INF-RR-0824
2003
Probabilistic Parsing for German using Sister-Head Dependencies
Amit Dubey ; Frank Keller
EDI-INF-RR-0823
Aug 2006
An Empirical Model for Saturation and Capacity in Classifier Space
Robert Fisher
EDI-INF-RR-0822
Aug 2006
Scene recovery from many randomly distributed single pixel cameras
Robert Fisher
EDI-INF-RR-0820
2004
Object Extraction and Question-Parsing using CCG
Stephen Clark ; Mark Steedman ; James Curran
EDI-INF-RR-0818
2002
Generative Models for Statistical Parsing with Combinatory Grammars
Julia Hockenmaier ; Mark Steedman
EDI-INF-RR-0816
Aug 2006
Categorial Grammar and the Semantics of Contextual Prepositional Phrases
Nissim Francez ; Mark Steedman
EDI-INF-RR-0815
2006
Answer comparison in automated question answering
Tiphaine Dalmas ; Bonnie Webber
EDI-INF-RR-0814
2003
D-LTAG System: Discourse Parsing with a Lexicalized Tree-Adjoining Grammar
Katherine Forbes ; Eleni Miltsakaki ; Rashmi Prasad ; Anoop Sarkar ; Aravind Joshi ; Bonnie Webber
EDI-INF-RR-0813
2002
Plans, Affordances, and Combinatory Grammar
Mark Steedman
EDI-INF-RR-0812
Feb 2006
Computing Discourse Semantics: The Predicate-Argument Semantics of Discourse Connectives in D-LTAG
Katherine Forbes-Reilly ; Bonnie Webber ; Aravind Joshi
EDI-INF-RR-0811
Jun 2006
Designing for e-Health : Recurring Scenarios in Developing Grid-based Medical Imaging Systems
Jenny Ure ; John Geddes ; Clare Mackay ; Sharon Lloyd ; Andrew Simpson ; David Power ; Douglas Russell ; Marina Jirotka ; Mila Katzarova ; Martin Rossor ; Nick Fox ; Jonathon Fletcher ; Derek Hill ; Kate McLeish ; Yu Chen ; Joseph V Hajnal ; Stephen Lawrie ; Dominic Job ; Andrew McIntosh ; Joanna Wardlaw ; Peter Sandercock ; Jeb Palmer ; Dave Perry ; Robert Procter ; Mark Hartswood ; Roger Slack ; Alexander Voss ; Ka Lai Ho ; Philip Bath ; Wim Clarke ; Graham Watson
EDI-INF-RR-0810
Sep 2006
A Socio-technical Perspective on the Design of Collaborative Systems
Jenny Ure ; Gudrun Jaegersberg ; Ashley Lloyd ; Mark Hartswood
EDI-INF-RR-0809
2002
Designing Enterprise Systems: leveraging knowledge in a distributed pattern-building community
Jenny Ure ; Ashley D Lloyd ; Rob Pooley ; Rick Dewar ; Arabella Cranmore
EDI-INF-RR-0808
Mar 2005
Invisible Architecture: The Benefits of Aligning People, Processes and Technology: Sociotechnical Case Studies for System Designers and Managers
Jenny Ure ; Gudrun Jaegersberg
EDI-INF-RR-0807
Sep 2004
Relational Link-Based Ranking
Floris Geerts ; Heikki Mannila ; Evimaria Terzi
EDI-INF-RR-0806
Apr 2006
Adaptive Abstraction for Model-Based Reinforcement Learning
Mykel Kochenderfer
EDI-INF-RR-0805
Jun 2005
Tight Upper Bounds on the Number of Candidate Patterns
Floris Geerts ; Bart Goethals ; Jan Van den Bussche
EDI-INF-RR-0804
Apr 2006
Linearization and completeness results for terminating transitive closure queries on spatial databases
Floris Geerts ; Bart Kuijpers ; Jan Van den Bussche
EDI-INF-RR-0802
Apr 2006
Tools to Address the Interdependence between Tokenisation and Standoff Annotation
Claire Grover ; Michael Matthews ; Richard Tobin
EDI-INF-RR-0801
May 2006
Rule-Based Chunking and Reusability
Claire Grover ; Richard Tobin
EDI-INF-RR-0800
Sep 2004
Grid Services Supporting the Usage of Secure Federated, Distributed Biomedical Data
Richard Sinnott ; Malcolm Atkinson ; Micha Bayer ; Dave Berry ; Anna Dominiczak ; Magnus Ferrier ; David Gilbert ; Neil Hanlon ; Derek Houghton ; Ela Hunt ; David White
EDI-INF-RR-0799
Mar 2004
IMAGE 03: Images, Medical Analysis and Grid Environments
Dave Berry ; Cecile Germain-Renaud ; Derek Hill ; Steve Pieper ; Joel Saltz
EDI-INF-RR-0798
Sep 2005
FireGrid: Integrated emergency response and fire safety engineering for the future built environment
Dave Berry ; Asif Usmani ; Jose Torero ; Austin Tate ; Steven McLaughlin ; Stephen Potter ; Arthur Trew ; Robert Baxter ; Mark Bull ; Malcolm Atkinson
EDI-INF-RR-0797
Jan 2005
The Open Grid Services Architecture v1.0
Ian Foster ; Hiro Kishimoto ; Andreas Savva ; Dave Berry ; Abdeslem Djaoui ; Andrew Grimshaw ; Bill Horn ; Fred Maciel ; Frank Siebenlist ; Ravi Subramaniam ; Jem Treadwell ; Jeffrin von Reich
EDI-INF-RR-0795
Jun 2001
Using Stochastic Information to Predict Application Behavior on Contended Resources.
Jennifer M. Schopf ; F Berman
EDI-INF-RR-0794
Jul 2002
Current Activities in the Scheduling and resource Management Area of the Global Grid Forum.
B Nitzberg ; Jennifer M. Schopf
EDI-INF-RR-0793
Aug 2002
Grids: The Top Ten Questions
Jennifer M. Schopf ; B Nitzberg
EDI-INF-RR-0792
Apr 2003
Adaptive Computing on the Grid Using AppLeS
F Berman ; R Wolski ; H Casanova ; W Cirne ; H Dail ; M Faerman ; S Figueira ; J Hayes ; G Obertelli ; Jennifer M. Schopf ; G Shao ; S Smallen ; N Spring ; A Su ; D Zagorodnov
EDI-INF-RR-0791
Aug 2003
Using Regression Techniques to Predict Large Data Transfers
Sudharshan Vazhkudai ; Jennifer M. Schopf
EDI-INF-RR-0790
2002
Interactional Context in Graphical Communication
Pat Healey ; Simon Garrod ; Nick Fay ; John Lee ; Jon Oberlander
EDI-INF-RR-0789
Aug 2003
Understanding Interactive Graphical Communication
Nick Fay ; Simon Garrod ; John Lee ; Jon Oberlander
EDI-INF-RR-0788
Aug 2002
PLA(id): a tool for organising and sharing on-line building product information
Salih Ofluoglu ; Richard Coyne ; John Lee
EDI-INF-RR-0787
Apr 2006
Goodmans aesthetics and the languages of computing
John Lee
EDI-INF-RR-0786
2006
Planning as Deductive Synthesis in Intuitionistic Linear Logic
Lucas Dixon ; Alan Smaill ; Alan Bundy
EDI-INF-RR-0785
2002
Music and Artificial Intelligence: Second International Conference, ICMAI 2002
Alan Smaill ; Christina Anagnostopoulou ; Miguel Ferrand
EDI-INF-RR-0784
Mar 2006
Organization of brain complexity-synapse proteome form and function
Andrew Pocklington ; Douglas Armstrong ; Seth GN Grant
EDI-INF-RR-0783
Oct 2005
Performance Evaluating the Evaluator
Thor List ; Jose Bins ; Jose Manuel Vazquez Diosdado ; Robert Fisher
EDI-INF-RR-0782
Jul 2005
An Intelligent and Task-independent Controller for Video Sequence Analysis
Jose Bins ; Thor List ; Robert Fisher ; David Tweed
EDI-INF-RR-0781
2004
Decomposition of Range Images Using Markov Random Fields
Andreas Pilcher ; Robert Fisher ; Markus Vincze
EDI-INF-RR-0780
Oct 2003
Learning-based versus model-based log-polar feature extraction operators: a comparative study
Herman Gomes ; Robert Fisher
EDI-INF-RR-0779
2003
Colour Texture Fusion of Multiple Range Images
Alexander Agathos ; Robert Fisher
EDI-INF-RR-0778
2003
Ranking Planar Grasp Configurations For A Three-Finger Hand
Eris Chinellato ; Robert Fisher ; Antonio Morales ; Angel del Pobil
EDI-INF-RR-0777
Nov 2000
Viewpoint estimation in three-dimensional images taken with perspective range sensors
Jose Sanchiz ; Robert Fisher
EDI-INF-RR-0776
Oct 2003
PEPA nets: a structured performance modelling formalism
Stephen Gilmore ; Jane Hillston ; Leila Kloul ; Marina Ribaudo
EDI-INF-RR-0772
Jul 2005
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Mikael Buchholtz ; Stephen Gilmore ; Valentin Haenel ; Carlo Montangero
EDI-INF-RR-0771
Oct 2003
Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler
Jeremy Bradley ; Nick Dingle ; Stephen Gilmore ; Will Knottenbelt
EDI-INF-RR-0770
Jan 2005
A unified tool for performance modelling and prediction
Stephen Gilmore ; Kloul Leila
EDI-INF-RR-0769
Jun 2006
Provenance Management in Curated Databases
Peter Buneman ; Adriane Chapman ; James Cheney
EDI-INF-RR-0768
2002
1-D Parabolic Search Mutation
Craig Robertson ; Robert Fisher
EDI-INF-RR-0767
Apr 2002
Better Surface Intersections by Constrained Evolution
Craig Robertson ; Robert Fisher
EDI-INF-RR-0766
Sep 1999
An Improved Algorithm to Extract Surfaces from Complete Range Descriptions
Craig Robertson ; Robert Fisher ; Naoufel Werghi ; A Ashbrook
EDI-INF-RR-0765
1999
Investigating Evolutionary Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data
Craig Robertson ; Robert Fisher ; D Corne ; Naoufel Werghi ; A Ashbrook
EDI-INF-RR-0764
Oct 2005
Exploring techniques for behaviour recognition via the CAVIAR modular vision framework
Tweed David ; Feng Wanli ; Robert Fisher ; Bins Jose ; Thor List
EDI-INF-RR-0763
2006
Colour Constrained 4D Flow
Timothy Lukins ; Robert Fisher
EDI-INF-RR-0762
May 2006
An Ontology-Based Conceptual Mapping Framework for Translating FBPML to the Web Services Ontology
Gayathri Nadarajan ; Jessica Chen-Burger
EDI-INF-RR-0761
May 2006
Mapping Fundamental Business Process Modelling Language to OWL-S
Gayathri Nadarajan ; Jessica Chen-Burger
EDI-INF-RR-0760
2005
Mobile Resource Guarantees for Smart Devices
David Aspinall ; Stephen Gilmore ; Martin Hofmann ; Donald Sannella ; Ian Stark
EDI-INF-RR-0759
Jul 2004
Nominal Games and Full Abstraction for the Nu-Calculus
Samson Abramsky ; Dan Ghica ; Andrzej Murawski ; Luke Ong ; Ian Stark
EDI-INF-RR-0758
Sep 2004
A Dependent Type Theory with Names and Binding
Ulrich Schoepp ; Ian Stark
EDI-INF-RR-0757
Apr 2005
Free-Algebra Models for the Pi-Calculus
Ian Stark
EDI-INF-RR-0756
Apr 2005
Reducibility and TT-lifting for Computation Types
Samuel Lindley ; Ian Stark
EDI-INF-RR-0755
2004
A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning
Keith Stenning ; Michiel van Lambalgen
EDI-INF-RR-0754
2005
Semantic interpretation as computation in nonmonotonic logic: the real meaning of the suppression task
Keith Stenning ; Michiel van Lambalgen
EDI-INF-RR-0753
2006
Reconnecting interpretation to reasoning through individual differences
Keith Stenning ; Richard Cox
EDI-INF-RR-0752
2006
From outliers to prototypes: Ordering data
Stefan Harmeling ; Guido Dornhege ; David Tax ; Frank Meinecke ; Klaus-Robert Muller
EDI-INF-RR-0751
Dec 2003
Blind Separation of Post-nonlinear Mixtures using Linearizing Transformations and Temporal Decorrelation
Andreas Ziehe ; Motoaki Kawanabe ; Stefan Harmeling ; Klaus-Robert Muller
EDI-INF-RR-0750
2003
Kernel-based nonlinear blind source separation
Stefan Harmeling ; Andreas Ziehe ; Motoaki Kawanabe ; Klaus-Robert Muller
EDI-INF-RR-0749
Feb 2004
Injecting noise for analysing the stability of ICA components
Stefan Harmeling ; Frank Meinecke ; Klaus-Robert Muller
EDI-INF-RR-0748
Sep 2004
Reasoning about CBV functional programs in Isabelle/HOL
John Longley ; Robert Pollack
EDI-INF-RR-0747
Oct 2002
A constructive algebraic hierarchy in Coq
Herman Geuvers ; Robert Pollack ; Freek Wiedijk ; Jan Zwanenburg
EDI-INF-RR-0746
2002
Dependently typed records in type theory
Robert Pollack
EDI-INF-RR-0742
Jan 2005
A logical framework with dependently typed records
Thierry Coquand ; Robert Pollack ; Makoto Takeyama
EDI-INF-RR-0741
Apr 2001
The LCFG configuration system.
Paul Anderson
EDI-INF-RR-0740
May 2006
System Configuration
Paul Anderson
EDI-INF-RR-0739
Mar 2002
Mobile robot programming using natural language
Stanislao Lauria ; Guido Bugmann ; Theocharis Kyriacou ; Ewan Klein
EDI-INF-RR-0738
2004
Eye micro-movements improve stimulus detection beyond the Nyquist limit in the peripheral retina.
Matthias Hennig ; Florentin Worgotter
EDI-INF-RR-0737
Jun 2001
A biophysically realistic simulation of the vertebrate retina
Matthias Hennig ; Klaus Funke
EDI-INF-RR-0736
2002
Stochastic resonance in visual cortical neurons: does the eye-tremor actually improve visual acuity?
Matthias Hennig ; Nicolas Kerscher ; Klaus Funke ; Florentin Wrgtter
EDI-INF-RR-0735
Oct 2002
The Influence of Different Retinal Subcircuits on the Nonlinearity of Ganglion Cell Behavior.
Matthias Hennig ; Klaus Funke ; Florentin Wrgtter
EDI-INF-RR-0734
2005
Clause restructuring for statistical machine translation
Michael Collins ; Philipp Koehn ; Ivona Kucerova
EDI-INF-RR-0733
2003
Feature-Rich Statistical Translation of Noun Phrases
Philipp Koehn ; Kevin Knight
EDI-INF-RR-0732
2004
Pharaoh: a beam search decoder for phrase-based statistical machine translation models
Philipp Koehn
EDI-INF-RR-0731
2003
Statistical phrase-based translation
Philipp Koehn ; Franz Josef Och ; Daniel Marcu
EDI-INF-RR-0730
Sep 2005
Valency for adaptive homeostatic agents: relating evolution and learning.
Theodoros Damoulas ; Ignasi Cos-Aguilera ; Gillian Hayes ; Timothy Taylor
EDI-INF-RR-0729
Jul 2004
Estimating future reward in reinforcement learning animats using associative learning
George Konidaris ; Gillian Hayes
EDI-INF-RR-0728
2005
An Architecture for Behavior-Based Reinforcement Learning
George Konidaris ; Gillian Hayes
EDI-INF-RR-0727
Jun 2003
Capturing both Types and Constraints in Data Integration
Michael Benedikt ; Chee Yong Chan ; Wenfei Fan ; Juliana Freire ; Rajeev Rastogi
EDI-INF-RR-0726
6 2005
XPath Satisfiability in the Presence of DTDs
Michael Benedikt ; Wenfei Fan ; Floris Geerts
EDI-INF-RR-0725
Jun 2004
Secure XML Querying with Security Views
Wenfei Fan ; MInos Garofalakis ; Chee Yong Chan
EDI-INF-RR-0724
May 2002
On XML integrity constraints in the presence of DTDs
Wenfei Fan ; Leonid Libkin
EDI-INF-RR-0723
2005
A Two-Stage Method for Active Learning of Statistical Grammars
Markus Becker ; Miles Osborne
EDI-INF-RR-0722
Jun 2005
Logarithmic Opinion Pools for Conditional Random Fields
Andrew Smith ; Trevor Cohn ; Miles Osborne
EDI-INF-RR-0721
Jun 2005
Scaling Conditional Random Fields Using Error-Correcting Codes
Trevor Cohn ; Andrew Smith ; Miles Osborne
EDI-INF-RR-0720
2004
Statistical Machine Translation with Word- and Sentence-Aligned Parallel Corpora
Christopher Callison-Burch ; David Talbot ; Miles Osborne
EDI-INF-RR-0719
Jan 2006
On a Connection between Object Localization with a Generative Template of Features and Pose-space Prediction Methods
Chris Williams ; Moray Allan
EDI-INF-RR-0718
Sep 2007
Escape from local minima for virtual agent navigation in unknown virtual environments.
Jafreezal Jaafar ; Roderick McKenzie
EDI-INF-RR-0717
Aug 2007
A Reactive Architecture for Autonomous Agent Navigation using Fuzzy Logic.
Jafreezal Jaafar ; Roderick McKenzie
EDI-INF-RR-0715
Jul 2006
Behaviour Coordination of Virtual Agent Navigation using Fuzzy Logic.
Jafreezal Jaafar ; Roderick McKenzie
EDI-INF-RR-0714
2004
Providing Cognitive and Affective Scaffolding Through Teaching Strategies: Applying Linguistic Politeness to the Educational Context.
Katherine Porayska-Pomsta ; Helen Pain
EDI-INF-RR-0713
2003
Special Issue on Caring for the Learner in honour of John Self
Paul Brna ; W. Lewis Johnson ; Helen Pain
EDI-INF-RR-0712
2002
Computer-Assisted Teaching of Translation Methods.
Chi-Chiang Shei ; Helen Pain
EDI-INF-RR-0711
2002
Informing the Detection of the Students' Motivational State: An Empirical Study.
Angel de Vicente ; Helen Pain
EDI-INF-RR-0710
2002
Second Language Vocabulary Acquisition and Learning Strategies in ICALL Environments
Thomas Segler ; Helen Pain ; Antonella Sorace
EDI-INF-RR-0709
04 2004
Proof General Version 3.5
David Aspinall ; Christoph Lueth
EDI-INF-RR-0707
2003
A Shallow Model of Backchannel Continuers in Spoken Dialogue
N Cathcart ; Jean Carletta ; Ewan Klein
EDI-INF-RR-0702
Dec 2005
The NITE XML Toolkit: data model and query
Jean Carletta ; Stefan Evert ; Ulrich Heid ; Jonathan Kilgour
EDI-INF-RR-0701
2004
Object Oriented Prompted Play: A pragmatic approach to interactive narrative
Daniel Roberts ; Mark Wright
EDI-INF-RR-0700
Jun 2003
3D modeling is not for WIMPS
Silvia Scali ; Mark Wright ; Ann Marie Shillito
EDI-INF-RR-0699
2003
Trusting The Record
K Clarke ; Mark Hartswood ; Robert Procter ; M Rouncefield
EDI-INF-RR-0698
2002
The Effect of Haptic Feedback and Stereo Graphics in a 3D Target Acquisition Task
Steven Wall ; Karin Paynter ; Ann Marie Shillito ; Mark Wright
EDI-INF-RR-0697
May 2002
Using omnidirectional vision within the spatial semantic hierarchy
Emanuele Menegatti ; Enrico Pagello ; Mark Wright
EDI-INF-RR-0696
Nov 2003
Data Access, Integration, and Management
Malcolm Atkinson ; Ann L. Chervenak ; Peter Kunszt ; Inderpal Narang ; Norman W. Paton ; Dave Pearson ; Arie Shoshani
EDI-INF-RR-0695
2005
The Design and Implementation of Grid Database Services in OGSA-DAI
Mario Antonioletti ; Malcolm Atkinson ; Rob Baxter ; Andrew Borley ; Neil P. Chue Hong ; Brian Collins ; Neil Hardman ; Alastair C. Hume ; Alan Knox ; Mike Jackson ; Amy Krause ; Simon Laws ; James Magowan ; Norman W. Paton ; Dave Pearson ; Tom Sugden ; Paul Watson ; Martin Westhead
EDI-INF-RR-0694
May 2007
A Compact Linear Translation for Bounded Model Checking
Paul Jackson ; Daniel Sheridan
EDI-INF-RR-0693
Jan 2006
Nuprl. Ch 14 of "The Seventeen Provers of the World", Freek Wiedijk ed, foreword by Dana Scott.
Paul Jackson
EDI-INF-RR-0692
Feb 2003
The pervasiveness of evolution in GRUMPS software
H Evans ; Malcolm Atkinson ; M Brown ; J Cargill ; M Crease ; S Draper ; P Gray
EDI-INF-RR-0691
Nov 2002
Database indexing for large DNA and protein sequence collections
E. Hunt ; Malcolm Atkinson ; R.W Irving
EDI-INF-RR-0690
Jun 2002
Promises, Premises and Risks: Sharing Responsibilities, Working Up Trust and Sustaining Commitment in Participatory Design Projects
Monika Buscher ; Dan Shapiro ; Mark Hartswood ; Robert Procter ; Roger Slack ; Alexander Voss ; Preben Mogensen
EDI-INF-RR-0689
Sep 2002
Dependability as Ordinary Action
Alexander Voss ; Roger Slack ; Robert Procter ; Robin Williams ; Mark Hartswood ; Mark Rouncefield
EDI-INF-RR-0688
2001
Building Information Systems as Universalised Locals
Mark Hartswood ; Mark Rouncefield ; Roger Slack ; Alexander Voss ; Robin Williams
EDI-INF-RR-0687
2006
Time and Representational Devices in Rapid Application Development.
Roger Slack ; Douglas Tudhope ; Paul Benyan-Davies ; Hugh Mackay
EDI-INF-RR-0686
Apr 2005
Working IT out in e-Science: Experiences of requirements capture in a HealthGrid project.
Mark Hartswood ; Marina Jirotka ; Robert Procter ; Roger Slack ; Alexander Voss ; Sharon Lloyd
EDI-INF-RR-0685
2006
Actions instruites et travail incarn: Pour une sociologie de lapprentissage des manires de voir professionnelles.
Roger Slack ; Mark Hartswood ; Robert Procter ; James Soutter ; Alexander Voss ; Mark Rouncefield
EDI-INF-RR-0684
2005
Algorithmic Verification of Recursive Probabilistic State Machines.
Kousha Etessami ; Mihalis Yannakakis
EDI-INF-RR-0683
2003
Models for topographic map formation.
David Willshaw ; D.J. Price
EDI-INF-RR-0682
2005
Self-organisation in the nervous system.
David Willshaw
EDI-INF-RR-0681
2005
The cingulate as a catalyst region for global dysfunction: a dynamical modelling paradigm.
D.M. Kronhaus ; David Willshaw
EDI-INF-RR-0680
2006
Generation of time delays: simplified models of intracellular signalling in cerebellar Purkinje cells.
V Steuber ; David Willshaw ; A van Ooyen
EDI-INF-RR-0677
2003
Working IT Out in Medical Practice: IT Systems Design and Development as Co-Realisation
Robert Procter ; Mark Hartswood ; M Rouncefield ; Roger Slack ; Alexander Voss ; P Rouchy
EDI-INF-RR-0676
2003
Fitting Standard Software Packages to Non-Standard Organisations
N Pollock ; Robert Procter ; R Williams
EDI-INF-RR-0675
2005
The use of Computer Aided Detection tools in screening mammography: A multidisciplinary investigation
E Alberdi ; A Povyakal ; L Strigini ; M Hartswood ; Robert Procter ; R Slack
EDI-INF-RR-0674
Dec 2002
Dynamic Time-Alignment Kernel in Support Vector Machine
Hiroshi Shimodaira ; Ken-ichi Noma ; Mitsuru Nakai ; Shigeki Sagayama
EDI-INF-RR-0673
Jun 2003
Speech Recognition Using Asynchronous Transition HMM
Shigeki Matsuda ; Mitsuru Nakai ; Hiroshi Shimodaira ; Shigeki Sagayama
EDI-INF-RR-0671
Nov 2003
Galatea: Open-source Software for Developing Anthropomorphic Spoken Dialog Agents
Shin-ichi Kawamoto ; Hiroshi Shimodaira ; Tetsuo Nitta ; Takuya Nishomoto ; Satoshi Nakamura ; Katsunobu Ito ; Shigeo Morishima
EDI-INF-RR-0670
Sep 2005
On-line Handwriting Recognition Based on Sub-stroke HMM
Mitsuru Nakai ; Shigeki Sagayama ; Hiroshi Shimodaira
EDI-INF-RR-0669
2006
Hosting Activities: Experience with and Future Directions for a Robot Agent Host
Candace Sidner ; Myroslava Dzikovska
EDI-INF-RR-0668
Feb 2003
Constructing custom semantic representations from a generic lexicon
Myroslava Dzikovska ; Mary Swift ; James Allen
EDI-INF-RR-0667
Dec 2001
Towards conversational human-computer interaction
James Allen ; Donna Byron ; Myroslava Dzikovska ; George Ferguson ; Lucian Galescu ; Amanda Stent
EDI-INF-RR-0666
Jan 2006
Chester: Towards a Personal Medication Adviser
James Allen ; George Ferguson ; Nate Blaylock ; Donna Byron ; Nathaniel Chambers ; Myroslava Dzikovska ; Lucian Galescu
EDI-INF-RR-0665
2004
AutoBrief: an Experimental System for the Automatic Generation of Briefings in Integrated Text and Information Graphics
Nancy Green ; Giuseppe Carenini ; Stephan Kerpedjiev ; Joe Mattis ; Johanna Moore ; Steven Roth
EDI-INF-RR-0664
2001
An Empirical Study of the Influence of User Tailoring on Evaluative Argument Effectiveness
Giuseppe Carenini ; Johanna Moore
EDI-INF-RR-0663
2004
Generation and Evaluation of User Tailored Responses in Multimodal Dialogue
Marilyn Walker ; S Whittaker ; A Stent ; P Maloor ; Johanna Moore ; M Johnston ; G Vasireddy
EDI-INF-RR-0662
2002
Connectionist Speech Recognition of Broadcast News
A J Robinson ; G D Cook ; D P W Ellis ; J E Fosler-Lussier ; Steve Renals ; D A G Williams
EDI-INF-RR-0661
Jan 2005
Speech and crosstalk detection in multi-channel audio
S. J. Wrigley ; G J Brown ; V Wan ; Steve Renals
EDI-INF-RR-0660
Mar 2005
Speaker verification using sequence discriminant support vector machines
Steve Renals ; Vincent Wan
EDI-INF-RR-0658
Feb 2005
Automatic summarization of voicemail messages using lexical and prosodic features
Steve Renals ; Konstantinos Koumpis
EDI-INF-RR-0657
Jun 2005
Implications for Generating Clarification Requests in Task-oriented Dialogues
Verena Rieser ; Johanna Moore
EDI-INF-RR-0656
2005
Recursive Markov Decison Processes and Recursive Stochastic Games
Kousha Etessami ; Mihalis Yannakakis
EDI-INF-RR-0655
Nov 2005
Names, Namespaces, XML Languages and XML Definition Languages
Henry Thompson
EDI-INF-RR-0654
Sep 2003
'Repairing' the Machine: A case study of evaluating computer-aided detection tools in breast screening.
Mark Hartswood ; Robert Procter ; Mark Rouncefield ; Roger Slack ; James Soutter ; Alexander Voss
EDI-INF-RR-0653
Apr 2004
Towards a logical foundation for XML Schema
Henry Thompson
EDI-INF-RR-0652
Sep 2003
Making a Case in Medical Work: Implications for the Electronic Medical Record
Mark Hartswood ; Robert Procter ; Mark Rouncefield ; Roger Slack
EDI-INF-RR-0651
2004
Supporting Informality: Team Working and Integrated Care Records
Gillian Hardstone ; Mark Hartswood ; Robert Procter ; Roger Slack ; Alexander Voss ; Gwyneth Rees
EDI-INF-RR-0649
2003
Trusting the Record
Karen Clarke ; Mark Hartswood ; Robert Procter ; Mark Rouncefield ; Roger Slack
EDI-INF-RR-0648
2002
Co-realisation: Towards a Principled Synthesis of Ethnomethodology and Participatory Design
Mark Hartswood ; Robert Procter ; Roger Slack ; Alexander Voss ; Mark Rouncefield ; Phillipe Rouchy
EDI-INF-RR-0647
Aug 2005
Collaboration and Trust in Healthcare Innovation: The eDiaMoND Case Study
Marina Jirotka ; Robert Procter ; Mark Hartswood ; Roger Slack ; Andrew Simpson ; Catelijne Coopmans ; Chris Hinds
EDI-INF-RR-0646
Jun 2002
Performance Management in Breast Screening: A Case Study of Professional Vision and Ecologies of Practice.
Mark Hartswood ; Robert Procter ; Mark Rouncefield ; Roger Slack
EDI-INF-RR-0645
Oct 2004
XML Schema Part 1: Structures Second Edition
Henry Thompson ; David Beech ; Murray Maloney ; Noah Mendelsohn
EDI-INF-RR-0644
Sep 2004
Spaces Allowing Type-2 Complexity Theory Revisited
Matthias Schroeder
EDI-INF-RR-0643
2004
The computational complexity of Evolutionarily Stable Strategies
Kousha Etessami ; Andreas Lochbihler
EDI-INF-RR-0642
2003
Inference of Message Sequence Charts
Rajeev Alur ; Kousha Etessami ; Mihalis Yannakakis
EDI-INF-RR-0641
2005
Analysis of Recursive State Machines
Rajeev Alur ; Michael Benedikt ; Kousha Etessami ; Patrice Godefroid ; Thomas Reps ; Mihalis Yannakakis
EDI-INF-RR-0640
2006
Compactly Generated Domain Theory
Matthias Schroeder ; Ingo Battenfeld ; Alex Simpson
EDI-INF-RR-0639
2005
Fair-Simulation Relations, Parity Games, and State-Space Reduction for B"uchi Automata
Kousha Etessami ; Thomas Wilke ; Rebecca Schuller
EDI-INF-RR-0638
Aug 2005
Computing with Sequences, Weak Topologies and the Axiom of Choice
Matthias Schroeder ; Vasco Brattka
EDI-INF-RR-0637
2006
What the web has done for scientific data -- and what it hasn't
Peter Buneman
EDI-INF-RR-0636
2003
Path Queries on Compressed XML
Peter Buneman ; Martin Grohe ; Christoph Koch
EDI-INF-RR-0635
Jul 2002
Pronominalization in Generated Discourse and Dialogue
Charles Callaway ; James Lester
EDI-INF-RR-0634
Aug 2002
Keys for XML
Peter Buneman ; Susan Davidson ; Wenfei Fan ; Carmem Hara ; Wan-Chiew Tan
EDI-INF-RR-0633
Jul 2003
Integrating Discourse Markers into a Pipelined Natural Language Generation Architecture
Charles Callaway
EDI-INF-RR-0632
2004
Archiving Scientific Data
Peter Buneman ; Sanjeev Khanna ; Keishi Tajima ; Wang-Chiew Tan
EDI-INF-RR-0631
2006
MagiCster: Believable Agents and Dialogue
Colin Matheson ; Catherine Pelachaud ; Fiorella de Rosis ; Thomas Rist
EDI-INF-RR-0630
Jul 2002
Extended Admissibility
Matthias Schroeder
EDI-INF-RR-0629
Nov 2002
Formalising Hinting in Tutorial Dialogues
Dimitra Tsovaltzi ; Colin Matheson
EDI-INF-RR-0628
Feb 2003
Speaking the Users' Languages
Amy Isard ; Jon Oberlander ; Ion Androutsopoulos ; Colin Matheson
EDI-INF-RR-0627
2003
Incremental Information State Updates in an Obligation-Driven Dialogue Model
Joern Kreutel ; Colin Matheson
EDI-INF-RR-0626
2003
Using Finite State Automata to Implement W3C XML Schema Content Model Validation and Restriction Checking
Henry Thompson ; Richard Tobin
EDI-INF-RR-0624
2003
An equational notion of lifting monad
Anna Bucalo ; Carsten Fuhrmann ; Alexander Simpson
EDI-INF-RR-0623
Feb 2004
Namespaces in XML 1.1
Tim Bray ; Dave Hollander ; Andrew Layman ; Richard Tobin
EDI-INF-RR-0622
Mar 2005
A system for identifying named entities in biomedical text: how results from two evaluations reflect on both the system and the evaluations
Shipra Dingare ; Jenny Finkel ; Malvina Nissim ; Chris Manning ; Claire Grover
EDI-INF-RR-0621
Feb 2004
XML Information Set (Second Edition)
John Cowan ; Richard Tobin
EDI-INF-RR-0620
Jun 2005
Automatic Legal Text Summarisation: Experiments with Summary Structuring
Benjamin Hachey ; Claire Grover
EDI-INF-RR-0619
Mar 2005
Sequence Modelling for Sentence Classification in a Legal Summarisation System
Benjamin Hachey ; Claire Grover
EDI-INF-RR-0618
Mar 2005
A comparison of parsing technologies for the biomedical domain
Claire Grover ; Alex Lascarides ; Mirella Lapata
EDI-INF-RR-0617
2002
Collaborative Activities and Multi-tasking in Dialogue Systems: Towards natural dialogue with robots
Oliver Lemon ; Alexander Gruenstein ; Stanley Peters
EDI-INF-RR-0616
Feb 2006
Rating e-mail personality at zero acquaintance
Alastair Gill ; Jon Oberlander ; Elizabeth Austin
EDI-INF-RR-0615
Jan 2005
Integration of Learning and Adaptivity with the Information State Update approach
Oliver Lemon ; Kallirroi Georgila ; James Henderson ; Malte Gabsdil ; Ivan Meza-Ruiz ; Steve Young
EDI-INF-RR-0614
Aug 2002
Taking care of the linguistic features of extraversion
Alastair Gill ; Jon Oberlander
EDI-INF-RR-0613
Jan 2006
A Probabilistic Approach to Robust Shape Matching and Part Decomposition
Graham McNeill ; Sethu Vijayakumar
EDI-INF-RR-0612
Jul 2004
Evaluating Centering-Based Metrics of Coherence
Nikiforos Karamanis ; Massimo Poesio ; Chris Mellish ; Jon Oberlander
EDI-INF-RR-0611
2003
Towards a convenient category of topological domains
Alexander Simpson
EDI-INF-RR-0610
Sep 2001
ILEX: an architecture for a dynamic hypertext generation system
Michael O'Donnell ; Chris Mellish ; Jon Oberlander ; Alastair Knott
EDI-INF-RR-0608
2004
Sequent-calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
Alexander Simpson
EDI-INF-RR-0607
2004
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory
Alexander Simpson
EDI-INF-RR-0605
May 2001
An efficient algorithm for aggregating PEPA models
Stephen Gilmore ; Jane Hillston ; Marina Ribaudo
EDI-INF-RR-0604
Sep 2005
Fluid Flow Approximation of PEPA models
Jane Hillston
EDI-INF-RR-0603
Jan 2005
Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
Kousha Etessami ; Mihalis Yannakakis
EDI-INF-RR-0602
Feb 2004
Induction and Co-induction in Sequent Calculus
Alberto Momigliano ; Alwen Tiu
EDI-INF-RR-0601
Apr 2003
Multi-Level Meta-Reasoning with Higher Order Abstract Syntax
Alberto Momigliano ; Simon Ambler
EDI-INF-RR-0600
Oct 2003
Higher-Order Pattern Complement and the Strict Lambda-Calculus
Alberto Momigliano ; Frank Pfenning
EDI-INF-RR-0599
2006
Combining Effects: Sum and Tensor
Martin Hyland ; Gordon Plotkin ; John Power
EDI-INF-RR-0598
2004
Semantic Domains for Combining Probability and Non-Determinism
Regina Tix ; Klaus Keimel ; Gordon Plotkin
EDI-INF-RR-0597
Sep 2003
Maximizing the Ouput Rate of Multi-Way Join Queries over Streaming Information Sources
Stratis Viglas ; Jeffrey Naughton ; Josef Burger
EDI-INF-RR-0596
Jun 2002
Rate-Based Query Optimization for Streaming Information Sources
Stratis Viglas ; Jeffrey Naughton
EDI-INF-RR-0595
Apr 2005
Vectorizing and Querying Large XML Repositories
Peter Buneman ; Byron Choi ; Wenfei Fan ; Robert Hutchison ; Robert Mann ; Stratis Viglas
EDI-INF-RR-0594
Apr 2005
Query Execution and Optimization
Stratis Viglas
EDI-INF-RR-0593
Jan 2006
Conversational Querying
Yannis Ioannidis ; Stratis Viglas
EDI-INF-RR-0592
Jan 2006
The proteomes of neurotransmitter receptor complexes form modular networks with distributed functionality underlying plasticity and behaviour.
Andrew Pocklington ; Mark Cumiskey ; Douglas Armstrong ; Seth GN Grant
EDI-INF-RR-0591
Aug 2006
On Isolated Submodules
Roy McCasland ; Patrick F. Smith
EDI-INF-RR-0590
May 2001
Featherweight Java: a minimal core calculus for Java and GJ
Atsushi Igarashi ; Benjamin Pierce ; Philip Wadler
EDI-INF-RR-0589
May 2006
Java Generics and Collections
Maurice Naftalin ; Philip Wadler
EDI-INF-RR-0588
2003
The Girard-Reynolds Isomorphism
Philip Wadler
EDI-INF-RR-0587
Sep 2003
Call-by-value is dual to call-by-name
Philip Wadler
EDI-INF-RR-0586
Jan 2003
The Essence of XML
Jerome Simeon ; Philip Wadler
EDI-INF-RR-0585
Jan 2005
Dependent Types
David Aspinall ; Martin Hoffman
EDI-INF-RR-0584
Sep 2003
Heap Bounded Assembly Language
David Aspinall ; Adriana Compagnoni
EDI-INF-RR-0583
2006
Gaussian Processes for Machine Learning
Carl Rasmussen ; Chris Williams
EDI-INF-RR-0582
2002
Three Inadequate Models
Gordon Plotkin
EDI-INF-RR-0581
2002
Notions of Computation Determine Monads
Gordon Plotkin ; John Power
EDI-INF-RR-0580
Mar 2004
Expression Coverability Analysis: Improving Code Coverage Analysis with Model Checking.
Graeme Cunningham ; Paul Jackson ; Julian Dines
EDI-INF-RR-0579
Aug 2005
Clause Form Conversions for Boolean Circuits
Paul Jackson ; Daniel Sheridan
EDI-INF-RR-0578
2003
Universal types and what they are good for
John Longley
EDI-INF-RR-0577
2005
On the ubiquity of certain total type structures
John Longley
EDI-INF-RR-0576
2005
Notions of computability at higher types I
John Longley
EDI-INF-RR-0575
2002
The sequentially realizable functionals
John Longley
EDI-INF-RR-0574
Sep 2001
Subtyping Dependent Types
David Aspinall ; Adriana Compagnoni
EDI-INF-RR-0573
Aug 2005
Genic Interaction Extraction with Semantic and Syntactic Chains
Sebastian Riedel ; Ewan Klein
EDI-INF-RR-0570
Apr 2003
Meaningful conversation with a mobile robot
Johan Bos ; Ewan Klein ; Tetsushi Oka
EDI-INF-RR-0569
Sep 2001
Training Personal Robots Using Natural Language Instruction
Stanislao Lauria ; Guido Bugmann ; Theocharis Kyriacou ; Johan Bos ; Ewan Klein
EDI-INF-RR-0568
Jan 2005
EchoBASE: an integrated post-genomic database for Escherichia coli
Raju V. Misra ; Richard S. P. Horler ; Wolfgang Reindl ; Igor Goryanin ; Gavin H. Thomas
EDI-INF-RR-0567
Jan 2002
Temperature dependence of the epidermal growth factor receptor signaling network can be accounted for by a kinetic model
G Moehren ; N Markevich ; O Demin ; A Kiyatkin ; Igor Goryanin ; JB Hoek ; BN Kholodenko
EDI-INF-RR-0566
Mar 2001
Metabolic modeling of microbial strains in silico
M.W. Covert ; C.H. Schilling ; I. Famili ; J.S. Edwards ; Igor Goryanin ; E. Selkov ; B.O. Palsson
EDI-INF-RR-0565
Mar 2003
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models
M. Hucka ; A. Finney ; H. M. Sauro ; H. Bolouri ; J. C. Doyle ; H. Kitano ; Igor Goryanin
EDI-INF-RR-0564
2006
Ascertaining Mathematical Theorems
Roy McCasland ; Alan Bundy ; Patrick Smith
EDI-INF-RR-0563
2007
Foundations of Algebraic Specifications and Formal Software Development
Donald Sannella ; Andrzej Tarlecki
EDI-INF-RR-0562
Sep 2002
CASL: The common algebraic specification language
Egidio Astesiano ; Michel Bidoit ; Helene Kirchner ; Bernd Krieg-Brueckner ; Peter Mosses ; Donald Sannella ; Andrzej Tarlecki
EDI-INF-RR-0561
Jul 2002
Architectural specifications in CASL
Michel Bidoit ; Donald Sannella ; Andrzej Tarlecki
EDI-INF-RR-0559
Oct 2002
Prelogical relations
Furio Honsell ; Donald Sannella
EDI-INF-RR-0557
Dec 2004
On independence-friendly fixpoint logics
Julian Bradfield
EDI-INF-RR-0556
2003
Fixpoints, games and the difference hierarchy
Julian Bradfield
EDI-INF-RR-0555
2005
The complexity of independence-friendly fixpoint logic
Julian Bradfield ; Stephan Kreutzer
EDI-INF-RR-0554
2006
Independence: logics and concurrency
Julian Bradfield
EDI-INF-RR-0553
1998
The Truly Total Turing Test
Paul Schweizer
EDI-INF-RR-0551
Jul 2004
KAoS Policy Management for Semantic Web Services
Andrzej Uszok ; Jeffrey M. Bradshaw ; Matthew Johnson ; Renia Jeffers ; Austin Tate ; Jeffrey Dalton ; Stuart Aitken
EDI-INF-RR-0550
Sep 2005
Higher-order matching and games
Colin Stirling
EDI-INF-RR-0549
Sep 2001
Rational graphs trace context-sensitive languages
Colin Stirling ; Christophe Morvan
EDI-INF-RR-0548
Jul 2002
Deciding DPDA equivalence is primitive recursive
Colin Stirling
EDI-INF-RR-0547
2001
Decidability of DPDA equivalence
Colin Stirling
EDI-INF-RR-0546
Sep 2004
Autonomic Management of Large Clusters and their Integration into the Grid
Thomas Roblitz ; Florian Schintke ; Alexander Reinefeld ; Olof Barring ; Maite Barroso Lopez ; German Cancio ; Sylvain Chapeland ; Karim Chouikh ; Lionel Cons ; Piotr Poznanski ; Philippe Defert ; Jan Iven ; Thorsten Kleinwort ; Bernd Panzer-Steindel ; Jaroslaw Polok ; Catherine Rafflin ; Alan Silverman ; Tim Smith ; Jan Eldik ; David Front ; Massimo Biasotto ; Cristina Aiftimiei ; Enrico Ferro ; Gaetano Maron ; Andrea Chierici ; Luca Dell'agnello ; Marco Serra ; Michele Michelotto ; Lord Hess ; Volker Lindenstruth ; Frank Pister ; Timm Morten Steinbeck ; David Groep ; Martijn Steenbakkers ; Oscar Koeroo ; Wim Som de Cerff ; Gerben Venekamp ; Paul Anderson ; Tim Colles ; Alexander Holt ; Alastair Scobie ; Michael George ; Andrew Washbrook ; Rafael A. Garcia Leiva ;
EDI-INF-RR-0545
Mar 2005
A Complete Compiler Approach to Auto-Parallelizing C Programs for Multi-DSP Systems
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0544
May 2003
Array Recovery and High-Level Transformations for DSP Applications
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0543
Jun 2005
Probabilistic Source-Level Optimisation of Embedded Programs
Bjoern Franke ; Michael O'Boyle ; John Thomson ; Grigori Fursin
EDI-INF-RR-0541
Oct 2003
Combining Program Recovery, Auto-Parallelisation and Locality Analysis for C Programs on Multi-Processor Embedded Systems
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0540
Oct 2003
Compiler Parallelization of C programs for Multi-core DSPs with Multiple Address Spaces
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0539
Jan 2003
Array Recovery and High Level Transformations for DSP Applications
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0538
Nov 2001
An Empirical Evaluation of High Level Transformations for Embedded Processors
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0537
Apr 2001
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0536
Mar 2001
Towards Automatic Parallelisation for Multiprocessor DSPs
Bjoern Franke ; Michael O'Boyle
EDI-INF-RR-0535
Apr 2005
Counting and Colouring in Specknets
D.K. Arvind ; A. Bates
EDI-INF-RR-0534
Jun 2003
Limits on ILP in Micronet-based Architectures
D.K. Arvind ; C. Keepax
EDI-INF-RR-0533
Jun 2003
Towards programmable In Vivo Computation
D.K. Arvind ; M. Blenkiron
EDI-INF-RR-0532
Dec 2002
The MAP+ Architecture - Soft solutions for Hard Problems
D.K. Arvind ; S. Zhong
EDI-INF-RR-0531
Dec 2002
Micronet-based Cryptosystems
D.K. Arvind ; L. Dilparic
EDI-INF-RR-0530
Jul 2005
Specification-Based Parameter-Model Interaction: Towards a Correct Reflection of Memory Characteristics in a DSM Cluster Simulation
W. Marurngsith ; Roland Ibbett
EDI-INF-RR-0529
Dec 2004
IOmeter Performance Comparision of SBOD and MBOD
F. Chevalier ; Roland Ibbett ; T. Courtney
EDI-INF-RR-0528
Jul 2004
A Methodology for Simulating Scientific Supercomputing Systems
S. Alam ; Roland Ibbett
EDI-INF-RR-0527
Jul 2004
dsimcluster: A Simulation Model for Efficient Memory Analysis Experiments of DSM Clusters
W. Marurngsith ; Roland Ibbett
EDI-INF-RR-0526
Nov 2003
Performance Evaluation of Local Communications: A Case-study
S. R. Alam ; Roland Ibbett ; F. Mallet
EDI-INF-RR-0525
Jul 2003
JavaHASE: Automatic Generation of Applets from HASE Simulation Models
F. Mallet ; Roland Ibbett
EDI-INF-RR-0524
Jan 2003
Simulation of a Computer Architecture for Quantum Chromodynamics Calculations
Sadaf Alam ; Roland Ibbett ; Frederic Mallet
EDI-INF-RR-0523
Jul 2005
Specknets: New Challenges For Wireless Communication Protocols
K. J. Wong ; D.K. Arvind
EDI-INF-RR-0522
Jun 2005
Specknet-based Responsive Environments
K.J. Wong ; D.K. Arvind ; N. Sharwood-Smith ; A. Smith
EDI-INF-RR-0521
May 2005
Speckled Computing
D.K. Arvind
EDI-INF-RR-0520
Mar 2005
A Distributed Algorithm For Logical Location Estimation In Speckled Computing
R. McNally ; K. J. Wong ; D.K. Arvind
EDI-INF-RR-0519
Sep 2004
Design And Evaluation Of A Network-based Asynchronous Architecture For Cryptographic Devices
L. Dilparic ; D.K. Arvind
EDI-INF-RR-0518
Sep 2005
Compiler Directed Early Register Release
Timothy M. Jones ; Michael O'Boyle ; Jaume Abella ; Antonio Gonzalez ; Oğuz Ergin
EDI-INF-RR-0517
Sep 2004
Speckled Computing: Disruptive Technology For Networked Information Appliances
D.K. Arvind ; K. J. Wong
EDI-INF-RR-0516
Sep 2003
Scheduling for ILP in the `Processor-as-a-Network'
D.K. Arvind ; Sotelo Salazar
EDI-INF-RR-0515
Jun 2002
Hard- and Soft-Programmable, Multithreaded Micronet Architectures
D.K. Arvind ; S. Zhong
EDI-INF-RR-0514
Dec 2001
Micronet-based CISC Architectures
D.K. Arvind ; C. Bainbridge
EDI-INF-RR-0513
Dec 2005
Test Pattern Generation and Partial-Scan Methodology for an Asynchronous SoC Interconnect
Aristeidis Efthymiou ; John Bainbridge ; Douglas Edwards
EDI-INF-RR-0512
2006
Challenges to Automatic Customization
Nigel Topham
EDI-INF-RR-0511
Apr 2003
High Performance IDCT Realization Using Complex Arithmetic
K-L Wong ; Nigel Topham
EDI-INF-RR-0510
May 2002
OneDSP: A Unifying DSP Architecture For Systems-On-A-Chip
K. Wong ; Nigel Topham
EDI-INF-RR-0509
Dec 2005
Optimisation Validation
David Aspinall ; Beringer Lennart ; Alberto Momigliano
EDI-INF-RR-0508
Aug 2001
Area Virtual Time
D.K. Arvind ; J. Schneiders
EDI-INF-RR-0507
Jul 2001
A Design Framework for Asynchronous Multithreaded Architectures
D.K. Arvind ; J. Hossell ; A. Koppe ; T. Lewis ; R. Rangaswami ; J. Schneiders ; S. Stanley
EDI-INF-RR-0506
Jun 2001
Java Compilation for Multithreaded Architectures
J. Hossel ; A. Koppe
EDI-INF-RR-0505
May 2002
An Extensible Clock Mechanism for Computer Architecture Simulations
F. Mallet ; S. Alam ; Roland Ibbett
EDI-INF-RR-0504
Jan 2005
Grand Challenges in Computing Education: A Summary
Andrew McGettrick ; Roger Boyle ; Roland Ibbett ; John Lloyd ; Gillian Lovegrove ; Keith Mander
EDI-INF-RR-0503
Jun 2004
A Simulation Applet for Microcoding Exercises
Roland Ibbett
EDI-INF-RR-0502
Nov 2003
Computer Architecture Simulation Applets for Use in Teaching
Roland Ibbett ; F. Mallet
EDI-INF-RR-0501
Jun 2001
Towards an Adaptive Java Optimising Compiler: An Empirical Evaluation of Program Transformations
Shun Long ; Michael O'Boyle
EDI-INF-RR-0500
Apr 2002
Integrating Loop and Data Transformations for Global Optimisation
Michael O'Boyle ; Peter M.W. Knijnenberg
EDI-INF-RR-0499
Jun 2002
Compile Time Barrier Synchronisation Minimisation
Michael O'Boyle ; Elena A. Stohr
EDI-INF-RR-0498
Oct 2002
Iterative Compilation
Grigori Fursin ; Michael O'Boyle ; Peter W.M. Knijnenburg
EDI-INF-RR-0497
Jan 2003
Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation
Peter M.W. Knijnenburg ; Toru Kisuki ; Michael O'Boyle
EDI-INF-RR-0496
Nov 2003
Towards General and Exact Distributed Invalidation
Michael O'Boyle ; Rupert W. Ford ; Elena A. Stohr
EDI-INF-RR-0495
Feb 2004
Fast and Accurate Method for Determining a Lower Bound on Execution Time
Grigori Fursin ; Michael O'Boyle ; Olivier Temam ; Gregory Watts
EDI-INF-RR-0494
2004
Combining Acoustic and Pragmatic Features to Predict Recognition Performance in Spoken Dialogue Systems
Oliver Lemon ; Malte Gabsdil
EDI-INF-RR-0493
Nov 2005
Simulation of Crowd Problems for Computer Vision
Ernesto Andrade ; Robert Fisher
EDI-INF-RR-0492
2004
Higher Order Rippling in IsaPlanner
Lucas Dixon ; Jacques Fleuriot
EDI-INF-RR-0491
2005
Constructing Induction Rules for Deductive Synthesis Proofs
Alan Bundy ; Lucas Dixon ; Jeremy Gow ; Jacques Fleuriot
EDI-INF-RR-0490
Jun 2004
Adaptive Java Optimisation using Instance-based Learning
Shun Long ; Michael O'Boyle
EDI-INF-RR-0489
Aug 2004
Cross Component Optimisation in a High Level Category-Based Language
T. J. Ashby ; A. D Kennedy ; Michael O'Boyle
EDI-INF-RR-0488
Feb 2005
Software Directed Issue Queue Power Reduction
Timothy M. Jones ; Michael O'Boyle ; Jaume Abella ; Antonio Gonzlez
EDI-INF-RR-0487
Mar 2005
IATAC: A Smart Predictor to Turn-Off L2 Cache Lines
Jaume Abella ; Antonio Gonzlez ; Xavier Vera ; Michael O'Boyle
EDI-INF-RR-0486
Nov 2005
A Practical Method For Quickly Evaluating Program Optimizations
Grigori Fursin ; Albert Cohen ; Michael O'Boyle ; Oliver Temam
EDI-INF-RR-0485
Jun 2004
Markovian Decomposition of Range Images
Robert Fisher ; Andreas Pichler
EDI-INF-RR-0484
2005
A Proof-Centric Approach to mathematical assistants
Lucas Dixon ; Jacques Fleuriot
EDI-INF-RR-0483
Jul 2003
IsaPlanner: A Prototype Proof Planner in Isabelle
Lucas Dixon ; Jacques Fleuriot
EDI-INF-RR-0482
2001
Theorem Proving in Infinitesimal Geometry
Jacques Fleuriot
EDI-INF-RR-0481
Nov 2002
Product form solution for an insensitive stochastic process algebra structure
Graham Clark ; Jane Hillston
EDI-INF-RR-0480
May 2005
Tuning Systems: From Composition to Performance
Jane Hillston
EDI-INF-RR-0479
2006
Systematic scan for sampling colourings
Martin Dyer ; Leslie Ann Goldberg ; Mark Jerrum
EDI-INF-RR-0478
Sep 2004
Multithreaded context for robust conversational interfaces: context-sensitive speech recognition and interpretation of corrective fragments
Oliver Lemon ; Alexander Gruenstein
EDI-INF-RR-0477
Dec 2003
The Relative Complexity of Approximate Counting Problems
Martin Dyer ; Leslie Ann Goldberg ; Catherine Greenhill ; Mark Jerrum
EDI-INF-RR-0476
2004
Elementary bounds on Poincar and log-Sobolev constants for decomposable Markov chains
Mark Jerrum ; Jung-Bae Son ; Prasad Tetali ; Eric Vigoda
EDI-INF-RR-0475
Mar 2002
Seeing eye to eye: an account of grounding and understanding in work groups
Jean Carletta ; Anne H. Anderson ; Simon Garrod
EDI-INF-RR-0474
2004
A generic approach to software support for linguistic annotation using XML
Jean Carletta ; David McKelvie ; Amy Isard ; Andreas Mengel ; Marion Klein ; Morten Baun Mller
EDI-INF-RR-0473
2003
The NITE XML Toolkit: flexible annotation for multi-modal language data.
Jean Carletta ; Stefan Evert ; Uli Heid ; Jonathan Kilgour ; Judy Robertson ; Holger Voormann
EDI-INF-RR-0471
2001
The Disambiguation of Nominalisations
Mirella Lapata
EDI-INF-RR-0470
2004
Verb Class Disambiguation Using Informative Priors
Mirella Lapata ; Chris Brew
EDI-INF-RR-0469
2005
Web-based Models for Natural Language Processing
Mirella Lapata ; Frank Keller
EDI-INF-RR-0468
May 2005
Approximately Counting Integral Flows and Cell-Bounded Contingency Tables
Mary Cryan ; Martin Dyer ; Dana Randall
EDI-INF-RR-0467
Jan 2003
Random Walks on the Vertices of Transportation Polytopes with Constant Number of Sources
Mary Cryan ; Martin Dyer ; Haiko Muller ; Leen Stougie
EDI-INF-RR-0466
Sep 2003
A Polynomial-Time Algorithm to Approximately Count Contingency Tables when the Number of Rows is Constant
Mary Cryan ; Martin Dyer
EDI-INF-RR-0465
2002
Evolutionary Trees can be Learned in Polynomial Time in the Two-State General Markov Model
Mary Cryan ; Leslie Ann Goldberg ; Paul W Goldberg
EDI-INF-RR-0464
2006
Human Reasoning and Cognitive Science: logical foundations for the psychology of reasoning
Keith Stenning ; Michiel van Lambalgen
EDI-INF-RR-0461
Dec 2004
Uniform dimension of modules
Roy McCasland ; Patrick Smith
EDI-INF-RR-0460
Jul 2004
A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries
Mark Jerrum ; Alistair Sinclair ; Eric Vigoda
EDI-INF-RR-0459
2002
Seeing Reason: image and language in learning to think
Keith Stenning
EDI-INF-RR-0458
Nov 2005
Automatic Tuning of Inlining Heuristics
John Cavazos ; Michael O'Boyle
EDI-INF-RR-0457
Dec 2003
Anaphora and Discourse Structure
Bonnie Webber ; Matthew Stone ; Aravind Joshi ; Alistair Knott
EDI-INF-RR-0456
Jun 2004
Remedy for an asynchronous weakness: a fully-testable interconnect fabric
Aristeidis Efthymiou ; J. Bainbridge ; D. Edwards
EDI-INF-RR-0455
Dec 2002
Adaptive Pipeline Depth for Asynchronous Systems Using Collapsible Latch Controllers
Aristeidis Efthymiou ; J.D. Garside
EDI-INF-RR-0454
Feb 2004
Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits
Aristeidis Efthymiou ; C. Sotiriou ; D. Edwards
EDI-INF-RR-0453
Apr 2004
An Asynchronous, Iterative Implementation of the Original Booth Multiplication Algorithm
Aristeidis Efthymiou ; W. Suntiamorntut ; J Garside ; L. E. M Brackenbury
EDI-INF-RR-0452
Nov 2004
Adding Testability to an Asynchronous Interconnect for GALS SoCs
Aristeidis Efthymiou ; J Bainbridge ; D. Edwards
EDI-INF-RR-0451
Mar 2004
A CAM with mixed serial-parallel comparison for use in low energy caches
Aristeidis Efthymiou ; J. D. Garside
EDI-INF-RR-0450
May 2003
Adaptive Pipeline Structures for Speculation Control
Aristeidis Efthymiou ; J. D Garside
EDI-INF-RR-0449
Aug 2002
An Adaptive Serial-Parallel CAM Architecture for Low-Power Cache Blocks
Aristeidis Efthymiou ; J. D. Garside
EDI-INF-RR-0448
Sep 2002
Adaptive Pipeline Depth Control for Processor Power-Management
Aristeidis Efthymiou ; J. D. Garside
EDI-INF-RR-0447
Jun 2002
Pipeline Occupancy Control for Power Adaptive Processors
Aristeidis Efthymiou
EDI-INF-RR-0446
Jun 2002
WWW visualisation of computer architecture simulations
Roland Ibbett
EDI-INF-RR-0445
Apr 2003
Modelling recursive calls with UML state diagrams
Jennifer Tenzer ; Perdita Stevens
EDI-INF-RR-0444
Apr 2002
Enriching OCL using observational mu-calculus
Julian Bradfield ; Juliana Bowles ; Perdita Stevens
EDI-INF-RR-0443
Oct 2001
On associations in the Unified Modelling Language
Perdita Stevens
EDI-INF-RR-0442
Apr 2001
On Use Cases and Their Relationships in the Unified Modelling Language
Perdita Stevens
EDI-INF-RR-0441
Mar 2003
Performance modelling with UML and stochastic process algebras
Catherine Canevet ; Stephen Gilmore ; Jane Hillston ; Perdita Stevens
EDI-INF-RR-0440
Apr 2005
Functional Programming Languages for Verification Tools: A Comparison of Standard ML and Haskell
Leucker Martin ; Noll Thomas ; Perdita Stevens ; Weber Michael
EDI-INF-RR-0439
Jan 2002
Small-scale XMI programming: a revolution in UML tool use?
Perdita Stevens
EDI-INF-RR-0438
Sep 2002
On the interpretation of binary associations in the Unified Modelling Language
Perdita Stevens
EDI-INF-RR-0437
2005
Asynchronous On-Chip Networks
M. Amde ; T. Felicijan ; Aristeidis Efthymiou ; D. Edwards ; L. Lavagno
EDI-INF-RR-0436
Sep 2005
Integrating MPI-Skeletons with Web Services
Jan Duennweber ; Sergei Gorlatch ; Anne Benoit ; Murray Cole
EDI-INF-RR-0435
2005
New Technologies for testing a model of cricket phonotaxis on an outdoor robot platform
Richard Reeve ; Barbara Webb ; Andrew Horchler ; Giacomo Indiveri ; Roger Quinn
EDI-INF-RR-0434
2003
Reafferent or redundant: How should a robot cricket use an optomotor reflex?
Barbara Webb ; Richard Reeve
EDI-INF-RR-0433
Jul 2005
Fast, Parallel Two-Rail Code Checker with Enhanced Testability
S. Matakias ; Y. Tsiatouhas ; Th. Haniotakis ; A. Arapoyanni ; Aristeidis Efthymiou
EDI-INF-RR-0431
Mar 2001
Power Management in the AMULET Microprocessors
S. B. Furber ; Aristeidis Efthymiou ; J. D. Garside ; M. J. G Lewis ; D. W. Lloyd ; S. Temple
EDI-INF-RR-0430
Sep 2001
A Comparative Power Analysis of an Asynchronous Processor
Aristeidis Efthymiou ; J. D Garside ; S Temple
EDI-INF-RR-0429
Sep 2005
Using eSkel to implement the multiple baseline stereo application
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-0428
Sep 2005
Flexible Skeletal Programming with eSkel
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-0427
May 2005
Enhancing the effective utilisation of Grid clusters by exploiting on-line performability analysis
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-0426
May 2005
Two fundamental concepts in skeletal parallel programming
Anne Benoit ; Murray Cole
EDI-INF-RR-0425
Mar 2005
Quantitative analysis of skeleton-structured applicative programs
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-0423
Sep 2004
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-0422
Jun 2004
Evaluating the performance of skeleton-based high level parallel programs
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-0421
Aug 2004
Why Structured Parallel Programming Matters
Murray Cole
EDI-INF-RR-0420
Mar 2004
Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming
Murray Cole
EDI-INF-RR-0419
Mar 2002
The Integration of Task and Data Parallel Skeletons
Herbert Kuchen ; Murray Cole
EDI-INF-RR-0418
Mar 2002
Automated Cost Analysis of a Parallel Maximum Segment Sum Program Derivation
Yasushi Hayashi ; Murray Cole ;
EDI-INF-RR-0417
2001
Static Performance Prediction of Skeletal Programs
Yasushi Hayashi ; Murray Cole
EDI-INF-RR-0416
Apr 2001
Coordinating Heterogeneous Parallel Systems with Skeletons and Activity Graphs
Murray Cole ; Andrea Zavanella
EDI-INF-RR-0415
2001
Free Logic and Quantification in Syntactic Modal Contexts
Paul Schweizer
EDI-INF-RR-0414
2006
Generic models for computational effects
John Power
EDI-INF-RR-0413
2002
Premonoidal categories as categories with algebraic structure
John Power
EDI-INF-RR-0412
2004
Category theory for operational semantics
Marina Lenisa ; John Power ; Hiroshi Watanabe
EDI-INF-RR-0411
2005
Pseudo-commutative monads and pseudo-closed 2-categories
Martin Hyland ; John Power
EDI-INF-RR-0410
2001
Realization, Reduction and Psychological Autonomy
Paul Schweizer
EDI-INF-RR-0409
Nov 1994
Towards a High-Level Machine Configuration System
Paul Anderson
EDI-INF-RR-0408
Dec 2005
Configuration tools: working together
Paul Anderson ; Edmund Smith
EDI-INF-RR-0407
Dec 2003
SmartFrog meets LCFG - Autonomous Reconfiguration with Central Policy Control
Paul Anderson ; Patrick Goldsack ; Jim Paterson
EDI-INF-RR-0406
2002
Parallel Evolutionary Registration of 3D Data
Craig Robertson ; Robert Fisher
EDI-INF-RR-0405
Aug 2001
An Algebra for Semantic Construction in Constraint-based Grammars
Ann Copestake ; Alex Lascarides ; Dan Flickinger
EDI-INF-RR-0404
Jun 2003
A Probabilistic Account of Logical Metonymy
Mirella Lapata ; Alex Lascarides
EDI-INF-RR-0403
2001
Indirect Speech Acts
Nicholas Asher ; Alex Lascarides
EDI-INF-RR-0402
Jun 2003
Logics of Conversation
Nicholas Asher ; Alex Lascarides
EDI-INF-RR-0401
Nov 2004
Dynamic Reconfiguration for Grid Fabrics
Edmund Smith ; Paul Anderson
EDI-INF-RR-0400
Jun 2005
Design Space Exploration of a Software Speculative Parallelization Scheme
Marcelo Cintra ; Diego R. Llanos
EDI-INF-RR-0399
Sep 2004
Compiler Estimation of Load Imbalance Overhead in Speculative Parallelization
Jialin Dou ; Marcelo Cintra
EDI-INF-RR-0398
May 2004
Speculative Parallelization of a Randomized Incremental Convex Hull Algorithm
Marcelo Cintra ; Diego R. Llanos ; Belen Palop
EDI-INF-RR-0397
Jun 2003
Toward Efficient and Robust Software Speculative Parallelization in Multiprocessors
Marcelo Cintra ; Diego R. Llanos
EDI-INF-RR-0396
Feb 2002
Eliminating Squashes Through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors
Marcelo Cintra ; Josep Torrellas
EDI-INF-RR-0395
2002
New neural circuits for robot phonotaxis
Barbara Webb ; Richard Reeve
EDI-INF-RR-0394
Oct 2005
The Nature of Mathematical Proof
Alan Bundy ; Michael Atiyah ; Angus Macintyre ; Donald Mackenzie
EDI-INF-RR-0393
Oct 2005
Genetics of Graviperception in Animals.
Kathleen M Beckingham ; Michael J Texada ; Dean Baker ; Ravi Munjal ; Douglas Armstrong
EDI-INF-RR-0392
2006
Pattern Recognition and Machine Learning
Christopher Bishop
EDI-INF-RR-0391
2002
Bayesian Image Super-resolution
Michael E. Tipping ; Christopher Bishop
EDI-INF-RR-0390
2003
Bayesian Hierarchical Mixtures of Experts
Markus Svensen ; Christopher Bishop
EDI-INF-RR-0389
2005
Variational Message Passing
John Winn ; Christopher Bishop
EDI-INF-RR-0388
2005
Membrane channel interactions underlying rat subthalamic projection neuron rhythmic and bursting activity
Andrew Gillies ; David Willshaw
EDI-INF-RR-0387
Sep 2005
Scrap your Nameplate (Functional Pearl)
James Cheney
EDI-INF-RR-0386
Jul 2004
Acquiring the meaning of discourse markers
Ben Hutchinson
EDI-INF-RR-0385
Jul 2005
Learning Discontinuities for Switching between Local Models
Marc Toussaint ; Sethu Vijayakumar
EDI-INF-RR-0384
2005
Constructing good learners using evolved pattern generators.
Vinod Valsalam ; James Bednar ; Risto Miikkulainen
EDI-INF-RR-0383
2003
Dynamic Trees for Image Modelling
N.J. Adams ; Chris Williams
EDI-INF-RR-0382
2005
On the Eigenspectrum of the Gram Matrix and the Generalization Error of Kernel PCA
John Shawe-Taylor ; Chris Williams ; Nello Cristianini ; Jaz Kandola
EDI-INF-RR-0381
2002
On a Connection between Kernel PCA and Metric Multidimensional Scaling
Chris Williams
EDI-INF-RR-0380
2005
Synapse proteomics of multiprotein complexes: en route from genes to nervous system diseases
SG Grant ; MC Marshall ; KL Page ; MA Cumiskey ; Douglas Armstrong
EDI-INF-RR-0379
Jul 2005
Two approaches to a plug-and-play vision architecture - CAVIAR and Psyclone
Thor List ; Jose Carlos Bins ; Robert Fisher ; David Tweed ; Kristinn R. Thrisson
EDI-INF-RR-0378
Jul 2005
2D Shape Classification and Retrieval
Graham McNeill ; Sethu Vijayakumar
EDI-INF-RR-0377
Jul 2004
The Bayesian Backfitting Relevance Vector Machine
Aaron D'Souza ; Sethu Vijayakumar ; Stefan Schaal
EDI-INF-RR-0376
2005
Learning Discontinuities with Product-of-Sigmoids for Switching between Local Models
Marc Toussaint ; Sethu Vijayakumar
EDI-INF-RR-0375
Dec 2005
Incremental Online Learning in High Dimensions
Sethu Vijayakumar ; Aaron D'Souza ; Stefan Schaal
EDI-INF-RR-0374
Jul 2005
Modelling the substitutability of discourse connectives
Ben Hutchinson
EDI-INF-RR-0373
Jul 2005
Modelling the similarity of discourse connectives
Ben Hutchinson
EDI-INF-RR-0372
Sep 2005
Plausible 3D Colour Surface Completion using Non-parametric Techniques
Toby Breckon ; Robert Fisher
EDI-INF-RR-0371
Jul 2004
Automatic Generation of Classification Theorems for Finite Algebras
Simon Colton ; Andreas Meier ; Volker Sorge ; Roy McCasland
EDI-INF-RR-0370
Jan 2004
Multi-Agent Dialogue Protocols
Christopher Walton
EDI-INF-RR-0369
Mar 2004
Model Checking Multi-Agent Web Services
Christopher Walton
EDI-INF-RR-0368
Nov 2004
On the Emergent Semantic Web and Overlooked Issues
Y Kalfoglou ; H Alani ; M Schorlemmer ; Christopher Walton
EDI-INF-RR-0367
2005
Verifiable Agent Dialogues
Christopher Walton
EDI-INF-RR-0366
2003
Task Achieving Agents on the World Wide Web
Austin Tate ; John Levine ; Jeffrey Dalton ; A Nixon
EDI-INF-RR-0365
Sep 2003
The Coalition Agents Experiment: Network-Enabled Coalition Operations
D Allsopp ; P Beautement ; M Kirton ; Austin Tate ; J. M. Bradshaw ; N Suri ; M Burstein
EDI-INF-RR-0364
2003
Dynamic Structure Super-resolution.
Amos Storkey
EDI-INF-RR-0363
2004
Generalised Propagation for Fast Fourier Transforms with Partial or Missing Data
Amos Storkey
EDI-INF-RR-0362
2004
Cleaning Sky Survey Databases using Hough Transform and Renewal String Approaches
Amos Storkey ; N.C. Hambly ; Chris Williams ; R.G. Mann
EDI-INF-RR-0361
2003
Image modelling with position-encoding dynamic trees
Amos Storkey ; Chris Williams
EDI-INF-RR-0360
2005
Hemispheric division of labour in reading
Richard Shillcock ; S.A. McDonald
EDI-INF-RR-0359
2005
The implications of foveal splitting for saccade planning in reading
S.A. McDonald ; Richard Shillcock
EDI-INF-RR-0358
2001
The Computational exploration of visual word recognition in a split model
Richard Shillcock ; Padraic Monaghan
EDI-INF-RR-0357
2004
Hemispheric asymmetries in cognitive modelling: Connectionist modeling of unilateral visual neglect.
Padraic Monaghan ; Richard Shillcock
EDI-INF-RR-0356
May 2005
A Semantic-based Workflow Choreography for Integrated Sensing and Processing
Jessica Chen-Burger ; Fang-Pang Lin
EDI-INF-RR-0355
Feb 2004
FCA in knowledge technologies: experiences and opportunities
Yannis Kalfoglou ; Srinandan Dasmahapatra ; Jessica Chen-Burger
EDI-INF-RR-0354
Jul 2004
Mapping a business process model to a semantic web services model
Li Guo ; Jessica Chen-Burger ; Dave Robertson
EDI-INF-RR-0353
Oct 2004
Supporting Collaboration through Semantic-based Workflow and Constraint Solving
Jessica Chen-Burger ; Kit-Ying Hui ; Alun D. Preece ; Peter M. D. Gray ; Austin Tate
EDI-INF-RR-0352
Jul 2002
Sharing and Checking Organisation Knowledge
Jessica Chen-Burger
EDI-INF-RR-0351
2003
Formal Support for Adaptive Workflow Systems in a Distributed Environment
Jessica Chen-Burger ; Justine Stader
EDI-INF-RR-0349
2005
Collaboration in the Semantic Grid: a Basis for e-Learning
Kevin Page ; Danius Michaelides ; Simon Buckingham Shum ; Jessica Chen-Burger ; Jeffrey Dalton ; David De Roure ; Marc Eisenstadt
EDI-INF-RR-0348
2004
An Experimental Comparison of Diagrammatic and Algebraic Logics
Daniel Winterstein ; Alan Bundy ; Corin Gurr ; Mateja Jamnik
EDI-INF-RR-0347
2001
Priority queues with binary priorities
Kyriakos Kalorkoti ; D.H. Tulley
EDI-INF-RR-0346
2004
Tools and databases for 3D neural reconstructions
Fred Howell ; Nicola McDonnel ; Peter Varany ; Laszlo Zaborsky
EDI-INF-RR-0345
2001
Software related to XML standards for Neuroscience
Fred Howell
EDI-INF-RR-0344
2002
Catalyzer software & website
Fred Howell ; Robert Cannon ; Richard Kent ; Dominic Seymour ; Rodrigo Barnes ; Jonathan Ritchie ; Donal Stewart
EDI-INF-RR-0343
2005
Catalyzer: a novel tool for integrating, managing and publishing heterogeneous bioscience data
Fred Howell ; Robert Cannon ; Nigel Goddard
EDI-INF-RR-0342
2004
How do we get the data to build computational models?
Fred Howell ; Robert Cannon ; Nigel Goddard
EDI-INF-RR-0340
2004
Scaling self-organizing maps to model large cortical networks.
James Bednar ; Amol Kelkar ; Risto Miikkulainen
EDI-INF-RR-0339
2000
Tilt aftereffects in a self-organizing model of the primary visual cortex.
James Bednar ; Risto Miikkulainen
EDI-INF-RR-0338
2002
Predicting Zero Coefficients in Formal Power Series Computations
Kyriakos Kalorkoti
EDI-INF-RR-0337
2001
Detecting Algebraic Curves in Bad Position
Kyriakos Kalorkoti
EDI-INF-RR-0336
2001
Counting and Groebner Bases
Kyriakos Kalorkoti
EDI-INF-RR-0335
Nov 2007
Down in the (Data)base(ment): Supporting Configuration in Organisational Information Systems
Stuart Anderson ; Gillian Hardstone ; Robert Procter ; Robin Williams
EDI-INF-RR-0334
2002
Quantitative Aspects of Requirements Evolution
Stuart Anderson ; Massimo Felici
EDI-INF-RR-0333
2005
Guaranteeing temporal validity with a real-time logic of knowledge
Stuart Anderson ; Juliana Bowles
EDI-INF-RR-0332
2005
On a time enriched OCL liveness template
Juliana Bowles ; Stuart Anderson
EDI-INF-RR-0331
2002
Using Animation in Diagrammatic Theorem Proving
Daniel Winterstein ; Alan Bundy ; Corin Gurr ; Mateja Jamnik
EDI-INF-RR-0330
2003
Learning innate face preferences.
James Bednar ; Risto Miikkulainen
EDI-INF-RR-0329
2005
Computational Maps in the Visual Cortex
Risto Miikkulainen ; James Bednar ; Yoonsuck Choe ; Joseph Sirosh
EDI-INF-RR-0328
2001
Amnesiac Regulates Synchronised Neural Activity in the Drosophila Memory Centres.
P Rosay ; Douglas Armstrong ; Z Wang ; K Kaiser
EDI-INF-RR-0327
2004
Radish encodes a phospholipase-A2 and defines a neural circuit involved in anesthesia-resistant memory.
AS Chiang ; A Blum ; J Barditch ; YH Chen ; SL Chiu ; M Regulski ; Douglas Armstrong ; T Tully ; J Dubnau
EDI-INF-RR-0326
2005
The female receptivity phenotype of icebox mutants is caused by a mutation in the L1-CAM neuroglian.
A Carhan ; F Allen ; Douglas Armstrong ; SF Goodwin ; KMC O'Dell
EDI-INF-RR-0325
2004
Neural mechanisms for prediction: do insects have forward models?
Barbara Webb
EDI-INF-RR-0324
2001
Can robots make good models of biological behaviour?
Barbara Webb
EDI-INF-RR-0323
Apr 2005
Avoiding Equivariant Unification
Christian Urban ; James Cheney
EDI-INF-RR-0322
Apr 2005
Equivariant Unification
James Cheney
EDI-INF-RR-0321
Jun 2005
An Empirical Evaluation of Simple DTD-Conscious Compression Techniques
James Cheney
EDI-INF-RR-0320
Apr 2005
Relating Nominal and Higher-Order Pattern Unification
James Cheney
EDI-INF-RR-0319
Apr 2005
A Simpler Proof Theory for Nominal Logic
James Cheney
EDI-INF-RR-0318
Aug 2005
An Expectation Maximisation Algorithm for One-to-Many Record Linkage, Illustrated on the Problem of Matching Far Infra-Red Astronomical Sources to Optical Counterparts
Amos Storkey ; Chris Williams ; Emma Taylor ; Robert G Mann
EDI-INF-RR-0317
Sep 2005
Amodal Volume Completion: 3D visual completion
Toby Breckon ; Robert Fisher
EDI-INF-RR-0316
2005
Gravitaxis in Drosophila melanogaster: A forward genetic screen.
Douglas Armstrong ; MJ Texada ; R Munjal ; Dean Baker ; KM Beckingham
EDI-INF-RR-0315
Jun 2005
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy ; David Basin ; Dieter Hutter ; Andrew Ireland
EDI-INF-RR-0313
Nov 2005
Gradience in Linguistic Data
Antonella Sorace ; Frank Keller
EDI-INF-RR-0311
Sep 2003
Using the Web to Obtain Frequencies for Unseen Bigrams.
Frank Keller ; Mirella Lapata
EDI-INF-RR-0310
Jan 2003
Gradient Auxiliary Selection and Impersonal Passivization in German: An Experimental Investigation
Frank Keller ; Antonella Sorace
EDI-INF-RR-0309
Jul 2003
Intra-sentential Context Effects on the Interpretation of Logical Metonymy
Mirella Lapata ; Frank Keller ; Christoph Scheepers
EDI-INF-RR-0308
2002
Probabilistic Learning Algorithms and Optimality Theory
Frank Keller ; Ash Asudeh
EDI-INF-RR-0307
May 2001
Phonology Competes with Syntax: Experimental Evidence for the Interaction of Word Order and Accent Placement in the Realization of Information Structure.
Frank Keller ; Theodora Alexopoulou
EDI-INF-RR-0303
Mar 2005
Scheduling skeleton-based grid applications using PEPA and NWS
Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
EDI-INF-RR-0301
Jun 2001
NEOSIM: Portable large-scale plug and play modelling
Nigel Goddard ; G Hood ; Fred Howell ; M Hines ; E De Schutter
EDI-INF-RR-0299
2003
Axiope tools for data management and data sharing
Nigel Goddard ; Robert Cannon ; Fred Howell
EDI-INF-RR-0298
2002
Non-curated distributed databases for experimental data and models in neuroscience.
Robert Cannon ; Fred Howell ; Nigel Goddard ; E De Schutter
EDI-INF-RR-0297
Aug 2001
Towards NeuroML: Model Description Methods for Collaborative Modeling in Neuroscience.
Nigel Goddard ; M Hucka ; Fred Howell ; H Cornelis ; K Skankar ; D Beeman
EDI-INF-RR-0296
Dec 2007
A Program Logic for Resources
David Aspinall ; Lennart Beringer ; Martin Hofmann ; Hans-Wolfgang Loidl ; Alberto Momigliano
EDI-INF-RR-0295
Jul 2003
Modelling the uncertainty in recovering articulation from acoustics.
Korin Richmond ; Simon King ; Paul Taylor
EDI-INF-RR-0294
Sep 2005
Informed blending of databases for emotional speech synthesis.
Gregor Hofer ; Korin Richmond ; Rob Clark
EDI-INF-RR-0293
Jun 2004
Festival 2 - build your own general purpose unit selection speech synthesiser.
Rob Clark ; Korin Richmond ; Simon King
EDI-INF-RR-0292
Aug 2005
Phonology impacts segmentation in speech processing
Luca Onnis ; Padraic Monaghan ; Korin Richmond ; Nick Chater
EDI-INF-RR-0291
Sep 2000
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains
Daniel Winterstein ; Alan Bundy ; Mateja Jamnik
EDI-INF-RR-0290
Jul 2005
Proof Planning for First-Order Temporal Logic
Claudio Castellini ; Alan Smaill
EDI-INF-RR-0289
Jul 2005
What to do when lexicalization fails: Parsing German with suffix analysis and smoothing
Amit Dubey
EDI-INF-RR-0288
Jun 2005
Non-parametric 3D Surface Completion
Toby Breckon ; Robert Fisher
EDI-INF-RR-0287
2002
Functional interactions within the subthalamic nucleus: Implications for basal ganglia dynamics.
Andrew Gillies ; David Willshaw ; J Atherton ; G Arbuthnott
EDI-INF-RR-0286
2004
Models of the Subthalamic Nucleus. The importance of intranuclear connectivity
Andrew Gillies ; David Willshaw
EDI-INF-RR-0285
2002
Subthalamic pallidal interactions are critical in determining normal and abnormal functioning of the basal ganglia
Andrew Gillies ; David Willshaw
EDI-INF-RR-0284
Jun 2005
LWPR: A Scalable Method for Incremental Online Learning in High Dimensions
Sethu Vijayakumar ; Aaron D'Souza ; Stefan Schaal
EDI-INF-RR-0283
2004
Rapid Prototyping of Large Multi-Agent Systems through Logic Programming
Wamberto W Vasconcelos ; Dave Robertson ; Carles Sierra ; Marc Esteva ; Jordi Sabater ; Michael J Wooldridge
EDI-INF-RR-0282
2004
Multi-agent Coordination as Distributed Logic Programming
Dave Robertson
EDI-INF-RR-0281
2002
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions
Flavio S. Correa da Silva ; Wamberto W. Vasconcelos ; Dave Robertson ; Virginia Brilhante ; Ana C. V. de Melo ; Marcelo Finger ; Jaume Agusti
EDI-INF-RR-0280
2001
Basic Gene Grammars and DNA-ChartParser for language processing of Escherichia coli promoter DNA sequences
Siu-wai Leung ; Chris Mellish ; Dave Robertson
EDI-INF-RR-0279
2004
Knowledge-based phylogenetic classification mining
I. Bichindaritz ; Stephen Potter
EDI-INF-RR-0278
2001
An expert system for evaluating the knowledge potential of databases
Stephen Potter ; Stuart Aitken
EDI-INF-RR-0277
2005
A semantic service environment: a case study in bioinformatics
Stephen Potter ; Stuart Aitken
EDI-INF-RR-0276
2003
Automatic conceptual design using experience-derived heuristics
Stephen Potter ; M. J. Darlington ; S. J. Culley ; P. K. Chawdhry
EDI-INF-RR-0275
2001
Design synthesis knowledge and inductive machine learning
Stephen Potter ; M. J. Darlington ; S. J. Culley ; P. K. Chawdhry
EDI-INF-RR-0274
Jul 2002
Learning Information Extraction Rules: An Inductive Logic Programming approach
Stuart Aitken
EDI-INF-RR-0273
2004
Part-of Relations in Anatomy Ontologies: A Proposal for RDFS and OWL Formalisations
Stuart Aitken ; B.L. Webber ; J. B. L. Bard
EDI-INF-RR-0272
2005
COBrA: a bio-ontology editor
Stuart Aitken ; Roman Korf ; Bonnie Webber ; Jonathan Bard
EDI-INF-RR-0271
Mar 2005
Formalising concepts of species, sex and developmental stage in anatomical ontologies
Stuart Aitken
EDI-INF-RR-0270
2004
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Graham Steel ; Alan Bundy ; Monika Maidl
EDI-INF-RR-0269
2004
Attacking Group Multicast Key Management Protocols Using CORAL
Graham Steel ; Alan Bundy
EDI-INF-RR-0268
Jan 2006
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures
Graham Steel ; Alan Bundy
EDI-INF-RR-0267
Jul 2005
Deduction with XOR Constraints in Security API Modelling
Graham Steel
EDI-INF-RR-0266
Mar 2005
Thesis Proposal: Tracking Close Proximity Encounters
Thor List
EDI-INF-RR-0265
2003
Spike timing dependent plasticity: common themes and divergent vistas
A Kepecs ; Mark Van Rossum ; S Song ; J Tegner
EDI-INF-RR-0264
1 2003
Effects of noise on the spike timing precision of retinal ganglion cells
Mark Van Rossum ; B O'Brien ; RG Smith
EDI-INF-RR-0263
Mar 2002
Fast propagation of firing rates through layered networks of neurons
Mark Van Rossum ; GG Turrigiano ; SB Nelson
EDI-INF-RR-0262
2001
A Novel spike distance
Mark Van Rossum
EDI-INF-RR-0260
Aug 1999
Artificial Intelligence and Scientific Creativity
Simon Colton ; Graham Steel
EDI-INF-RR-0259
May 2004
Greedy Learning of Multiple Objects in Images using Robust Statistics and Factorial Learning
Chris Williams ; Michalis Titsias
EDI-INF-RR-0258
Jun 2003
Choosing Your Knowledge Management Strategy
Knox Haggie ; John Kingston
EDI-INF-RR-0257
May 2003
Scaling Reinforcement Learning Paradigms for Motor Control
Sethu Vijayakumar ; Jan Peters ; Stefan Schaal
EDI-INF-RR-0256
Jun 2004
Evolution and Development of a Central Pattern Generator for the Swimming of a Lamprey
Auke Jan Ijspeert ; Jerome Kodjabachian
EDI-INF-RR-0255
Feb 2000
Learning Synaptic Clusters for Nonlinear Dendritic Processing
Michael W. Spratling ; Gillian Hayes
EDI-INF-RR-0254
Mar 2002
Imitation as a dual-route process featuring predictive and learning components: a biologically-plausible computational model
Yiannis Demiris ; Gillian Hayes
EDI-INF-RR-0253
Dec 2003
Plan Execution Failure Analysis Using Plan Deconstruction
Fiona McNeill ; Alan Bundy ; Christopher Walton
EDI-INF-RR-0252
Dec 2004
An Automatic Translator from KIF to PDDL
Fiona McNeill ; Alan Bundy ; Christopher Walton
EDI-INF-RR-0251
Jul 2004
Diagnosing and Repairing Ontological Mismatches
Fiona McNeill ; Alan Bundy ; Christopher Walton
EDI-INF-RR-0250
Aug 2000
O-Plan: a Web-based AI Planning Agent
Austin Tate ; Jeff Dalton ; John Levine
EDI-INF-RR-0249
2006
Specifying the Intertwining of Cooperation and Autonomy in Agent-based Systems
Gerhard Weiss ; Matthias Nickles ; Michael Rovatsos ; Felix Fischer
EDI-INF-RR-0248
2002
An Approach to the Analysis and Design of Multiagent Systems based on Interaction Frames
Michael Rovatsos ; Gerhard Wei ; Marco Wolf
EDI-INF-RR-0247
2005
An Empirical Semantics Approach to Reasoning About Communication
Felix Fischer ; Michael Rovatsos
EDI-INF-RR-0246
2003
Interaction is Meaning: A New Model for Communication in Open Systems
Michael Rovatsos ; Matthias Nickles ; Gerhard Weiss
EDI-INF-RR-0245
Jun 2004
Facilitating Agent Communication through Detecting, Diagnosing and Refining Ontological Mismatch
Fiona McNeill ; Alan Bundy ; Christopher Walton
EDI-INF-RR-0244
Jun 2005
Planning from rich ontologies through translation betweeen representations
Fiona McNeill ; Alan Bundy ; Christopher Walton
EDI-INF-RR-0243
Mar 2006
MONDRIAN: Annotating and querying databases through colors and blocks
Floris Geerts ; Anastasios Kementsietsidis ; Diego Milano
EDI-INF-RR-0242
Apr 2005
Geometry Explorer: Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs
Sean Wilson ; Jacques Fleuriot
EDI-INF-RR-0240
Nov 2004
Monte Carlo Sampling and Counting Solutions in Reduced Boolean Parity
Mark Collins
EDI-INF-RR-0239
Jul 2005
A Plug-and-Play Architecture for Cognitive Video Stream Analysis
Thor List ; Jose Carlos Bins ; Robert Fisher ; David Tweed
EDI-INF-RR-0238
Feb 2005
Visual Quality Measures for Characterizing Planar Robot Grasps
Eris Chinellato ; Antonio Morales ; Robert Fisher ; Angel Pasqual del Pobil
EDI-INF-RR-0236
Oct 2004
Environment Authentication through 3D Structural Analysis
Toby Breckon ; Robert Fisher
EDI-INF-RR-0235
Mar 2004
Using a SOFM to learn Object Affordances
Ignasi Cos-Aguilera ; Lola Canamero ; Gillian Hayes
EDI-INF-RR-0234
Aug 2003
Learning Object Functionalities in the Context of Behaviour Selection
Ignasi Cos-Aguilera ; Lola Canamero ; Gillian Hayes
EDI-INF-RR-0233
Apr 2003
Motivation-Driven Learning of Object Affordances: First Experiments Using a Simulated Khepera Robot
Ignasi Cos-Aguilera ; Lola Canamero ; Gillian Hayes
EDI-INF-RR-0232
Sep 2002
Behaviour Control Using a Functional and Emotional Model
Ignasi Cos-Aguilera ; Gillian Hayes
EDI-INF-RR-0231
Aug 2004
The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved
Sibylle Froeschle
EDI-INF-RR-0230
Jul 2004
Fusing Multiple Color Images for Texturing Models
Nobuyuki Bannai ; Alexander Agathos ; Robert Fisher
EDI-INF-RR-0229
Jul 2004
Planning and Patching Proof
Alan Bundy
EDI-INF-RR-0228
Aug 2004
CVML An XML-based Computer Vision Markup Language
Thor List ; Robert Fisher
EDI-INF-RR-0223
2004
Bayesian Backfitting for High Dimensional Regression
Sethu Vijayakumar ; Aaron D'Souza ; Stefan Schaal
EDI-INF-RR-0220
Jul 2004
Reinforcement Learning for Humanoid Robots - Policy Gradients and Beyond
Sethu Vijayakumar ; Jan Peters ; Stefan Schaal
EDI-INF-RR-0219
Jun 2004
Neural network approach to path integration for homing navigation
Kim DaeEun ; John Hallam
EDI-INF-RR-0217
Jun 2004
Imitation as a dual-route process featuring predictive and learning components
Yiannis Demiris ; Gillian Hayes
EDI-INF-RR-0216
Jun 2004
Evolving Swimming Controllers for a Simulated Lamprey with Inspiration from Neurobiology
Auke Ijspeert ; John Hallam ; David Willshaw
EDI-INF-RR-0215
Jun 2004
From Lampreys to Salamanders: evolving neural controllers for swimming and walking
Auke Ijspeert ; John Hallam ; David Willshaw
EDI-INF-RR-0214
Jun 2004
Mobile Robot Control based on Boolean Logic with Internal Memory
DaeEun Kim ; John Hallam
EDI-INF-RR-0213
Jun 2004
Object-Based Visual Attention for Computer Vision
Yaoru Sun ; Robert Fisher
EDI-INF-RR-0212
Jun 2004
Hierarchical Selectivity for Object-based Visual Attention
Yaoru Sun ; Robert Fisher
EDI-INF-RR-0211
Jun 2004
Shape Reconstruction Incorporating Multiple Non-linear Geometric Constraints
Naoufel Werghi ; Robert Fisher ; Anthony Ashbrook ; Craig Robertson
EDI-INF-RR-0210
Jun 2004
Self-organisation of randomly placed sensors
Robert Fisher
EDI-INF-RR-0209
Jun 2004
Applying knowledge to reverse engineering problems
Robert Fisher
EDI-INF-RR-0208
Dec 2003
On differences between the real and physical Plane: Analysis of the inside relation
Daniel Winterstein
EDI-INF-RR-0207
Oct 2003
A Proposal for Interactive Program Generation
Daniel Winterstein
EDI-INF-RR-0206
Apr 2004
Variational Information Maximization in Gaussian Channels
Felix Agakov ; David Barber
EDI-INF-RR-0205
Apr 2004
An Auxiliary Variational Method
Felix Agakov ; David Barber
EDI-INF-RR-0204
Mar 2004
Annotating CBC4Kids: A Corpus for Reading Comprehension and Question Answering Evaluation
Tiphaine Dalmas ; Jochen Leidner ; Bonnie Webber ; Claire Grover ; Johan Bos
EDI-INF-RR-0203
Mar 2004
Fault Identification through the Combination of Symbolic Conflict Recognition and Markov Chain-aided Belief Revision
Finlay Smith ; Qiang Shen
EDI-INF-RR-0202
Mar 2004
Exhibiting the Behaviour of Time-Delayed Systems via an Extension to Qualitative Simulation
Ian Miguel ; Qiang Shen
EDI-INF-RR-0201
Mar 2004
Fuzzy-Rough Data Reduction with Ant Colony Optimization
Richard Jensen ; Qiang Shen
EDI-INF-RR-0200
Mar 2002
Rough Feature Selection for Neural Network Based Image Classification
Changjing Shang ; Qiang Shen
EDI-INF-RR-0199
Jan 2003
Fuzzy rrDFCSP and planning
Ian Miguel ; Qiang Shen
EDI-INF-RR-0198
Mar 2004
Selecting Informative Features with Fuzzy-Rough Sets and its Application for Complex Systems Monitoring
Qiang Shen ; Richard Jensen
EDI-INF-RR-0197
Jan 2004
Fuzzy rough attribute reduction with application to web categorization
Richard Jensen ; Qiang Shen
EDI-INF-RR-0196
Mar 2004
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
Jeroen Keppens ; Qiang Shen
EDI-INF-RR-0195
Mar 2004
Reinterpretation and viewpoints
Graeme Ritchie
EDI-INF-RR-0194
Jan 2004
Temporal Prepositions and their Logic
Ian Pratt-Hartmann
EDI-INF-RR-0193
Feb 2004
Niche Construction and the Evolution of Complexity
Timothy Taylor
EDI-INF-RR-0192
Feb 2004
Redrawing the Boundary between Organism and Environment
Timothy Taylor
EDI-INF-RR-0191
Jan 2004
Model Checking Agent Dialogues in SPIN
Christopher Walton
EDI-INF-RR-0190
Jan 2004
Hereditary History Preserving Bisimilarity Coincides with History Preserving Bisimilarity for a Class of Live Free Choice Systems
Sibylle Froeschle
EDI-INF-RR-0189
Jun 2002
Improving Environment Modelling by Edge Occlusion Surface Completion
Umberto Castellani ; Salvatore Livatino ; Robert Fisher
EDI-INF-RR-0188
Jun 2002
Edge-Constrained Marching Triangles
Neil McCormick ; Robert Fisher
EDI-INF-RR-0187
Jun 2002
Empirical Calibration Method for Adding Colour to Range Images
Craig Robertson ; Robert Fisher
EDI-INF-RR-0186
Jun 2002
How can we exploit typical architectural structures to improve model recovery?
Petko Faber ; Robert Fisher
EDI-INF-RR-0185
Dec 2003
An isotropic Gaussian mixture can have more modes than components
Miguel Carreira-Perpinan ; Chris Williams
EDI-INF-RR-0184
Mar 2004
A Genetic Regulatory Network-Inspired Real-Time Controller for a Group of Underwater Robots
Timothy Taylor
EDI-INF-RR-0183
Sep 2003
Dialogue Protocols for Multi-Agent Systems
Christopher Walton
EDI-INF-RR-0182
Sep 2001
On the correction of faulty formulae
Raul Monroy ; Alan Bundy
EDI-INF-RR-0181
Sep 2003
Active Perception in Navigation of Partially Observable Grid Worlds
Paul Crook ; Gillian Hayes
EDI-INF-RR-0180
Sep 2003
Could Active Perception Aid Navigation of Partially Observable Grid Worlds?
Paul Crook ; Gillian Hayes
EDI-INF-RR-0179
Oct 2003
Attacking the Asokan--Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL
Graham Steel ; Alan Bundy ; Monika Maidl
EDI-INF-RR-0178
Aug 2001
Automating Proof in Non-standard Analysis
Ewen Maclean
EDI-INF-RR-0177
Jun 2003
Dynamic Ontology Refinement
Fiona McNeill ; Alan Bundy ; Marco Schorlemmer
EDI-INF-RR-0176
Aug 2003
Learning in a State of Confusion: Perceptual Aliasing in Grid World Navigation
Paul Crook ; Gillian Hayes
EDI-INF-RR-0175
Mar 2002
Proof-planning Non-standard Analysis (ii)
Ewen Maclean ; Jacques Fleuriot ; Alan Smaill
EDI-INF-RR-0174
Sep 2002
Skill-based Resource Allocation using Genetic Algorithms and an Ontology
Kushan Nammuni ; John Levine ; John Kingston
EDI-INF-RR-0173
Jan 2002
Proof-planning Non-standard Analysis
Ewen Maclean ; Jacques Fleuriot ; Alan Smaill
EDI-INF-RR-0172
May 2003
Knowledge Management using Business Process Modeling and Workflow Techniques
Hsiang-Ling Kuo ; Jessica Chen-Burger ; Dave Robertson
EDI-INF-RR-0171
Aug 2002
Merging Top Level Ontologies for Scientific Knowledge Management
John Kingston
EDI-INF-RR-0170
Nov 2001
A Web-based Decision Support System for Divorce Lawyers
Scott Duguid ; Lillian Edwards ; John Kingston
EDI-INF-RR-0169
Dec 2002
Ontology, Knowledge Management, Knowledge Engineering and the ACM Classification Scheme
John Kingston
EDI-INF-RR-0168
Jun 2003
Comparing the succinctness of monadic query languages over finite trees
Martin Grohe ; Nicole Schweikardt
EDI-INF-RR-0167
May 2003
Mapping Principles Between IX and Compendium
Jessica Chen-Burger
EDI-INF-RR-0166
May 2003
Concept Mapping Between Compendium and IX
Jessica Chen-Burger ; Austin Tate
EDI-INF-RR-0165
Nov 2002
Prototyping a Legal Decision Support System: A Case Study
John Kingston ; Lillian Edwards ; Jean Hall
EDI-INF-RR-0164
Nov 2002
Flexible Multi-Agent Protocols
Christopher Walton ; Dave Robertson
EDI-INF-RR-0163
Sep 2002
Learning to Forage Through Imitation
Yiannis Gatsoulis ; George Maistros ; Yuval Marom ; Gillian Hayes
EDI-INF-RR-0162
Aug 2002
Towards a Mirror System for the Development of Socially-Mediated Skills
Yuval Marom ; George Maistros ; Gillian Hayes
EDI-INF-RR-0161
Mar 2003
Using Information-Flow Theory to Enable Semantic Interoperability
Marco Schorlemmer ; Yannis Kalfoglou
EDI-INF-RR-0159
Feb 2003
On the Number of Modes of a Gaussian Mixture
Miguel Carreira-Perpinan ; Chris Williams
EDI-INF-RR-0158
Feb 2003
The JAPE riddle generator: technical specification
Graeme Ritchie
EDI-INF-RR-0157
Nov 2002
LFPL with Types for Deep Sharing
Michal Konecny
EDI-INF-RR-0156
Nov 2002
Temporal Hidden Hopfield Models
Felix Agakov ; David Barber
EDI-INF-RR-0155
Jun 2001
Tactic-based theorem proving in first-order modal and temporal logics
Claudio Castellini ; Alan Smaill
EDI-INF-RR-0154
Oct 2002
Informal Semantics for the FBPML Data Language
Jessica Chen-Burger
EDI-INF-RR-0153
Oct 2002
Proof Planning for Feature Interactions: a preliminary report
Claudio Castellini ; Alan Smaill
EDI-INF-RR-0152
Oct 2000
A modular, tactic-based approach to first-order temporal theorem proving
Claudio Castellini ; Alan Smaill
EDI-INF-RR-0151
Oct 2002
Typing with Conditions and Guarantees in LFPL
Michal Konecny
EDI-INF-RR-0150
Sep 2002
A Systematic Presentation of Quantified Modal Logics
Claudio Castellini ; Alan Smaill
EDI-INF-RR-0149
Apr 2002
Correlated sequence learning in a network of spiking neurons using maximum likelihood
David Barber ; Felix Agakov
EDI-INF-RR-0148
Sep 2002
The Control of Dynamical Systems by Evolved Constraints: A New Perspective on Modelling Life
Timothy Taylor
EDI-INF-RR-0147
Aug 2002
Improving architectural 3D reconstruction by plane and edge constraining
Helmut Cantzler ; Robert Fisher ; M. Devy
EDI-INF-RR-0146
Aug 2002
Estimation of General Curves and Surfaces to Edge and Range Data by Euclidean Fitting
Petko Faber ; Robert Fisher
EDI-INF-RR-0145
Jul 2002
P#: Using Prolog within the .NET Framework
Jonathan Cook
EDI-INF-RR-0144
Aug 2002
Searching for Invariants using Temporal Resolution
James Brotherston ; Alexei Lisitsa ; Michael Fisher ; Anatoli Degtyarev
EDI-INF-RR-0143
Nov 2001
The Synthesis of a Java Card Tokenisation Algorithm
Ewen Denney
EDI-INF-RR-0142
Mar 2002
Logic-based Program Synthesis via Program Extraction
Ewen Denney
EDI-INF-RR-0141
Jul 2002
Finding Counterexamples to Inductive Conjectures and Discovering Security Protocol Attacks
Graham Steel ; Alan Bundy ; Ewen Denney
EDI-INF-RR-0140
May 2002
A Tale of Two Filters - On line Novelty Detection
Paul Crook ; Stephen Marsland ; Gillian Hayes ; Ulrich Nehmzow
EDI-INF-RR-0139
Jul 2002
informatics
Michael Fourman
EDI-INF-RR-0138
Sep 2002
Quality enhancement of reconstructed 3D models using coplanarity and constraints
Helmut Cantzler ; Robert Fisher ; M. Devy
EDI-INF-RR-0137
Jun 2002
Automated Support for Composition of Transformational Components in Knowledge Engineering
Marco Schorlemmer ; Stephen Potter ; Dave Robertson
EDI-INF-RR-0136
Jun 2002
Formal Knowledge Management in Distributed Environments
Marco Schorlemmer ; Stephen Potter ; Dave Robertson ; Derek Sleeman
EDI-INF-RR-0135
Jun 2002
Information-Flow-based Ontology Mapping
Yannis Kalfoglou ; Marco Schorlemmer
EDI-INF-RR-0134
Jun 2002
Duality in Knowledge Sharing
Marco Schorlemmer
EDI-INF-RR-0133
Sep 1999
Choosing the Right Model
R.R. Leitch ; Qiang Shen ; G.M. Coghill ; M.J. Chantler
EDI-INF-RR-0132
Mar 2001
On Compositional Modelling
Jeroen Keppens ; Qiang Shen
EDI-INF-RR-0131
May 2001
Efficient Flexible Planning via Dynamic Flexible Constraint Satisfaction.
Ian Miguel ; Qiang Shen ; Peter Jarvis
EDI-INF-RR-0130
May 2000
Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
Ian Miguel ; Qiang Shen
EDI-INF-RR-0129
May 2001
Solution Techniques for Constraint Satisfaction Problems: Foundations
Ian Miguel ; Qiang Shen
EDI-INF-RR-0128
May 2000
Dynamic Flexible Constraint Satisfaction
Ian Miguel ; Qiang Shen
EDI-INF-RR-0127
May 2002
Regaining comprehensibility of approximative fuzzy models via the use of linguistic hedges
Javier Marin-Blazquez ; Qiang Shen
EDI-INF-RR-0126
May 2002
From Approximative to Descriptive Fuzzy Classifiers
Javier Marin-Blazquez ; Qiang Shen
EDI-INF-RR-0125
May 2002
A fuzzy-rough approach for generating classification rules
Qiang Shen ; Alexios Chouchoulas
EDI-INF-RR-0124
May 2001
FuREAP: A fuzzy-rough estimator of algae population
Qiang Shen ; Alexios Chouchoulas
EDI-INF-RR-0123
May 2001
Rough Set-Based Dimensionality Reduction for Supervised and Unsupervised Learning
Qiang Shen ; Alexios Chouchoulas
EDI-INF-RR-0122
May 2000
A Modular Approach to Generating Fuzzy Rules with Reduced Attributes for the Monitoring of Complex Systems
Qiang Shen ; Alexios Chouchoulas
EDI-INF-RR-0121
May 2001
Rough Set-Aided Keyword Reduction for Text Categorisation
Alexios Chouchoulas ; Qiang Shen
EDI-INF-RR-0120
May 2002
An Analysis of Contrastive Divergence Learning in Gaussian Boltzmann Machines
Chris Williams ; Felix Agakov
EDI-INF-RR-0119
May 2002
CETP: An automated theorem prover for a fragment of Common Sense Entailment
David Schlangen ; Alex Lascarides
EDI-INF-RR-0118
Jun 2002
Coalition Agents Experiment: Multi-Agent Co-operation in an International Coalition Setting, Special Issue on Knowledge Systems for Coalition Operations (KSCO)
David Allsopp ; Patrick Beautement ; Jeffrey Bradshaw ; Edmund Durfee ; Michael Kirton ; Craig Knoblock ; Niranjan Suri ; Austin Tate ; Craig Thompson
EDI-INF-RR-0117
Jul 2002
CoAKTinG: Collaborative Advanced Knowledge Technologies in the Grid
Simon Buckingham Shum ; David De Roure ; Marc Eisenstadt ; Nigel Shadbolt ; Austin Tate
EDI-INF-RR-0116
Dec 2000
Intelligible AI Planning - Generating Plans Represented as a Set of Constraints
Austin Tate
EDI-INF-RR-0115
Apr 2002
I-P2 - Intelligent Process Panels to Support Coalition Operations
Austin Tate ; Jeffrey Dalton ; Justine Stader
EDI-INF-RR-0114
Sep 2001
I-X and <I-N-CA>: an Architecture and Related Ontology for Mixed-initiative Synthesis Tasks
Austin Tate
EDI-INF-RR-0113
Jun 2001
Software Agents as Facilitators of Coherent Coalition Operations
David Allsopp ; Patrick Beautement ; Jeffrey Bradshaw ; John Carson ; Michael Kirton ; Niranjan Suri ; Austin Tate
EDI-INF-RR-0112
Jul 1999
O-P3: Supporting the Planning Process using Open Planning Process Panels
Austin Tate ; John Levine ; Jeffrey Dalton ; Stuart Aitken
EDI-INF-RR-0111
Apr 1999
Multi-Perspective Planning - Using Domain Constraints to Support the Coordinated Development of Plans
Austin Tate ; Jeffrey Dalton ; John Levine
EDI-INF-RR-0110
Aug 2000
<I-N-OVA> and <I-N-CA> - Representing Plans and other Synthesised Artifacts as a Set of Constraints
Austin Tate
EDI-INF-RR-0109
Apr 2002
Enterprise Modelling: A Declarative Approach for FBPML
Jessica Chen-Burger ; Austin Tate ; Dave Robertson
EDI-INF-RR-0106
Dec 2000
Limited Media Interface for AI Planning System
Alexander Nixon ; John Levine ; Austin Tate
EDI-INF-RR-0105
Dec 2000
Applying Genetic Algorithms to Hierarchical Task Network Planning
Lea Ruscio ; John Levine ; John Kingston
EDI-INF-RR-0104
Dec 2000
"GenPlan": Combining Genetic Programming and Planning
Henrik Westerberg ; John Levine
EDI-INF-RR-0103
Feb 2001
Applying adversarial planning techniques to Go
Steven Willmott ; Julian Richardson ; Alan Bundy ; John Levine
EDI-INF-RR-0102
Apr 2001
Investigation of Different Seeding Strategies in a Genetic Planner
Henrik Westerberg ; John Levine
EDI-INF-RR-0101
Apr 2002
Ant Colony Optimisation for Bin Packing and Cutting Stock Problems
Frederick Ducatelle ; John Levine
EDI-INF-RR-0100
Sep 2001
Optimising Plans using Genetic Programming
Henrik Westerberg ; John Levine
EDI-INF-RR-0098
Jan 1999
Extensions to the Estimation Calculus
Jeremy Gow ; Alan Bundy ; Ian Green
EDI-INF-RR-0097
Jan 2001
Strict General Setting for Building Decision Procedures into Theorem Provers
Predrag Janicic ; Alan Bundy
EDI-INF-RR-0096
Jan 1999
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
Predrag Janicic ; Alan Bundy ; Ian Green
EDI-INF-RR-0095
Jan 2002
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Predrag Janicic ; Alan Bundy
EDI-INF-RR-0094
Mar 2002
PAC-Bayesian Generalization Error Bounds for Gaussian Process Classification
Matthias Seeger
EDI-INF-RR-0092
May 1999
An Evolutionary Approach to Fitting Constrained Degenerate Second Order Surfaces
Craig Robertson ; Robert Fisher ; Naoufel Werghi ; Anthony Ashbrook
EDI-INF-RR-0091
Sep 1999
Improvement of Quadric Surfaces Estimation of Manufactured Objects
Naoufel Werghi ; Robert Fisher ; Anthony Ashbrook ; Craig Robertson
EDI-INF-RR-0090
Jun 2001
Shape Recovery and Analysis of Large Screw Threads
Craig Robertson ; Robert Fisher
EDI-INF-RR-0089
Oct 1999
Faithful recovering of quadric surfaces from 3D range data
Naoufel Werghi ; Robert Fisher ; Anthony Ashbrook ; Craig Robertson
EDI-INF-RR-0088
Oct 1999
A Low-Cost Range Finder using a Visually Located, Structured Light Source
Robert Fisher ; Anthony Ashbrook ; Craig Robertson ; Naoufel Werghi
EDI-INF-RR-0087
Jun 2001
Projective ICP and Stabilizing Architectural Augmented Reality Overlays
Robert Fisher
EDI-INF-RR-0086
Jul 2000
Co-operating LEGO robots in the 1999 Five Universities "Volleyball" Competition at Sheffield
Christopher Malcolm ; E. Dura
EDI-INF-RR-0085
Apr 2001
Interacting with a Robot to Enhance Its Perceptual Attention
Yuval Marom ; Gillian Hayes
EDI-INF-RR-0084
Jul 1999
Preliminary approaches to attention for social learning
Yuval Marom ; Gillian Hayes
EDI-INF-RR-0083
Apr 2000
Maintaining Attentional Capacity in a Social Robot
Yuval Marom ; Gillian Hayes
EDI-INF-RR-0082
Sep 2001
A Buyer's Guide to Euclidean Elliptical Cylindrical and Conical Surface Fitting
Petko Faber ; Robert Fisher
EDI-INF-RR-0081
May 2001
Comparison of HK and SC curvature description methods
Helmut Cantzler ; Robert Fisher
EDI-INF-RR-0080
Jun 2001
Reconstruction of surfaces behind occlusions in range images
Freek Stulp ; F. Dell'Acqua ; Robert Fisher
EDI-INF-RR-0079
Nov 2000
Structural Learning from Iconic Representations
Herman Gomes ; Robert Fisher
EDI-INF-RR-0078
Oct 2001
Learning and Extracting Primal-Sketch Features in a Log-polar Image Representation
Herman Gomes ; Robert Fisher
EDI-INF-RR-0077
Sep 2001
Pros and Cons of Euclidean Fitting
Petko Faber ; Robert Fisher
EDI-INF-RR-0076
May 2001
Euclidean Fitting Revisited
Petko Faber ; Robert Fisher
EDI-INF-RR-0075
May 2001
Constrained Object Reconstruction Incorporating Free-form Surfaces
Robert Fisher ; Craig Robertson ; Naoufel Werghi
EDI-INF-RR-0074
Sep 1999
Improving Second-order Surfaces Estimation
Naoufel Werghi ; Robert Fisher ; Anthony Ashbrook ; Craig Robertson
EDI-INF-RR-0073
Sep 1999
Construction of Articulated Models from Range Data
Robert Fisher ; Craig Robertson ; Naoufel Werghi
EDI-INF-RR-0072
Sep 1999
A next-best-view algorithm for 3D scene recovery with 5 degrees of freedom
Robert Fisher ; J. M. Sanchiz
EDI-INF-RR-0071
Jul 2000
Estimating the viewpoint position from a three-dimensional image
Robert Fisher ; J. M. Sanchiz
EDI-INF-RR-0070
Apr 2001
An Imitation Mechanism for Goal-Directed Actions
George Maistros ; Gillian Hayes
EDI-INF-RR-0069
Sep 2001
Attention and Social Situatedness for Skill Acquisition
Yuval Marom ; Gillian Hayes
EDI-INF-RR-0068
Nov 2001
Perception-Action Coupling via Imitation and Attention
George Maistros ; Yuval Marom ; Gillian Hayes
EDI-INF-RR-0067
Apr 2001
A Robot Implementation of a Biologically Inspired Method for Novelty Detection
Paul Crook ; Gillian Hayes
EDI-INF-RR-0066
Jul 1999
Improving performance in a multi-robot task through minimal communication
Jose Carmena ; John Hallam
EDI-INF-RR-0065
Nov 2000
A biomimetic platform to study perception in bats
Herbert Peremans ; Rolf Mueller ; Jose Carmena ; John Hallam
EDI-INF-RR-0064
Feb 2000
Towards an artificial pinna for a narrow-band biomimetic sonarhead
DaeEun Kim ; John Hallam ; Jose Carmena
EDI-INF-RR-0063
Sep 2000
Designing artificial ears for animat echolocation
Jose Carmena ; DaeEun Kim ; John Hallam
EDI-INF-RR-0062
Nov 2000
Estimating Doppler shift with a coarse cochlear filterbank
Jose Carmena ; John Hallam
EDI-INF-RR-0061
Apr 2001
Artificial ears for a biomimetic sonarhead: from multiple reflectors to surfaces
DaeEun Kim ; John Hallam ; Nico Kaempchen ; Jose Carmena
EDI-INF-RR-0060
Apr 2001
A Doppler-based motion controller for an echolocating mobile robot
Jose Carmena ; John Hallam
EDI-INF-RR-0059
Jul 2001
Exploiting the physics: towards Doppler-based navigation with a bat-inspired mobile robot
Jose Carmena ; John Hallam
EDI-INF-RR-0058
Sep 2001
A comparison of methods for estimating Doppler-shift using bat-inspired cochlear filterbank models
Jose Carmena ; John Hallam
EDI-INF-RR-0057
Nov 2001
A General Framework for Relaxation Processes
Petko Faber
EDI-INF-RR-0056
Nov 2001
A Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning
Alison Pease ; Simon Colton ; Alan Smaill ; John Lee
EDI-INF-RR-0055
Nov 2001
The Effect of Input Knowledge on Creativity
Simon Colton ; Alison Pease ; Graeme Ritchie
EDI-INF-RR-0054
Nov 2001
Evaluating Machine Creativity
Alison Pease ; Daniel Winterstein ; Simon Colton
EDI-INF-RR-0053
Sep 2001
Ontologies, Multi-Perspective Modelling and Knowledge Auditing
John Kingston
EDI-INF-RR-0052
Dec 1999
Knowledge Management through Multi-Perspective Modelling: Representing and Distributing Organizational Memory
John Kingston ; Ann Macintosh
EDI-INF-RR-0051
Mar 2000
Knowledge Acquisition and Knowledge Modelling for Operational Research
John Kingston ; Andrew Tuson
EDI-INF-RR-0050
Nov 2001
High Performance Knowledge Bases: Four approaches to Knowledge Acquisition, Representation and Reasoning for Workaround Planning
John Kingston
EDI-INF-RR-0049
Sep 1999
Knowledge Management Techniques: Teaching & Dissemination Concepts
Ann Mackintosh ; John Kingston ; Ian Filby
EDI-INF-RR-0048
Sep 1999
A Computer Based Application for Ship Survey Reporting
John Kingston ; Manolis Sideris ; Nikos Parthenios ; Nicholas Kyrtatos
EDI-INF-RR-0047
Oct 1997
The DARPA High Performance Knowledge Bases Programme
John Kingston
EDI-INF-RR-0046
Sep 2001
TPHOLs 2001: Supplemental Proceedings
Paul Jackson ; Richard Boulton
EDI-INF-RR-0045
Sep 2001
Equation-Based and Agent-Based Modeling of Supply Networks
Wanwimol Thawornchak
EDI-INF-RR-0044
Aug 2001
Model-Checking LTL with Regular Valuations for Pushdown Systems
Stefan Schwoon ; Javier Esparza ; Antonin Kucera
EDI-INF-RR-0043
Jul 2001
Products of Gaussians and Probabilistic Minor Component Analysis
Chris Williams ; Felix V. Agakov
EDI-INF-RR-0042
Jul 2001
Contextual Distinctiveness: A New Lexical Property Computed from Large Corpora
Scott McDonald ; Richard Shillcock
EDI-INF-RR-0041
Jun 2001
Counting on CTL* : On the Expressive Power of Monadic Path Logic
Alexander Rabinovich ; Faron Moller
EDI-INF-RR-0040
Apr 2001
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
Alan Smaill ; Louise Dennis
EDI-INF-RR-0039
Apr 2001
Assessing Creativity
Graeme Ritchie
EDI-INF-RR-0038
Feb 2001
Selection and Uniformization in Generalized Product
Alexander Rabinovich
EDI-INF-RR-0037
Feb 2001
Knowledge Sharing and Inconsistency Checking on Multiple Enterprise Models
Jessica Chen-Burger
EDI-INF-RR-0036
Feb 2001
Knowledge Based Multi-Perspective Framework For Enterprise Modelling
Jessica Chen-Burger
EDI-INF-RR-0035
Jan 2001
On Compositional Method and its Limitations
Alexander Rabinovich
EDI-INF-RR-0034
Apr 2000
Propositional Planning
Michael Fourman
EDI-INF-RR-0033
Jan 2001
A Higher-Order Embedding of a Logic of Objects
Martin Hofmann ; Francis Tang
EDI-INF-RR-0032
Dec 2000
Current Directions in Computational Humour
Graeme Ritchie
EDI-INF-RR-0031
Aug 2000
An Imitation Mechanism Inspired from Neurophysiology
George Maistros ; Gillian Hayes
EDI-INF-RR-0030
Jul 2000
Animal learning models as robot controllers
Bridget Hallam
EDI-INF-RR-0029
Sep 2000
Design and Implementation of an Online Auction
Theodoros Theodoropoulos
EDI-INF-RR-0028
Oct 2000
Resolving References to Graphical Objects in Multimodal Queries by Constraint Satisfaction
Daqing He ; Graeme Ritchie ; John Lee
EDI-INF-RR-0027
Sep 2000
A Web Based Replayer For Proof General
Jonathan Freear
EDI-INF-RR-0026
Sep 2000
Frame: An Imperative Coordination Language for Parallel Programming
Murray Cole
EDI-INF-RR-0025
Aug 2000
Stratified coherent spaces: a denotational semantics for Light Linear Logic
Patrick Baillot
EDI-INF-RR-0024
Jul 2000
Representing Trees with Constraints
Benjamin Curry ; Geraint Wiggins ; Gillian Hayes
EDI-INF-RR-0023
Feb 2000
Formal Support for an Informal Business Modelling Method
Jessica Chen-Burger ; Dave Robertson ; Justine Stader
EDI-INF-RR-0022
Jun 2000
A Case-Based Reasoning Framework for Enterprise Model Building, Sharing and Reusing
Jessica Chen-Burger ; Dave Robertson ; Justine Stader
EDI-INF-RR-0021
Dec 1999
Completeness Conditions for Mixed Strategy Bidirectional Parsing
Graeme Ritchie
EDI-INF-RR-0020
May 2000
Isamode --- Theorem Proving with Isabelle inside Emacs
David Aspinall
EDI-INF-RR-0019
May 2000
Cross Domain Mathematical Concept Formation
Graham Steel ; Simon Colton ; Alan Bundy ; Toby Walsh
EDI-INF-RR-0018
Apr 2000
Fitting of Constrained Models to Poor 3D Data
Craig Robertson ; Robert Fisher ; Naoufel Werghi ; Anthony Ashbrook
EDI-INF-RR-0017
Apr 2000
The Direct Route: Mediated Priming in Semantic Space
Will Lowe ; Scott McDonald
EDI-INF-RR-0016
May 2000
A Flexible Integrated Architecture For Generating Poetic Texts
Hisar Maruli Manurung ; Graeme Ritchie ; Henry Thompson
EDI-INF-RR-0015
May 2000
Towards A Computational Model Of Poetry Generation
Hisar Maruli Manurung ; Graeme Ritchie ; Henry Thompson
EDI-INF-RR-0014
Apr 2000
Multi-Predicate Induction Schemes for Mutual Recursion
Richard Boulton
EDI-INF-RR-0013
Mar 2000
Amalgamation of Transition Sequences in the PEPA Formalism
Jane Hillston ; Joanna Tomasik-Krawczyk
EDI-INF-RR-0012
Apr 2000
Describing Verbally Expressed Humour
Graeme Ritchie
EDI-INF-RR-0011
Mar 2000
Learning Inequated Range Restricted Horn Expressions
Marta Arias ; Roni Khardon
EDI-INF-RR-0010
Mar 2000
A New Algorithm for Learning Range Restricted Horn Expressions
Marta Arias ; Roni Khardon
EDI-INF-RR-0009
Feb 2000
Transforming PEPA Models to Obtain Product Form Bounds
Joanna Tomasik-Krawczyk ; Jane Hillston
EDI-INF-RR-0008
Mar 2000
Simulating Classical Conditioning using a Neuro-Connector Net
Bridget Hallam
EDI-INF-RR-0007
Apr 1999
Developing the Incongruity-Resolution Theory
Graeme Ritchie
EDI-INF-RR-0006
Dec 1999
Using AI Planning Techniques for Army Small Unit Operations
Austin Tate ; John Levine ; Peter Jarvis ; Jeffrey Dalton
EDI-INF-RR-0005
Jan 2000
Decidability of Bisimulation Equivalence for Pushdown Processes
Colin Stirling
EDI-INF-RR-0004
1999
Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
Louise Dennis ; Alan Bundy ; Ian Green
EDI-INF-RR-0003
Sep 1999
Proofs About Lists Using Ellipsis
Alan Bundy ; Julian Richardson
EDI-INF-RR-0002
Apr 1999
The Automation Of Proof By Mathematical Induction
Alan Bundy
EDI-INF-RR-0001
Apr 1999
A Survey of Automated Deduction
Alan Bundy


Home : Publications 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh