Report and Date
| Title and Authors
|
EDI-INF-RR-0409 Nov 1994
| Towards a High-Level Machine Configuration System
Paul Anderson
|
EDI-INF-RR-0047 Oct 1997
| The DARPA High Performance Knowledge Bases Programme
John Kingston
|
EDI-INF-RR-0553 1998
| The Truly Total Turing Test
Paul Schweizer
|
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-0098 Jan 1999
| Extensions to the Estimation Calculus
Jeremy Gow
; Alan Bundy
; Ian Green
|
EDI-INF-RR-0001 Apr 1999
| A Survey of Automated Deduction
Alan Bundy
|
EDI-INF-RR-0002 Apr 1999
| The Automation Of Proof By Mathematical Induction
Alan Bundy
|
EDI-INF-RR-0007 Apr 1999
| Developing the Incongruity-Resolution Theory
Graeme Ritchie
|
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-0092 May 1999
| An Evolutionary Approach to Fitting Constrained Degenerate Second Order Surfaces
Craig Robertson
; Robert Fisher
; Naoufel Werghi
; Anthony Ashbrook
|
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-0066 Jul 1999
| Improving performance in a multi-robot task through minimal communication
Jose Carmena
; John Hallam
|
EDI-INF-RR-0084 Jul 1999
| Preliminary approaches to attention for social learning
Yuval Marom
; Gillian Hayes
|
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-0260 Aug 1999
| Artificial Intelligence and Scientific Creativity
Simon Colton
; Graham Steel
|
EDI-INF-RR-0003 Sep 1999
| Proofs About Lists Using Ellipsis
Alan Bundy
; Julian Richardson
|
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-0049 Sep 1999
| Knowledge Management Techniques: Teaching & Dissemination Concepts
Ann Mackintosh
; John Kingston
; Ian Filby
|
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-0073 Sep 1999
| Construction of Articulated Models from Range Data
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-0091 Sep 1999
| Improvement of Quadric Surfaces Estimation of Manufactured Objects
Naoufel Werghi
; Robert Fisher
; Anthony Ashbrook
; Craig Robertson
|
EDI-INF-RR-0133 Sep 1999
| Choosing the Right Model
R.R. Leitch
; Qiang Shen
; G.M. Coghill
; M.J. Chantler
|
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-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-0089 Oct 1999
| Faithful recovering of quadric surfaces from 3D range data
Naoufel Werghi
; Robert Fisher
; Anthony Ashbrook
; Craig Robertson
|
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-0006 Dec 1999
| Using AI Planning Techniques for Army Small Unit Operations
Austin Tate
; John Levine
; Peter Jarvis
; Jeffrey Dalton
|
EDI-INF-RR-0021 Dec 1999
| Completeness Conditions for Mixed Strategy Bidirectional Parsing
Graeme Ritchie
|
EDI-INF-RR-0052 Dec 1999
| Knowledge Management through Multi-Perspective Modelling: Representing and Distributing Organizational Memory
John Kingston
; Ann Macintosh
|
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-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-0005 Jan 2000
| Decidability of Bisimulation Equivalence for Pushdown Processes
Colin Stirling
|
EDI-INF-RR-1126 Jan 2000
| Improving Visualisation by Capturing Domain Knowledge
Jonathan Meddes
; Roderick McKenzie
|
EDI-INF-RR-0009 Feb 2000
| Transforming PEPA Models to Obtain Product Form Bounds
Joanna Tomasik-Krawczyk
; Jane Hillston
|
EDI-INF-RR-0023 Feb 2000
| Formal Support for an Informal Business Modelling Method
Jessica Chen-Burger
; Dave Robertson
; Justine Stader
|
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-0255 Feb 2000
| Learning Synaptic Clusters for Nonlinear Dendritic Processing
Michael W. Spratling
; Gillian Hayes
|
EDI-INF-RR-0008 Mar 2000
| Simulating Classical Conditioning using a Neuro-Connector Net
Bridget Hallam
|
EDI-INF-RR-0010 Mar 2000
| A New Algorithm for Learning Range Restricted Horn Expressions
Marta Arias
; Roni Khardon
|
EDI-INF-RR-0011 Mar 2000
| Learning Inequated Range Restricted Horn Expressions
Marta Arias
; Roni Khardon
|
EDI-INF-RR-0013 Mar 2000
| Amalgamation of Transition Sequences in the PEPA Formalism
Jane Hillston
; Joanna Tomasik-Krawczyk
|
EDI-INF-RR-0051 Mar 2000
| Knowledge Acquisition and Knowledge Modelling for Operational Research
John Kingston
; Andrew Tuson
|
EDI-INF-RR-0012 Apr 2000
| Describing Verbally Expressed Humour
Graeme Ritchie
|
EDI-INF-RR-0014 Apr 2000
| Multi-Predicate Induction Schemes for Mutual Recursion
Richard Boulton
|
EDI-INF-RR-0017 Apr 2000
| The Direct Route: Mediated Priming in Semantic Space
Will Lowe
; Scott McDonald
|
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-0034 Apr 2000
| Propositional Planning
Michael Fourman
|
EDI-INF-RR-0083 Apr 2000
| Maintaining Attentional Capacity in a Social Robot
Yuval Marom
; Gillian Hayes
|
EDI-INF-RR-0015 May 2000
| Towards A Computational Model Of Poetry Generation
Hisar Maruli Manurung
; Graeme Ritchie
; Henry Thompson
|
EDI-INF-RR-0016 May 2000
| A Flexible Integrated Architecture For Generating Poetic Texts
Hisar Maruli Manurung
; Graeme Ritchie
; Henry Thompson
|
EDI-INF-RR-0019 May 2000
| Cross Domain Mathematical Concept Formation
Graham Steel
; Simon Colton
; Alan Bundy
; Toby Walsh
|
EDI-INF-RR-0020 May 2000
| Isamode --- Theorem Proving with Isabelle inside Emacs
David Aspinall
|
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-0128 May 2000
| Dynamic Flexible Constraint Satisfaction
Ian Miguel
; Qiang Shen
|
EDI-INF-RR-0130 May 2000
| Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
Ian Miguel
; Qiang Shen
|
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-0024 Jul 2000
| Representing Trees with Constraints
Benjamin Curry
; Geraint Wiggins
; Gillian Hayes
|
EDI-INF-RR-0030 Jul 2000
| Animal learning models as robot controllers
Bridget Hallam
|
EDI-INF-RR-0071 Jul 2000
| Estimating the viewpoint position from a three-dimensional image
Robert Fisher
; J. M. Sanchiz
|
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-0025 Aug 2000
| Stratified coherent spaces: a denotational semantics for Light Linear Logic
Patrick Baillot
|
EDI-INF-RR-0031 Aug 2000
| An Imitation Mechanism Inspired from Neurophysiology
George Maistros
; Gillian Hayes
|
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-0250 Aug 2000
| O-Plan: a Web-based AI Planning Agent
Austin Tate
; Jeff Dalton
; John Levine
|
EDI-INF-RR-0026 Sep 2000
| Frame: An Imperative Coordination Language for Parallel Programming
Murray Cole
|
EDI-INF-RR-0027 Sep 2000
| A Web Based Replayer For Proof General
Jonathan Freear
|
EDI-INF-RR-0029 Sep 2000
| Design and Implementation of an Online Auction
Theodoros Theodoropoulos
|
EDI-INF-RR-0063 Sep 2000
| Designing artificial ears for animat echolocation
Jose Carmena
; DaeEun Kim
; John Hallam
|
EDI-INF-RR-0291 Sep 2000
| A Proposal for Automating Diagrammatic Reasoning in Continuous Domains
Daniel Winterstein
; Alan Bundy
; Mateja Jamnik
|
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-0152 Oct 2000
| A modular, tactic-based approach to first-order temporal theorem proving
Claudio Castellini
; Alan Smaill
|
EDI-INF-RR-0062 Nov 2000
| Estimating Doppler shift with a coarse cochlear filterbank
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-0079 Nov 2000
| Structural Learning from Iconic Representations
Herman Gomes
; Robert Fisher
|
EDI-INF-RR-0777 Nov 2000
| Viewpoint estimation in three-dimensional images taken with perspective range sensors
Jose Sanchiz
; Robert Fisher
|
EDI-INF-RR-0032 Dec 2000
| Current Directions in Computational Humour
Graeme Ritchie
|
EDI-INF-RR-0104 Dec 2000
| "GenPlan": Combining Genetic Programming and Planning
Henrik Westerberg
; John Levine
|
EDI-INF-RR-0105 Dec 2000
| Applying Genetic Algorithms to Hierarchical Task Network Planning
Lea Ruscio
; John Levine
; John Kingston
|
EDI-INF-RR-0106 Dec 2000
| Limited Media Interface for AI Planning System
Alexander Nixon
; John Levine
; Austin Tate
|
EDI-INF-RR-0116 Dec 2000
| Intelligible AI Planning - Generating Plans Represented as a Set of Constraints
Austin Tate
|
EDI-INF-RR-0339 2000
| Tilt aftereffects in a self-organizing model of the primary visual cortex.
James Bednar
; Risto Miikkulainen
|
EDI-INF-RR-1134 2000
| On Wrapping Query Languages and Efficient XML Integration.
Vassilis Christophides
; Sophie Cluet
; Jerome Simeon
|
EDI-INF-RR-0033 Jan 2001
| A Higher-Order Embedding of a Logic of Objects
Martin Hofmann
; Francis Tang
|
EDI-INF-RR-0035 Jan 2001
| On Compositional Method and its Limitations
Alexander Rabinovich
|
EDI-INF-RR-0097 Jan 2001
| Strict General Setting for Building Decision Procedures into Theorem Provers
Predrag Janicic
; Alan Bundy
|
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-0036 Feb 2001
| Knowledge Based Multi-Perspective Framework For Enterprise Modelling
Jessica Chen-Burger
|
EDI-INF-RR-0037 Feb 2001
| Knowledge Sharing and Inconsistency Checking on Multiple Enterprise Models
Jessica Chen-Burger
|
EDI-INF-RR-0038 Feb 2001
| Selection and Uniformization in Generalized Product
Alexander Rabinovich
|
EDI-INF-RR-0103 Feb 2001
| Applying adversarial planning techniques to Go
Steven Willmott
; Julian Richardson
; Alan Bundy
; John Levine
|
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-0132 Mar 2001
| On Compositional Modelling
Jeroen Keppens
; Qiang Shen
|
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-0536 Mar 2001
| Towards Automatic Parallelisation for Multiprocessor DSPs
Bjoern Franke
; Michael O'Boyle
|
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-0039 Apr 2001
| Assessing Creativity
Graeme Ritchie
|
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-0060 Apr 2001
| A Doppler-based motion controller for an echolocating mobile robot
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-0067 Apr 2001
| A Robot Implementation of a Biologically Inspired Method for Novelty Detection
Paul Crook
; Gillian Hayes
|
EDI-INF-RR-0070 Apr 2001
| An Imitation Mechanism for Goal-Directed Actions
George Maistros
; Gillian Hayes
|
EDI-INF-RR-0085 Apr 2001
| Interacting with a Robot to Enhance Its Perceptual Attention
Yuval Marom
; Gillian Hayes
|
EDI-INF-RR-0102 Apr 2001
| Investigation of Different Seeding Strategies in a Genetic Planner
Henrik Westerberg
; John Levine
|
EDI-INF-RR-0416 Apr 2001
| Coordinating Heterogeneous Parallel Systems with Skeletons and Activity Graphs
Murray Cole
; Andrea Zavanella
|
EDI-INF-RR-0442 Apr 2001
| On Use Cases and Their Relationships in the Unified Modelling Language
Perdita Stevens
|
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-0741 Apr 2001
| The LCFG configuration system.
Paul Anderson
|
EDI-INF-RR-0075 May 2001
| Constrained Object Reconstruction Incorporating Free-form Surfaces
Robert Fisher
; Craig Robertson
; Naoufel Werghi
|
EDI-INF-RR-0076 May 2001
| Euclidean Fitting Revisited
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-0121 May 2001
| Rough Set-Aided Keyword Reduction for Text Categorisation
Alexios Chouchoulas
; Qiang Shen
|
EDI-INF-RR-0123 May 2001
| Rough Set-Based Dimensionality Reduction for Supervised and Unsupervised Learning
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-0129 May 2001
| Solution Techniques for Constraint Satisfaction Problems: Foundations
Ian Miguel
; 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-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-0590 May 2001
| Featherweight Java: a minimal core calculus for Java and GJ
Atsushi Igarashi
; Benjamin Pierce
; Philip Wadler
|
EDI-INF-RR-0605 May 2001
| An efficient algorithm for aggregating PEPA models
Stephen Gilmore
; Jane Hillston
; Marina Ribaudo
|
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-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-0041 Jun 2001
| Counting on CTL* : On the Expressive Power of Monadic Path Logic
Alexander Rabinovich
; Faron Moller
|
EDI-INF-RR-0080 Jun 2001
| Reconstruction of surfaces behind occlusions in range images
Freek Stulp
; F. Dell'Acqua
; Robert Fisher
|
EDI-INF-RR-0087 Jun 2001
| Projective ICP and Stabilizing Architectural Augmented Reality Overlays
Robert Fisher
|
EDI-INF-RR-0090 Jun 2001
| Shape Recovery and Analysis of Large Screw Threads
Craig Robertson
; Robert Fisher
|
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-0155 Jun 2001
| Tactic-based theorem proving in first-order modal and temporal logics
Claudio Castellini
; Alan Smaill
|
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-0501 Jun 2001
| Towards an Adaptive Java Optimising Compiler: An Empirical Evaluation of Program Transformations
Shun Long
; Michael O'Boyle
|
EDI-INF-RR-0506 Jun 2001
| Java Compilation for Multithreaded Architectures
J. Hossel
; A. Koppe
|
EDI-INF-RR-0737 Jun 2001
| A biophysically realistic simulation of the vertebrate retina
Matthias Hennig
; Klaus Funke
|
EDI-INF-RR-0795 Jun 2001
| Using Stochastic Information to Predict Application Behavior on Contended Resources.
Jennifer M. Schopf
; F Berman
|
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-0909 Jun 2001
| RBRP: A Robust Broadcast Reservation Protocol for Mobile Ad Hoc Networks
Mahesh Marina
; George Kondylis
; Ulas Kozat
|
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-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-1101 Jun 2001
| Planning as Heuristic Search
B. Bonet
; Hector Geffner
|
EDI-INF-RR-1184 Jun 2001
| Latent Semantic Analysis for Text Segmentation
Freddy Y.Y. Choi
; Peter Wiemer-Hastings
; Johanna Moore
|
EDI-INF-RR-0042 Jul 2001
| Contextual Distinctiveness: A New Lexical Property Computed from Large Corpora
Scott McDonald
; Richard Shillcock
|
EDI-INF-RR-0043 Jul 2001
| Products of Gaussians and Probabilistic Minor Component Analysis
Chris Williams
; Felix V. Agakov
|
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-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-0888 Jul 2001
| XML-Based Data Preparation for Robust Deep Parsing
Claire Grover
; Alex Lascarides
|
EDI-INF-RR-0991 Jul 2001
| LSCs: Breathing Life into Message Sequence Charts
Werner Damm
; David Harel
|
EDI-INF-RR-0044 Aug 2001
| Model-Checking LTL with Regular Valuations for Pushdown Systems
Stefan Schwoon
; Javier Esparza
; Antonin Kucera
|
EDI-INF-RR-0178 Aug 2001
| Automating Proof in Non-standard Analysis
Ewen Maclean
|
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-0405 Aug 2001
| An Algebra for Semantic Construction in Constraint-based Grammars
Ann Copestake
; Alex Lascarides
; Dan Flickinger
|
EDI-INF-RR-0508 Aug 2001
| Area Virtual Time
D.K. Arvind
; J. Schneiders
|
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-1183 Aug 2001
| A Comparative Evaluation of Socratic Versus Didactic Tutoring
Carolyn Penstein Rose
; Johanna Moore
; David Allbritton
; Kurt Van Lehn
|
EDI-INF-RR-0045 Sep 2001
| Equation-Based and Agent-Based Modeling of Supply Networks
Wanwimol Thawornchak
|
EDI-INF-RR-0046 Sep 2001
| TPHOLs 2001: Supplemental Proceedings
Paul Jackson
; Richard Boulton
|
EDI-INF-RR-0053 Sep 2001
| Ontologies, Multi-Perspective Modelling and Knowledge Auditing
John Kingston
|
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-0069 Sep 2001
| Attention and Social Situatedness for Skill Acquisition
Yuval Marom
; Gillian Hayes
|
EDI-INF-RR-0077 Sep 2001
| Pros and Cons of Euclidean Fitting
Petko Faber
; Robert Fisher
|
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-0100 Sep 2001
| Optimising Plans using Genetic Programming
Henrik Westerberg
; John Levine
|
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-0182 Sep 2001
| On the correction of faulty formulae
Raul Monroy
; Alan Bundy
|
EDI-INF-RR-0430 Sep 2001
| A Comparative Power Analysis of an Asynchronous Processor
Aristeidis Efthymiou
; J. D Garside
; S Temple
|
EDI-INF-RR-0549 Sep 2001
| Rational graphs trace context-sensitive languages
Colin Stirling
; Christophe Morvan
|
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-0574 Sep 2001
| Subtyping Dependent Types
David Aspinall
; Adriana Compagnoni
|
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-1091 Sep 2001
| On pseudorandom generators in NC^0
Mary Cryan
; Peter Bro Miltersen
|
EDI-INF-RR-1190 Sep 2001
| Relevance-Based Language Models
Victor Lavrenko
; W.B. Croft
|
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-0443 Oct 2001
| On associations in the Unified Modelling Language
Perdita Stevens
|
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-0054 Nov 2001
| Evaluating Machine Creativity
Alison Pease
; Daniel Winterstein
; Simon Colton
|
EDI-INF-RR-0055 Nov 2001
| The Effect of Input Knowledge on Creativity
Simon Colton
; Alison Pease
; Graeme Ritchie
|
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-0057 Nov 2001
| A General Framework for Relaxation Processes
Petko Faber
|
EDI-INF-RR-0068 Nov 2001
| Perception-Action Coupling via Imitation and Attention
George Maistros
; Yuval Marom
; Gillian Hayes
|
EDI-INF-RR-0143 Nov 2001
| The Synthesis of a Java Card Tokenisation Algorithm
Ewen Denney
|
EDI-INF-RR-0170 Nov 2001
| A Web-based Decision Support System for Divorce Lawyers
Scott Duguid
; Lillian Edwards
; John Kingston
|
EDI-INF-RR-0538 Nov 2001
| An Empirical Evaluation of High Level Transformations for Embedded Processors
Bjoern Franke
; Michael O'Boyle
|
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-0514 Dec 2001
| Micronet-based CISC Architectures
D.K. Arvind
; C. Bainbridge
|
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-0262 2001
| A Novel spike distance
Mark Van Rossum
|
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-0278 2001
| An expert system for evaluating the knowledge potential of databases
Stephen Potter
; Stuart Aitken
|
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-0324 2001
| Can robots make good models of biological behaviour?
Barbara Webb
|
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-0336 2001
| Counting and Groebner Bases
Kyriakos Kalorkoti
|
EDI-INF-RR-0337 2001
| Detecting Algebraic Curves in Bad Position
Kyriakos Kalorkoti
|
EDI-INF-RR-0345 2001
| Software related to XML standards for Neuroscience
Fred Howell
|
EDI-INF-RR-0347 2001
| Priority queues with binary priorities
Kyriakos Kalorkoti
; D.H. Tulley
|
EDI-INF-RR-0358 2001
| The Computational exploration of visual word recognition in a split model
Richard Shillcock
; Padraic Monaghan
|
EDI-INF-RR-0403 2001
| Indirect Speech Acts
Nicholas Asher
; Alex Lascarides
|
EDI-INF-RR-0410 2001
| Realization, Reduction and Psychological Autonomy
Paul Schweizer
|
EDI-INF-RR-0415 2001
| Free Logic and Quantification in Syntactic Modal Contexts
Paul Schweizer
|
EDI-INF-RR-0417 2001
| Static Performance Prediction of Skeletal Programs
Yasushi Hayashi
; Murray Cole
|
EDI-INF-RR-0471 2001
| The Disambiguation of Nominalisations
Mirella Lapata
|
EDI-INF-RR-0482 2001
| Theorem Proving in Infinitesimal Geometry
Jacques Fleuriot
|
EDI-INF-RR-0547 2001
| Decidability of DPDA equivalence
Colin Stirling
|
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-0688 2001
| Building Information Systems as Universalised Locals
Mark Hartswood
; Mark Rouncefield
; Roger Slack
; Alexander Voss
; Robin Williams
|
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-1036 2001
| Using the Nystroem Method to Speed Up Kernel Machines
Chris Williams
; Matthias Seeger
|
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-0095 Jan 2002
| A General Setting for Flexibly Combining and Augmenting Decision Procedures
Predrag Janicic
; Alan Bundy
|
EDI-INF-RR-0173 Jan 2002
| Proof-planning Non-standard Analysis
Ewen Maclean
; Jacques Fleuriot
; Alan Smaill
|
EDI-INF-RR-0439 Jan 2002
| Small-scale XMI programming: a revolution in UML tool use?
Perdita Stevens
|
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-0396 Feb 2002
| Eliminating Squashes Through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors
Marcelo Cintra
; Josep Torrellas
|
EDI-INF-RR-1145 Feb 2002
| LCFG - The Next Generation
Paul Anderson
; Alastair Scobie
|
EDI-INF-RR-0094 Mar 2002
| PAC-Bayesian Generalization Error Bounds for Gaussian Process Classification
Matthias Seeger
|
EDI-INF-RR-0142 Mar 2002
| Logic-based Program Synthesis via Program Extraction
Ewen Denney
|
EDI-INF-RR-0175 Mar 2002
| Proof-planning Non-standard Analysis (ii)
Ewen Maclean
; Jacques Fleuriot
; Alan Smaill
|
EDI-INF-RR-0200 Mar 2002
| Rough Feature Selection for Neural Network Based Image Classification
Changjing Shang
; Qiang Shen
|
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-0263 Mar 2002
| Fast propagation of firing rates through layered networks of neurons
Mark Van Rossum
; GG Turrigiano
; SB Nelson
|
EDI-INF-RR-0418 Mar 2002
| Automated Cost Analysis of a Parallel Maximum Segment Sum Program Derivation
Yasushi Hayashi
; Murray Cole
;
|
EDI-INF-RR-0419 Mar 2002
| The Integration of Task and Data Parallel Skeletons
Herbert Kuchen
; Murray Cole
|
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-0739 Mar 2002
| Mobile robot programming using natural language
Stanislao Lauria
; Guido Bugmann
; Theocharis Kyriacou
; Ewan Klein
|
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-0101 Apr 2002
| Ant Colony Optimisation for Bin Packing and Cutting Stock Problems
Frederick Ducatelle
; John Levine
|
EDI-INF-RR-0109 Apr 2002
| Enterprise Modelling: A Declarative Approach for FBPML
Jessica Chen-Burger
; Austin Tate
; Dave Robertson
|
EDI-INF-RR-0115 Apr 2002
| I-P2 - Intelligent Process Panels to Support Coalition Operations
Austin Tate
; Jeffrey Dalton
; Justine Stader
|
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-0444 Apr 2002
| Enriching OCL using observational mu-calculus
Julian Bradfield
; Juliana Bowles
; Perdita Stevens
|
EDI-INF-RR-0500 Apr 2002
| Integrating Loop and Data Transformations for Global Optimisation
Michael O'Boyle
; Peter M.W. Knijnenberg
|
EDI-INF-RR-0767 Apr 2002
| Better Surface Intersections by Constrained Evolution
Craig Robertson
; Robert Fisher
|
EDI-INF-RR-1143 Apr 2002
| Reconstruction of planar surfaces behind occlusions in range images
Fabio Dell'Acqua
; Robert Fisher
|
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-0120 May 2002
| An Analysis of Contrastive Divergence Learning in Gaussian Boltzmann Machines
Chris Williams
; Felix Agakov
|
EDI-INF-RR-0125 May 2002
| A fuzzy-rough approach for generating classification rules
Qiang Shen
; Alexios Chouchoulas
|
EDI-INF-RR-0126 May 2002
| From Approximative to Descriptive Fuzzy Classifiers
Javier Marin-Blazquez
; 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-0140 May 2002
| A Tale of Two Filters - On line Novelty Detection
Paul Crook
; Stephen Marsland
; Gillian Hayes
; Ulrich Nehmzow
|
EDI-INF-RR-0505 May 2002
| An Extensible Clock Mechanism for Computer Architecture Simulations
F. Mallet
; S. Alam
; Roland Ibbett
|
EDI-INF-RR-0510 May 2002
| OneDSP: A Unifying DSP Architecture For Systems-On-A-Chip
K. Wong
; Nigel Topham
|
EDI-INF-RR-0697 May 2002
| Using omnidirectional vision within the spatial semantic hierarchy
Emanuele Menegatti
; Enrico Pagello
; Mark Wright
|
EDI-INF-RR-0724 May 2002
| On XML integrity constraints in the presence of DTDs
Wenfei Fan
; Leonid Libkin
|
EDI-INF-RR-1168 May 2002
| A comparison of quantum oracles
Elham Kashefi
; A Kent
; V Vedral
; K Banaszek
|
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-0134 Jun 2002
| Duality in Knowledge Sharing
Marco Schorlemmer
|
EDI-INF-RR-0135 Jun 2002
| Information-Flow-based Ontology Mapping
Yannis Kalfoglou
; Marco Schorlemmer
|
EDI-INF-RR-0136 Jun 2002
| Formal Knowledge Management in Distributed Environments
Marco Schorlemmer
; Stephen Potter
; Dave Robertson
; Derek Sleeman
|
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-0186 Jun 2002
| How can we exploit typical architectural structures to improve model recovery?
Petko Faber
; Robert Fisher
|
EDI-INF-RR-0187 Jun 2002
| Empirical Calibration Method for Adding Colour to Range Images
Craig Robertson
; Robert Fisher
|
EDI-INF-RR-0188 Jun 2002
| Edge-Constrained Marching Triangles
Neil McCormick
; Robert Fisher
|
EDI-INF-RR-0189 Jun 2002
| Improving Environment Modelling by Edge Occlusion Surface Completion
Umberto Castellani
; Salvatore Livatino
; Robert Fisher
|
EDI-INF-RR-0446 Jun 2002
| WWW visualisation of computer architecture simulations
Roland Ibbett
|
EDI-INF-RR-0447 Jun 2002
| Pipeline Occupancy Control for Power Adaptive Processors
Aristeidis Efthymiou
|
EDI-INF-RR-0499 Jun 2002
| Compile Time Barrier Synchronisation Minimisation
Michael O'Boyle
; Elena A. Stohr
|
EDI-INF-RR-0515 Jun 2002
| Hard- and Soft-Programmable, Multithreaded Micronet Architectures
D.K. Arvind
; S. Zhong
|
EDI-INF-RR-0596 Jun 2002
| Rate-Based Query Optimization for Streaming Information Sources
Stratis Viglas
; Jeffrey Naughton
|
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-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-0911 Jun 2002
| Routing Performance in the Presence of Unidirectional Links in Multihop Wireless Networks
Mahesh Marina
; Samir Das
|
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-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-1107 Jun 2002
| Designing and Evaluating an Adaptive Spoken Dialogue System.
Diane Litman
; Shimei Pan
|
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-0139 Jul 2002
| informatics
Michael Fourman
|
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-0145 Jul 2002
| P#: Using Prolog within the .NET Framework
Jonathan Cook
|
EDI-INF-RR-0274 Jul 2002
| Learning Information Extraction Rules: An Inductive Logic Programming approach
Stuart Aitken
|
EDI-INF-RR-0352 Jul 2002
| Sharing and Checking Organisation Knowledge
Jessica Chen-Burger
|
EDI-INF-RR-0548 Jul 2002
| Deciding DPDA equivalence is primitive recursive
Colin Stirling
|
EDI-INF-RR-0561 Jul 2002
| Architectural specifications in CASL
Michel Bidoit
; Donald Sannella
; Andrzej Tarlecki
|
EDI-INF-RR-0630 Jul 2002
| Extended Admissibility
Matthias Schroeder
|
EDI-INF-RR-0635 Jul 2002
| Pronominalization in Generated Discourse and Dialogue
Charles Callaway
; James Lester
|
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-0931 Jul 2002
| Comparing Functional Paradigms for Exact Real-number Computation
Alexander Simpson
; Andrej Bauer
; Martin Escardo
|
EDI-INF-RR-1173 Jul 2002
| Probabilistic Game Semantics
Vincent Danos
; R Harmer
|
EDI-INF-RR-1214 Jul 2002
| Enhanced Free Text Access to Anatomically-Indexed Data
Gail Sinclair
; Bonnie Webber
; Duncan Davidson
|
EDI-INF-RR-0144 Aug 2002
| Searching for Invariants using Temporal Resolution
James Brotherston
; Alexei Lisitsa
; Michael Fisher
; Anatoli Degtyarev
|
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-0147 Aug 2002
| Improving architectural 3D reconstruction by plane and edge constraining
Helmut Cantzler
; Robert Fisher
; M. Devy
|
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-0171 Aug 2002
| Merging Top Level Ontologies for Scientific Knowledge Management
John Kingston
|
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-0614 Aug 2002
| Taking care of the linguistic features of extraversion
Alastair Gill
; Jon Oberlander
|
EDI-INF-RR-0634 Aug 2002
| Keys for XML
Peter Buneman
; Susan Davidson
; Wenfei Fan
; Carmem Hara
; Wan-Chiew Tan
|
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-0793 Aug 2002
| Grids: The Top Ten Questions
Jennifer M. Schopf
; B Nitzberg
|
EDI-INF-RR-1010 Aug 2002
| Narrative Prose Generation
Charles Callaway
; James Lester
|
EDI-INF-RR-1194 Aug 2002
| Cross-Lingual Relevance Models
Victor Lavrenko
; M. Choquette
; W.B. Croft
|
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-0148 Sep 2002
| The Control of Dynamical Systems by Evolved Constraints: A New Perspective on Modelling Life
Timothy Taylor
|
EDI-INF-RR-0150 Sep 2002
| A Systematic Presentation of Quantified Modal Logics
Claudio Castellini
; Alan Smaill
|
EDI-INF-RR-0163 Sep 2002
| Learning to Forage Through Imitation
Yiannis Gatsoulis
; George Maistros
; Yuval Marom
; Gillian Hayes
|
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-0232 Sep 2002
| Behaviour Control Using a Functional and Emotional Model
Ignasi Cos-Aguilera
; Gillian Hayes
|
EDI-INF-RR-0438 Sep 2002
| On the interpretation of binary associations in the Unified Modelling Language
Perdita Stevens
|
EDI-INF-RR-0448 Sep 2002
| Adaptive Pipeline Depth Control for Processor Power-Management
Aristeidis Efthymiou
; J. D. Garside
|
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-0689 Sep 2002
| Dependability as Ordinary Action
Alexander Voss
; Roger Slack
; Robert Procter
; Robin Williams
; Mark Hartswood
; Mark Rouncefield
|
EDI-INF-RR-0151 Oct 2002
| Typing with Conditions and Guarantees in LFPL
Michal Konecny
|
EDI-INF-RR-0153 Oct 2002
| Proof Planning for Feature Interactions: a preliminary report
Claudio Castellini
; Alan Smaill
|
EDI-INF-RR-0154 Oct 2002
| Informal Semantics for the FBPML Data Language
Jessica Chen-Burger
|
EDI-INF-RR-0498 Oct 2002
| Iterative Compilation
Grigori Fursin
; Michael O'Boyle
; Peter W.M. Knijnenburg
|
EDI-INF-RR-0559 Oct 2002
| Prelogical relations
Furio Honsell
; Donald Sannella
|
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-0747 Oct 2002
| A constructive algebraic hierarchy in Coq
Herman Geuvers
; Robert Pollack
; Freek Wiedijk
; Jan Zwanenburg
|
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-1185 Oct 2002
| Second Language Vocabulary Acquisition and Learning Strategies in ICALL Environments
Thomas Segler
; Helen Pain
; Antonella Sorace
|
EDI-INF-RR-0156 Nov 2002
| Temporal Hidden Hopfield Models
Felix Agakov
; David Barber
|
EDI-INF-RR-0157 Nov 2002
| LFPL with Types for Deep Sharing
Michal Konecny
|
EDI-INF-RR-0164 Nov 2002
| Flexible Multi-Agent Protocols
Christopher Walton
; Dave Robertson
|
EDI-INF-RR-0165 Nov 2002
| Prototyping a Legal Decision Support System: A Case Study
John Kingston
; Lillian Edwards
; Jean Hall
|
EDI-INF-RR-0481 Nov 2002
| Product form solution for an insensitive stochastic process algebra structure
Graham Clark
; Jane Hillston
|
EDI-INF-RR-0629 Nov 2002
| Formalising Hinting in Tutorial Dialogues
Dimitra Tsovaltzi
; Colin Matheson
|
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-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-0169 Dec 2002
| Ontology, Knowledge Management, Knowledge Engineering and the ACM Classification Scheme
John Kingston
|
EDI-INF-RR-0455 Dec 2002
| Adaptive Pipeline Depth for Asynchronous Systems Using Collapsible Latch Controllers
Aristeidis Efthymiou
; J.D. Garside
|
EDI-INF-RR-0531 Dec 2002
| Micronet-based Cryptosystems
D.K. Arvind
; L. Dilparic
|
EDI-INF-RR-0532 Dec 2002
| The MAP+ Architecture - Soft solutions for Hard Problems
D.K. Arvind
; S. Zhong
|
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-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-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-0285 2002
| Subthalamic pallidal interactions are critical in determining normal and abnormal functioning of the basal ganglia
Andrew Gillies
; David Willshaw
|
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-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-0308 2002
| Probabilistic Learning Algorithms and Optimality Theory
Frank Keller
; Ash Asudeh
|
EDI-INF-RR-0331 2002
| Using Animation in Diagrammatic Theorem Proving
Daniel Winterstein
; Alan Bundy
; Corin Gurr
; Mateja Jamnik
|
EDI-INF-RR-0334 2002
| Quantitative Aspects of Requirements Evolution
Stuart Anderson
; Massimo Felici
|
EDI-INF-RR-0338 2002
| Predicting Zero Coefficients in Formal Power Series Computations
Kyriakos Kalorkoti
|
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-0381 2002
| On a Connection between Kernel PCA and Metric Multidimensional Scaling
Chris Williams
|
EDI-INF-RR-0391 2002
| Bayesian Image Super-resolution
Michael E. Tipping
; Christopher Bishop
|
EDI-INF-RR-0395 2002
| New neural circuits for robot phonotaxis
Barbara Webb
; Richard Reeve
|
EDI-INF-RR-0406 2002
| Parallel Evolutionary Registration of 3D Data
Craig Robertson
; Robert Fisher
|
EDI-INF-RR-0413 2002
| Premonoidal categories as categories with algebraic structure
John Power
|
EDI-INF-RR-0459 2002
| Seeing Reason: image and language in learning to think
Keith Stenning
|
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-0575 2002
| The sequentially realizable functionals
John Longley
|
EDI-INF-RR-0581 2002
| Notions of Computation Determine Monads
Gordon Plotkin
; John Power
|
EDI-INF-RR-0582 2002
| Three Inadequate Models
Gordon Plotkin
|
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-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-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-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-0710 2002
| Second Language Vocabulary Acquisition and Learning Strategies in ICALL Environments
Thomas Segler
; Helen Pain
; Antonella Sorace
|
EDI-INF-RR-0711 2002
| Informing the Detection of the Students' Motivational State: An Empirical Study.
Angel de Vicente
; Helen Pain
|
EDI-INF-RR-0712 2002
| Computer-Assisted Teaching of Translation Methods.
Chi-Chiang Shei
; Helen Pain
|
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-0746 2002
| Dependently typed records in type theory
Robert Pollack
|
EDI-INF-RR-0768 2002
| 1-D Parabolic Search Mutation
Craig Robertson
; Robert Fisher
|
EDI-INF-RR-0785 2002
| Music and Artificial Intelligence: Second International Conference, ICMAI 2002
Alan Smaill
; Christina Anagnostopoulou
; Miguel Ferrand
|
EDI-INF-RR-0790 2002
| Interactional Context in Graphical Communication
Pat Healey
; Simon Garrod
; Nick Fay
; John Lee
; Jon Oberlander
|
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-0813 2002
| Plans, Affordances, and Combinatory Grammar
Mark Steedman
|
EDI-INF-RR-0818 2002
| Generative Models for Statistical Parsing with Combinatory Grammars
Julia Hockenmaier
; Mark Steedman
|
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-1093 2002
| Probabilistic Tracking with Exemplars in a Metric Space
K Toyama
; Andrew Blake
|
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-1135 2002
| RQL: a declarative query language for RDF.
Gregory Karvounarakis
; Sofia Alexaki
; Vassilis Christophides
; Dimitris Plexousakis
; Michel Scholl
|
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-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-1276 2002
| Qualitative modeling and heterogeneous control of global system behavior
Benjamin Kuipers
; Subramanian Ramamoorthy
|
EDI-INF-RR-1311 2002
| A Critique of Proof Planning
Alan Bundy
|
EDI-INF-RR-0199 Jan 2003
| Fuzzy rrDFCSP and planning
Ian Miguel
; Qiang Shen
|
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-0310 Jan 2003
| Gradient Auxiliary Selection and Impersonal Passivization in German: An Experimental Investigation
Frank Keller
; Antonella Sorace
|
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-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-0524 Jan 2003
| Simulation of a Computer Architecture for Quantum Chromodynamics Calculations
Sadaf Alam
; Roland Ibbett
; Frederic Mallet
|
EDI-INF-RR-0539 Jan 2003
| Array Recovery and High Level Transformations for DSP Applications
Bjoern Franke
; Michael O'Boyle
|
EDI-INF-RR-0586 Jan 2003
| The Essence of XML
Jerome Simeon
; Philip Wadler
|
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-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-0158 Feb 2003
| The JAPE riddle generator: technical specification
Graeme Ritchie
|
EDI-INF-RR-0159 Feb 2003
| On the Number of Modes of a Gaussian Mixture
Miguel Carreira-Perpinan
; Chris Williams
|
EDI-INF-RR-0628 Feb 2003
| Speaking the Users' Languages
Amy Isard
; Jon Oberlander
; Ion Androutsopoulos
; Colin Matheson
|
EDI-INF-RR-0668 Feb 2003
| Constructing custom semantic representations from a generic lexicon
Myroslava Dzikovska
; Mary Swift
; James Allen
|
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-0161 Mar 2003
| Using Information-Flow Theory to Enable Semantic Interoperability
Marco Schorlemmer
; Yannis Kalfoglou
|
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-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-1124 Mar 2003
| Stochastic Language Modelling for Recognition and Generation in Dialogue Systems
Kallirroi Georgila
; Nikos Fakotakis
; George Kokkinakis
|
EDI-INF-RR-1199 Mar 2003
| Undecidable problems in unreliable computations
Richard Mayr
|
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-0445 Apr 2003
| Modelling recursive calls with UML state diagrams
Jennifer Tenzer
; Perdita Stevens
|
EDI-INF-RR-0511 Apr 2003
| High Performance IDCT Realization Using Complex Arithmetic
K-L Wong
; Nigel Topham
|
EDI-INF-RR-0570 Apr 2003
| Meaningful conversation with a mobile robot
Johan Bos
; Ewan Klein
; Tetsushi Oka
|
EDI-INF-RR-0601 Apr 2003
| Multi-Level Meta-Reasoning with Higher Order Abstract Syntax
Alberto Momigliano
; Simon Ambler
|
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-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-0166 May 2003
| Concept Mapping Between Compendium and IX
Jessica Chen-Burger
; Austin Tate
|
EDI-INF-RR-0167 May 2003
| Mapping Principles Between IX and Compendium
Jessica Chen-Burger
|
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-0257 May 2003
| Scaling Reinforcement Learning Paradigms for Motor Control
Sethu Vijayakumar
; Jan Peters
; Stefan Schaal
|
EDI-INF-RR-0450 May 2003
| Adaptive Pipeline Structures for Speculation Control
Aristeidis Efthymiou
; J. D Garside
|
EDI-INF-RR-0544 May 2003
| Array Recovery and High-Level Transformations for DSP Applications
Bjoern Franke
; Michael O'Boyle
|
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-0994 May 2003
| Towards an Odor Communication System
David Harel
; Liran Carmel
; Doron Lancet
|
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-0168 Jun 2003
| Comparing the succinctness of monadic query languages over finite trees
Martin Grohe
; Nicole Schweikardt
|
EDI-INF-RR-0177 Jun 2003
| Dynamic Ontology Refinement
Fiona McNeill
; Alan Bundy
; Marco Schorlemmer
|
EDI-INF-RR-0258 Jun 2003
| Choosing Your Knowledge Management Strategy
Knox Haggie
; John Kingston
|
EDI-INF-RR-0397 Jun 2003
| Toward Efficient and Robust Software Speculative Parallelization in Multiprocessors
Marcelo Cintra
; Diego R. Llanos
|
EDI-INF-RR-0402 Jun 2003
| Logics of Conversation
Nicholas Asher
; Alex Lascarides
|
EDI-INF-RR-0404 Jun 2003
| A Probabilistic Account of Logical Metonymy
Mirella Lapata
; Alex Lascarides
|
EDI-INF-RR-0533 Jun 2003
| Towards programmable In Vivo Computation
D.K. Arvind
; M. Blenkiron
|
EDI-INF-RR-0534 Jun 2003
| Limits on ILP in Micronet-based Architectures
D.K. Arvind
; C. Keepax
|
EDI-INF-RR-0673 Jun 2003
| Speech Recognition Using Asynchronous Transition HMM
Shigeki Matsuda
; Mitsuru Nakai
; Hiroshi Shimodaira
; Shigeki Sagayama
|
EDI-INF-RR-0700 Jun 2003
| 3D modeling is not for WIMPS
Silvia Scali
; Mark Wright
; Ann Marie Shillito
|
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-1065 Jun 2003
| Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues.
Anastasios Kementsietsidis
; Marcelo Arenas
; Renee Miller
|
EDI-INF-RR-1198 Jun 2003
| Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes
Richard Mayr
|
EDI-INF-RR-0295 Jul 2003
| Modelling the uncertainty in recovering articulation from acoustics.
Korin Richmond
; Simon King
; Paul Taylor
|
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-0483 Jul 2003
| IsaPlanner: A Prototype Proof Planner in Isabelle
Lucas Dixon
; Jacques Fleuriot
|
EDI-INF-RR-0525 Jul 2003
| JavaHASE: Automatic Generation of Applets from HASE Simulation Models
F. Mallet
; Roland Ibbett
|
EDI-INF-RR-0633 Jul 2003
| Integrating Discourse Markers into a Pipelined Natural Language Generation Architecture
Charles Callaway
|
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-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-1191 Jul 2003
| Automatic Image Annotation in Retrieval using Cross-Media Relevance Models
J Jeon
; Victor Lavrenko
; R Manmatha
|
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-0234 Aug 2003
| Learning Object Functionalities in the Context of Behaviour Selection
Ignasi Cos-Aguilera
; Lola Canamero
; Gillian Hayes
|
EDI-INF-RR-0789 Aug 2003
| Understanding Interactive Graphical Communication
Nick Fay
; Simon Garrod
; John Lee
; Jon Oberlander
|
EDI-INF-RR-0791 Aug 2003
| Using Regression Techniques to Predict Large Data Transfers
Sudharshan Vazhkudai
; Jennifer M. Schopf
|
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-0180 Sep 2003
| Could Active Perception Aid Navigation of Partially Observable Grid Worlds?
Paul Crook
; Gillian Hayes
|
EDI-INF-RR-0181 Sep 2003
| Active Perception in Navigation of Partially Observable Grid Worlds
Paul Crook
; Gillian Hayes
|
EDI-INF-RR-0183 Sep 2003
| Dialogue Protocols for Multi-Agent Systems
Christopher Walton
|
EDI-INF-RR-0311 Sep 2003
| Using the Web to Obtain Frequencies for Unseen Bigrams.
Frank Keller
; Mirella Lapata
|
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-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-0516 Sep 2003
| Scheduling for ILP in the `Processor-as-a-Network'
D.K. Arvind
; Sotelo Salazar
|
EDI-INF-RR-0584 Sep 2003
| Heap Bounded Assembly Language
David Aspinall
; Adriana Compagnoni
|
EDI-INF-RR-0587 Sep 2003
| Call-by-value is dual to call-by-name
Philip Wadler
|
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-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-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-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-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-0207 Oct 2003
| A Proposal for Interactive Program Generation
Daniel Winterstein
|
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-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-0600 Oct 2003
| Higher-Order Pattern Complement and the Strict Lambda-Calculus
Alberto Momigliano
; Frank Pfenning
|
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-0776 Oct 2003
| PEPA nets: a structured performance modelling formalism
Stephen Gilmore
; Jane Hillston
; Leila Kloul
; Marina Ribaudo
|
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-0904 Oct 2003
| Comparing Evolutionary Algorithms on Binary Constraint Satisfaction Problems
Bart Craenen
; Guszti Eiben
; Jano van Hemert
|
EDI-INF-RR-1058 Oct 2003
| O-Plan: a Common Lisp Planning Web Service
Austin Tate
; Jeffrey Dalton
|
EDI-INF-RR-0496 Nov 2003
| Towards General and Exact Distributed Invalidation
Michael O'Boyle
; Rupert W. Ford
; Elena A. Stohr
|
EDI-INF-RR-0502 Nov 2003
| Computer Architecture Simulation Applets for Use in Teaching
Roland Ibbett
; F. Mallet
|
EDI-INF-RR-0526 Nov 2003
| Performance Evaluation of Local Communications: A Case-study
S. R. Alam
; Roland Ibbett
; F. Mallet
|
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-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-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-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-0185 Dec 2003
| An isotropic Gaussian mixture can have more modes than components
Miguel Carreira-Perpinan
; Chris Williams
|
EDI-INF-RR-0208 Dec 2003
| On differences between the real and physical Plane: Analysis of the inside relation
Daniel Winterstein
|
EDI-INF-RR-0253 Dec 2003
| Plan Execution Failure Analysis Using Plan Deconstruction
Fiona McNeill
; Alan Bundy
; Christopher Walton
|
EDI-INF-RR-0407 Dec 2003
| SmartFrog meets LCFG - Autonomous Reconfiguration with Central Policy Control
Paul Anderson
; Patrick Goldsack
; Jim Paterson
|
EDI-INF-RR-0457 Dec 2003
| Anaphora and Discourse Structure
Bonnie Webber
; Matthew Stone
; Aravind Joshi
; Alistair Knott
|
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-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-1192 Dec 2003
| A Model for Learning the Semantics of Pictures
Victor Lavrenko
; R Manmatha
; J Jeon
|
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-0265 2003
| Spike timing dependent plasticity: common themes and divergent vistas
A Kepecs
; Mark Van Rossum
; S Song
; J Tegner
|
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-0299 2003
| Axiope tools for data management and data sharing
Nigel Goddard
; Robert Cannon
; Fred Howell
|
EDI-INF-RR-0330 2003
| Learning innate face preferences.
James Bednar
; Risto Miikkulainen
|
EDI-INF-RR-0351 2003
| Formal Support for Adaptive Workflow Systems in a Distributed Environment
Jessica Chen-Burger
; Justine Stader
|
EDI-INF-RR-0361 2003
| Image modelling with position-encoding dynamic trees
Amos Storkey
; Chris Williams
|
EDI-INF-RR-0364 2003
| Dynamic Structure Super-resolution.
Amos Storkey
|
EDI-INF-RR-0366 2003
| Task Achieving Agents on the World Wide Web
Austin Tate
; John Levine
; Jeffrey Dalton
; A Nixon
|
EDI-INF-RR-0383 2003
| Dynamic Trees for Image Modelling
N.J. Adams
; Chris Williams
|
EDI-INF-RR-0390 2003
| Bayesian Hierarchical Mixtures of Experts
Markus Svensen
; Christopher Bishop
|
EDI-INF-RR-0434 2003
| Reafferent or redundant: How should a robot cricket use an optomotor reflex?
Barbara Webb
; Richard Reeve
|
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-0556 2003
| Fixpoints, games and the difference hierarchy
Julian Bradfield
|
EDI-INF-RR-0578 2003
| Universal types and what they are good for
John Longley
|
EDI-INF-RR-0588 2003
| The Girard-Reynolds Isomorphism
Philip Wadler
|
EDI-INF-RR-0611 2003
| Towards a convenient category of topological domains
Alexander Simpson
|
EDI-INF-RR-0624 2003
| An equational notion of lifting monad
Anna Bucalo
; Carsten Fuhrmann
; Alexander Simpson
|
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-0627 2003
| Incremental Information State Updates in an Obligation-Driven Dialogue Model
Joern Kreutel
; Colin Matheson
|
EDI-INF-RR-0636 2003
| Path Queries on Compressed XML
Peter Buneman
; Martin Grohe
; Christoph Koch
|
EDI-INF-RR-0642 2003
| Inference of Message Sequence Charts
Rajeev Alur
; Kousha Etessami
; Mihalis Yannakakis
|
EDI-INF-RR-0649 2003
| Trusting the Record
Karen Clarke
; Mark Hartswood
; Robert Procter
; Mark Rouncefield
; Roger Slack
|
EDI-INF-RR-0676 2003
| Fitting Standard Software Packages to Non-Standard Organisations
N Pollock
; Robert Procter
; R Williams
|
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-0683 2003
| Models for topographic map formation.
David Willshaw
; D.J. Price
|
EDI-INF-RR-0699 2003
| Trusting The Record
K Clarke
; Mark Hartswood
; Robert Procter
; M Rouncefield
|
EDI-INF-RR-0707 2003
| A Shallow Model of Backchannel Continuers in Spoken Dialogue
N Cathcart
; Jean Carletta
; Ewan Klein
|
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-0731 2003
| Statistical phrase-based translation
Philipp Koehn
; Franz Josef Och
; Daniel Marcu
|
EDI-INF-RR-0733 2003
| Feature-Rich Statistical Translation of Noun Phrases
Philipp Koehn
; Kevin Knight
|
EDI-INF-RR-0750 2003
| Kernel-based nonlinear blind source separation
Stefan Harmeling
; Andreas Ziehe
; Motoaki Kawanabe
; Klaus-Robert Muller
|
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-0779 2003
| Colour Texture Fusion of Multiple Range Images
Alexander Agathos
; Robert Fisher
|
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-0824 2003
| Probabilistic Parsing for German using Sister-Head Dependencies
Amit Dubey
; Frank Keller
|
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-0902 2003
| Orientation dependent modulation of apparent speed: psychophysical evidence
Sebastien Georges
; Peggy Series
; Jean Lorenceau
|
EDI-INF-RR-0921 2003
| The silent surround of V1 receptive fields: theory and experiments
Peggy Series
; Jean Lorenceau
; Yves Fregnac
|
EDI-INF-RR-0924 2003
| Orientation dependent modulation of apparent speed: psychophysical evidence
Sebastien Georges
; Peggy Series
; Yves Fregnac
; Jean Lorenceau
|
EDI-INF-RR-0963 2003
| Recognizing Plan/Goal Abandonment
Christopher Geib
; Robert Goldman
|
EDI-INF-RR-0973 2003
| Context-Dependent Interpretation and Implicit Dialogue Acts
Joern Kreutel
; Colin Matheson
|
EDI-INF-RR-0986 2003
| The connectivity structure, giant strong component and centrality of metabolic networks
Hongwu Ma
; An-Ping Zeng
|
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-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-1017 2003
| Inducing History Representations for Broad Coverage Statistical Parsing
James Henderson
|
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-1094 2003
| Poisson image editing
P Perez
; M Gangnet
; Andrew Blake
|
EDI-INF-RR-1136 2003
| On labeling schemes for the semantic web.
Vassilis Christophides
; Dimitris Plexousakis
; Michel Scholl
; Sotirios Tourtounis
|
EDI-INF-RR-1137 2003
| E-services: a look behind the curtain.
Richard Hull
; Michael Benedikt
; Vassilis Christophides
; Jianwen Su
|
EDI-INF-RR-1139 2003
| Viewing the Semantic Web through RVL Lenses.
Aimilia Magkanaraki
; Val Tannen
; Vassilis Christophides
; Dimitris Plexousakis
|
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-1204 2003
| Learning OT Constraint Rankings Using a Maximum Entropy Model
Sharon Goldwater
; Mark Johnson
|
EDI-INF-RR-1277 2003
| Qualitative heterogeneous control of higher order systems
Subramanian Ramamoorthy
; Benjamin Kuipers
|
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-0191 Jan 2004
| Model Checking Agent Dialogues in SPIN
Christopher Walton
|
EDI-INF-RR-0194 Jan 2004
| Temporal Prepositions and their Logic
Ian Pratt-Hartmann
|
EDI-INF-RR-0197 Jan 2004
| Fuzzy rough attribute reduction with application to web categorization
Richard Jensen
; Qiang Shen
|
EDI-INF-RR-0370 Jan 2004
| Multi-Agent Dialogue Protocols
Christopher Walton
|
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-0192 Feb 2004
| Redrawing the Boundary between Organism and Environment
Timothy Taylor
|
EDI-INF-RR-0193 Feb 2004
| Niche Construction and the Evolution of Complexity
Timothy Taylor
|
EDI-INF-RR-0355 Feb 2004
| FCA in knowledge technologies: experiences and opportunities
Yannis Kalfoglou
; Srinandan Dasmahapatra
; Jessica Chen-Burger
|
EDI-INF-RR-0454 Feb 2004
| Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits
Aristeidis Efthymiou
; C. Sotiriou
; D. Edwards
|
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-0602 Feb 2004
| Induction and Co-induction in Sequent Calculus
Alberto Momigliano
; Alwen Tiu
|
EDI-INF-RR-0621 Feb 2004
| XML Information Set (Second Edition)
John Cowan
; Richard Tobin
|
EDI-INF-RR-0623 Feb 2004
| Namespaces in XML 1.1
Tim Bray
; Dave Hollander
; Andrew Layman
; Richard Tobin
|
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-0912 Feb 2004
| Impact of Caching and MAC Overheads on Routing Performance in Ad Hoc Networks
Mahesh Marina
; Samir Das
|
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-0195 Mar 2004
| Reinterpretation and viewpoints
Graeme Ritchie
|
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-0198 Mar 2004
| Selecting Informative Features with Fuzzy-Rough Sets and its Application for Complex Systems Monitoring
Qiang Shen
; Richard Jensen
|
EDI-INF-RR-0201 Mar 2004
| Fuzzy-Rough Data Reduction with Ant Colony Optimization
Richard Jensen
; 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-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-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-0235 Mar 2004
| Using a SOFM to learn Object Affordances
Ignasi Cos-Aguilera
; Lola Canamero
; Gillian Hayes
|
EDI-INF-RR-0369 Mar 2004
| Model Checking Multi-Agent Web Services
Christopher Walton
|
EDI-INF-RR-0420 Mar 2004
| Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming
Murray Cole
|
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-0580 Mar 2004
| Expression Coverability Analysis: Improving Code Coverage Analysis with Model Checking.
Graeme Cunningham
; Paul Jackson
; Julian Dines
|
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-0205 Apr 2004
| An Auxiliary Variational Method
Felix Agakov
; David Barber
|
EDI-INF-RR-0206 Apr 2004
| Variational Information Maximization in Gaussian Channels
Felix Agakov
; David Barber
|
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-0653 Apr 2004
| Towards a logical foundation for XML Schema
Henry Thompson
|
EDI-INF-RR-0709 04 2004
| Proof General Version 3.5
David Aspinall
; Christoph Lueth
|
EDI-INF-RR-1165 Apr 2004
| The Measurement Calculus
Vincent Danos
; Elham Kashefi
; Prakash Panandagen
|
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-0398 May 2004
| Speculative Parallelization of a Randomized Incremental Convex Hull Algorithm
Marcelo Cintra
; Diego R. Llanos
; Belen Palop
|
EDI-INF-RR-0209 Jun 2004
| Applying knowledge to reverse engineering problems
Robert Fisher
|
EDI-INF-RR-0210 Jun 2004
| Self-organisation of randomly placed sensors
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-0212 Jun 2004
| Hierarchical Selectivity for Object-based Visual Attention
Yaoru Sun
; Robert Fisher
|
EDI-INF-RR-0213 Jun 2004
| Object-Based Visual Attention for Computer Vision
Yaoru Sun
; Robert Fisher
|
EDI-INF-RR-0214 Jun 2004
| Mobile Robot Control based on Boolean Logic with Internal Memory
DaeEun Kim
; John Hallam
|
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-0216 Jun 2004
| Evolving Swimming Controllers for a Simulated Lamprey with Inspiration from Neurobiology
Auke Ijspeert
; John Hallam
; David Willshaw
|
EDI-INF-RR-0217 Jun 2004
| Imitation as a dual-route process featuring predictive and learning components
Yiannis Demiris
; Gillian Hayes
|
EDI-INF-RR-0219 Jun 2004
| Neural network approach to path integration for homing navigation
Kim DaeEun
; John Hallam
|
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-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-0293 Jun 2004
| Festival 2 - build your own general purpose unit selection speech synthesiser.
Rob Clark
; Korin Richmond
; Simon King
|
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-0456 Jun 2004
| Remedy for an asynchronous weakness: a fully-testable interconnect fabric
Aristeidis Efthymiou
; J. Bainbridge
; D. Edwards
|
EDI-INF-RR-0485 Jun 2004
| Markovian Decomposition of Range Images
Robert Fisher
; Andreas Pichler
|
EDI-INF-RR-0490 Jun 2004
| Adaptive Java Optimisation using Instance-based Learning
Shun Long
; Michael O'Boyle
|
EDI-INF-RR-0503 Jun 2004
| A Simulation Applet for Microcoding Exercises
Roland Ibbett
|
EDI-INF-RR-0725 Jun 2004
| Secure XML Querying with Security Views
Wenfei Fan
; MInos Garofalakis
; Chee Yong Chan
|
EDI-INF-RR-0927 Jun 2004
| Rapid fluctuations in rat barrel cortex plasticity
Irina Erchova
; Mathew Diamond
|
EDI-INF-RR-1042 Jun 2004
| Inducing Heuristics to Decide Whether to Schedule.
John Cavazos
; J. Eliot B. Moss
|
EDI-INF-RR-1106 Jun 2004
| Prosodic and Other Cues to Speech Recognition Failures
Julia Hirschberg
; Diane Litman
; Marc Swerts
|
EDI-INF-RR-1193 Jun 2004
| Multiple Bernoulli Relevance Models for Image and Video Annotation
S Feng
; R Manmatha
; Victor Lavrenko
|
EDI-INF-RR-0220 Jul 2004
| Reinforcement Learning for Humanoid Robots - Policy Gradients and Beyond
Sethu Vijayakumar
; Jan Peters
; Stefan Schaal
|
EDI-INF-RR-0229 Jul 2004
| Planning and Patching Proof
Alan Bundy
|
EDI-INF-RR-0230 Jul 2004
| Fusing Multiple Color Images for Texturing Models
Nobuyuki Bannai
; Alexander Agathos
; Robert Fisher
|
EDI-INF-RR-0251 Jul 2004
| Diagnosing and Repairing Ontological Mismatches
Fiona McNeill
; Alan Bundy
; Christopher Walton
|
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-0371 Jul 2004
| Automatic Generation of Classification Theorems for Finite Algebras
Simon Colton
; Andreas Meier
; Volker Sorge
; Roy McCasland
|
EDI-INF-RR-0377 Jul 2004
| The Bayesian Backfitting Relevance Vector Machine
Aaron D'Souza
; Sethu Vijayakumar
; Stefan Schaal
|
EDI-INF-RR-0386 Jul 2004
| Acquiring the meaning of discourse markers
Ben Hutchinson
|
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-0527 Jul 2004
| dsimcluster: A Simulation Model for Efficient Memory Analysis Experiments of DSM Clusters
W. Marurngsith
; Roland Ibbett
|
EDI-INF-RR-0528 Jul 2004
| A Methodology for Simulating Scientific Supercomputing Systems
S. Alam
; Roland Ibbett
|
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-0612 Jul 2004
| Evaluating Centering-Based Metrics of Coherence
Nikiforos Karamanis
; Massimo Poesio
; Chris Mellish
; Jon Oberlander
|
EDI-INF-RR-0729 Jul 2004
| Estimating future reward in reinforcement learning animats using associative learning
George Konidaris
; Gillian Hayes
|
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-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-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-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-1195 Jul 2004
| A Search Engine for Historical Manuscript Images
T. Rath
; R. Manamtha
; Victor Lavrenko
|
EDI-INF-RR-0228 Aug 2004
| CVML An XML-based Computer Vision Markup Language
Thor List
; Robert Fisher
|
EDI-INF-RR-0231 Aug 2004
| The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved
Sibylle Froeschle
|
EDI-INF-RR-0421 Aug 2004
| Why Structured Parallel Programming Matters
Murray Cole
|
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-1212 Aug 2004
| Classification from Full Text: A Comparison of Canonical Sections of Scientific Papers
Gail Sinclair
; Bonnie Webber
|
EDI-INF-RR-0399 Sep 2004
| Compiler Estimation of Load Imbalance Overhead in Speculative Parallelization
Jialin Dou
; Marcelo Cintra
|
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-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-0517 Sep 2004
| Speckled Computing: Disruptive Technology For Networked Information Appliances
D.K. Arvind
; K. J. Wong
|
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-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-0644 Sep 2004
| Spaces Allowing Type-2 Complexity Theory Revisited
Matthias Schroeder
|
EDI-INF-RR-0748 Sep 2004
| Reasoning about CBV functional programs in Isabelle/HOL
John Longley
; Robert Pollack
|
EDI-INF-RR-0758 Sep 2004
| A Dependent Type Theory with Names and Binding
Ulrich Schoepp
; Ian Stark
|
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-0807 Sep 2004
| Relational Link-Based Ranking
Floris Geerts
; Heikki Mannila
; Evimaria Terzi
|
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-0937 Sep 2004
| Routing in Mobile Ad Hoc Networks
Mahesh Marina
; Samir Das
|
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-1180 Sep 2004
| Modelling and querying biomolecular interaction networks
N Chabrier
; M Chiaverini
; Vincent Danos
; F Fages
; V Schachter
|
EDI-INF-RR-1312 Sep 2004
| The Paradox of the Case Study
Alan Bundy
|
EDI-INF-RR-0236 Oct 2004
| Environment Authentication through 3D Structural Analysis
Toby Breckon
; Robert Fisher
|
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-0645 Oct 2004
| XML Schema Part 1: Structures Second Edition
Henry Thompson
; David Beech
; Murray Maloney
; Noah Mendelsohn
|
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-1114 Oct 2004
| Hierarchy Theorems for Probalistic Polynominal Time
Lance Fortnow
; Rahul Santhanam
|
EDI-INF-RR-0240 Nov 2004
| Monte Carlo Sampling and Counting Solutions in Reduced Boolean Parity
Mark Collins
|
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-0401 Nov 2004
| Dynamic Reconfiguration for Grid Fabrics
Edmund Smith
; Paul Anderson
|
EDI-INF-RR-0452 Nov 2004
| Adding Testability to an Asynchronous Interconnect for GALS SoCs
Aristeidis Efthymiou
; J Bainbridge
; D. Edwards
|
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-0252 Dec 2004
| An Automatic Translator from KIF to PDDL
Fiona McNeill
; Alan Bundy
; Christopher Walton
|
EDI-INF-RR-0461 Dec 2004
| Uniform dimension of modules
Roy McCasland
; Patrick Smith
|
EDI-INF-RR-0529 Dec 2004
| IOmeter Performance Comparision of SBOD and MBOD
F. Chevalier
; Roland Ibbett
; T. Courtney
|
EDI-INF-RR-0557 Dec 2004
| On independence-friendly fixpoint logics
Julian Bradfield
|
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-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-0223 2004
| Bayesian Backfitting for High Dimensional Regression
Sethu Vijayakumar
; Aaron D'Souza
; Stefan Schaal
|
EDI-INF-RR-0269 2004
| Attacking Group Multicast Key Management Protocols Using CORAL
Graham Steel
; Alan Bundy
|
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-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-0279 2004
| Knowledge-based phylogenetic classification mining
I. Bichindaritz
; Stephen Potter
|
EDI-INF-RR-0282 2004
| Multi-agent Coordination as Distributed Logic Programming
Dave Robertson
|
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-0286 2004
| Models of the Subthalamic Nucleus. The importance of intranuclear connectivity
Andrew Gillies
; David Willshaw
|
EDI-INF-RR-0325 2004
| Neural mechanisms for prediction: do insects have forward models?
Barbara Webb
|
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-0340 2004
| Scaling self-organizing maps to model large cortical networks.
James Bednar
; Amol Kelkar
; Risto Miikkulainen
|
EDI-INF-RR-0342 2004
| How do we get the data to build computational models?
Fred Howell
; Robert Cannon
; Nigel Goddard
|
EDI-INF-RR-0346 2004
| Tools and databases for 3D neural reconstructions
Fred Howell
; Nicola McDonnel
; Peter Varany
; Laszlo Zaborsky
|
EDI-INF-RR-0348 2004
| An Experimental Comparison of Diagrammatic and Algebraic Logics
Daniel Winterstein
; Alan Bundy
; Corin Gurr
; Mateja Jamnik
|
EDI-INF-RR-0357 2004
| Hemispheric asymmetries in cognitive modelling: Connectionist modeling of unilateral visual neglect.
Padraic Monaghan
; Richard Shillcock
|
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-0363 2004
| Generalised Propagation for Fast Fourier Transforms with Partial or Missing Data
Amos Storkey
|
EDI-INF-RR-0412 2004
| Category theory for operational semantics
Marina Lenisa
; John Power
; Hiroshi Watanabe
|
EDI-INF-RR-0470 2004
| Verb Class Disambiguation Using Informative Priors
Mirella Lapata
; Chris Brew
|
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-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-0492 2004
| Higher Order Rippling in IsaPlanner
Lucas Dixon
; Jacques Fleuriot
|
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-0598 2004
| Semantic Domains for Combining Probability and Non-Determinism
Regina Tix
; Klaus Keimel
; Gordon Plotkin
|
EDI-INF-RR-0607 2004
| Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory
Alexander Simpson
|
EDI-INF-RR-0608 2004
| Sequent-calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
Alexander Simpson
|
EDI-INF-RR-0632 2004
| Archiving Scientific Data
Peter Buneman
; Sanjeev Khanna
; Keishi Tajima
; Wang-Chiew Tan
|
EDI-INF-RR-0643 2004
| The computational complexity of Evolutionarily Stable Strategies
Kousha Etessami
; Andreas Lochbihler
|
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-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-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-0701 2004
| Object Oriented Prompted Play: A pragmatic approach to interactive narrative
Daniel Roberts
; Mark Wright
|
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-0720 2004
| Statistical Machine Translation with Word- and Sentence-Aligned Parallel Corpora
Christopher Callison-Burch
; David Talbot
; Miles Osborne
|
EDI-INF-RR-0732 2004
| Pharaoh: a beam search decoder for phrase-based statistical machine translation models
Philipp Koehn
|
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-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-0781 2004
| Decomposition of Range Images Using Markov Random Fields
Andreas Pilcher
; Robert Fisher
; Markus Vincze
|
EDI-INF-RR-0820 2004
| Object Extraction and Question-Parsing using CCG
Stephen Clark
; Mark Steedman
; James Curran
|
EDI-INF-RR-0832 2004
| Elements of Finite Model Theory
Leonid Libkin
|
EDI-INF-RR-0835 2004
| A normal form for XML documents
Leonid Libkin
; Marcelo Arenas
|
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-0964 2004
| Assessing the Complexity of Plan Recognition
Christopher Geib
|
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-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-1016 2004
| Discriminative training of a neural network statistical parser
James Henderson
|
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-1025 2004
| Toponym Resolution in Text: "Which Sheffield is it?" [Doctoral Consortium]
Jochen Leidner
|
EDI-INF-RR-1052 2004
| XML Compression Project
James Cheney
|
EDI-INF-RR-1095 2004
| GrabCut - interactive foreground extraction using iterated graph cuts
Andrew Blake
|
EDI-INF-RR-1169 2004
| Formal Molecular Biology
Vincent Danos
; C Laneve
|
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-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-0585 Jan 2005
| Dependent Types
David Aspinall
; Martin Hoffman
|
EDI-INF-RR-0603 Jan 2005
| Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
Kousha Etessami
; Mihalis Yannakakis
|
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-0661 Jan 2005
| Speech and crosstalk detection in multi-channel audio
S. J. Wrigley
; G J Brown
; V Wan
; Steve Renals
|
EDI-INF-RR-0742 Jan 2005
| A logical framework with dependently typed records
Thierry Coquand
; Robert Pollack
; Makoto Takeyama
|
EDI-INF-RR-0770 Jan 2005
| A unified tool for performance modelling and prediction
Stephen Gilmore
; Kloul Leila
|
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-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-0976 Jan 2005
| On the abstraction of message-passing communications using algorithmic skeletons: A case study
Horacio Gonzalez-Velez
|
EDI-INF-RR-1047 Jan 2005
| Agrajag
Conrad Hughes
; Stuart Anderson
|
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-0488 Feb 2005
| Software Directed Issue Queue Power Reduction
Timothy M. Jones
; Michael O'Boyle
; Jaume Abella
; Antonio Gonzlez
|
EDI-INF-RR-0658 Feb 2005
| Automatic summarization of voicemail messages using lexical and prosodic features
Steve Renals
; Konstantinos Koumpis
|
EDI-INF-RR-1074 Feb 2005
| Software Directed Issue Queue Power Reduction
Timothy Jones
; Michael O'Boyle
; Jaume Abella
; Antonio Gonzlez
|
EDI-INF-RR-1257 Feb 2005
| Psychological validity of schematic proofs
Alan Bundy
; Mateja Jamnik
|
EDI-INF-RR-0266 Mar 2005
| Thesis Proposal: Tracking Close Proximity Encounters
Thor List
|
EDI-INF-RR-0271 Mar 2005
| Formalising concepts of species, sex and developmental stage in anatomical ontologies
Stuart Aitken
|
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-0425 Mar 2005
| Quantitative analysis of skeleton-structured applicative programs
Anne Benoit
; Murray Cole
; Stephen Gilmore
; Jane Hillston
|
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-0520 Mar 2005
| A Distributed Algorithm For Logical Location Estimation In Speckled Computing
R. McNally
; K. J. Wong
; D.K. Arvind
|
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-0618 Mar 2005
| A comparison of parsing technologies for the biomedical domain
Claire Grover
; Alex Lascarides
; Mirella Lapata
|
EDI-INF-RR-0619 Mar 2005
| Sequence Modelling for Sentence Classification in a Legal Summarisation System
Benjamin Hachey
; Claire Grover
|
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-0660 Mar 2005
| Speaker verification using sequence discriminant support vector machines
Steve Renals
; Vincent Wan
|
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-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-1038 Mar 2005
| Speeding disease gene discovery by sequence based candidate prioritization.
Euan Adie
; Richard Adams
; Kathy Evans
; David Porteous
|
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-0242 Apr 2005
| Geometry Explorer: Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs
Sean Wilson
; Jacques Fleuriot
|
EDI-INF-RR-0319 Apr 2005
| A Simpler Proof Theory for Nominal Logic
James Cheney
|
EDI-INF-RR-0320 Apr 2005
| Relating Nominal and Higher-Order Pattern Unification
James Cheney
|
EDI-INF-RR-0322 Apr 2005
| Equivariant Unification
James Cheney
|
EDI-INF-RR-0323 Apr 2005
| Avoiding Equivariant Unification
Christian Urban
; James Cheney
|
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-0535 Apr 2005
| Counting and Colouring in Specknets
D.K. Arvind
; A. Bates
|
EDI-INF-RR-0594 Apr 2005
| Query Execution and Optimization
Stratis Viglas
|
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-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-0756 Apr 2005
| Reducibility and TT-lifting for Computation Types
Samuel Lindley
; Ian Stark
|
EDI-INF-RR-0757 Apr 2005
| Free-Algebra Models for the Pi-Calculus
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-0356 May 2005
| A Semantic-based Workflow Choreography for Integrated Sensing and Processing
Jessica Chen-Burger
; Fang-Pang Lin
|
EDI-INF-RR-0426 May 2005
| Two fundamental concepts in skeletal parallel programming
Anne Benoit
; Murray Cole
|
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-0468 May 2005
| Approximately Counting Integral Flows and Cell-Bounded Contingency Tables
Mary Cryan
; Martin Dyer
; Dana Randall
|
EDI-INF-RR-0480 May 2005
| Tuning Systems: From Composition to Performance
Jane Hillston
|
EDI-INF-RR-0521 May 2005
| Speckled Computing
D.K. Arvind
|
EDI-INF-RR-0854 May 2005
| Web Proper Names: Naming Referents on the Web
Henry Thompson
; Harry Halpin
|
EDI-INF-RR-1048 May 2005
| Field Information Management System (FIMS)
Armand Bejtullahu
; Conrad Hughes
; Stuart Anderson
|
EDI-INF-RR-1118 May 2005
| Structural Properties of XPath Fragments
Michael Benedikt
; Wenfei Fan
; Gabi Kuper
|
EDI-INF-RR-0244 Jun 2005
| Planning from rich ontologies through translation betweeen representations
Fiona McNeill
; Alan Bundy
; Christopher Walton
|
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-0288 Jun 2005
| Non-parametric 3D Surface Completion
Toby Breckon
; Robert Fisher
|
EDI-INF-RR-0315 Jun 2005
| Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy
; David Basin
; Dieter Hutter
; Andrew Ireland
|
EDI-INF-RR-0321 Jun 2005
| An Empirical Evaluation of Simple DTD-Conscious Compression Techniques
James Cheney
|
EDI-INF-RR-0400 Jun 2005
| Design Space Exploration of a Software Speculative Parallelization Scheme
Marcelo Cintra
; Diego R. Llanos
|
EDI-INF-RR-0522 Jun 2005
| Specknet-based Responsive Environments
K.J. Wong
; D.K. Arvind
; N. Sharwood-Smith
; A. Smith
|
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-0620 Jun 2005
| Automatic Legal Text Summarisation: Experiments with Summary Structuring
Benjamin Hachey
; Claire Grover
|
EDI-INF-RR-0657 Jun 2005
| Implications for Generating Clarification Requests in Task-oriented Dialogues
Verena Rieser
; Johanna Moore
|
EDI-INF-RR-0721 Jun 2005
| Scaling Conditional Random Fields Using Error-Correcting Codes
Trevor Cohn
; Andrew Smith
; Miles Osborne
|
EDI-INF-RR-0722 Jun 2005
| Logarithmic Opinion Pools for Conditional Random Fields
Andrew Smith
; Trevor Cohn
; Miles Osborne
|
EDI-INF-RR-0726 6 2005
| XPath Satisfiability in the Presence of DTDs
Michael Benedikt
; Wenfei Fan
; Floris Geerts
|
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-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-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-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-0267 Jul 2005
| Deduction with XOR Constraints in Security API Modelling
Graham Steel
|
EDI-INF-RR-0289 Jul 2005
| What to do when lexicalization fails: Parsing German with suffix analysis and smoothing
Amit Dubey
|
EDI-INF-RR-0290 Jul 2005
| Proof Planning for First-Order Temporal Logic
Claudio Castellini
; Alan Smaill
|
EDI-INF-RR-0373 Jul 2005
| Modelling the similarity of discourse connectives
Ben Hutchinson
|
EDI-INF-RR-0374 Jul 2005
| Modelling the substitutability of discourse connectives
Ben Hutchinson
|
EDI-INF-RR-0378 Jul 2005
| 2D Shape Classification and Retrieval
Graham McNeill
; Sethu Vijayakumar
|
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-0385 Jul 2005
| Learning Discontinuities for Switching between Local Models
Marc Toussaint
; Sethu Vijayakumar
|
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-0523 Jul 2005
| Specknets: New Challenges For Wireless Communication Protocols
K. J. Wong
; D.K. Arvind
|
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-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-0782 Jul 2005
| An Intelligent and Task-independent Controller for Video Sequence Analysis
Jose Bins
; Thor List
; Robert Fisher
; David Tweed
|
EDI-INF-RR-0868 Jul 2005
| Musical Acts and Musical Agents
David Murray-Rust
; Alan Smaill
|
EDI-INF-RR-1111 Jul 2005
| The Lovasz number of random graphs.
Amin Coja-Oghlan
|
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-0292 Aug 2005
| Phonology impacts segmentation in speech processing
Luca Onnis
; Padraic Monaghan
; Korin Richmond
; Nick Chater
|
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-0573 Aug 2005
| Genic Interaction Extraction with Semantic and Syntactic Chains
Sebastian Riedel
; Ewan Klein
|
EDI-INF-RR-0579 Aug 2005
| Clause Form Conversions for Boolean Circuits
Paul Jackson
; Daniel Sheridan
|
EDI-INF-RR-0638 Aug 2005
| Computing with Sequences, Weak Topologies and the Axiom of Choice
Matthias Schroeder
; Vasco Brattka
|
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-0850 Aug 2005
| An adaptive skeletal task farm for grids
Horacio Gonzalez-Velez
|
EDI-INF-RR-0867 Aug 2005
| VirtuaLatin - towards a musical multi-agent system
David Murray-Rust
; Alan Smaill
; Manuel Contreras-Maya
|
EDI-INF-RR-0294 Sep 2005
| Informed blending of databases for emotional speech synthesis.
Gregor Hofer
; Korin Richmond
; Rob Clark
|
EDI-INF-RR-0317 Sep 2005
| Amodal Volume Completion: 3D visual completion
Toby Breckon
; Robert Fisher
|
EDI-INF-RR-0372 Sep 2005
| Plausible 3D Colour Surface Completion using Non-parametric Techniques
Toby Breckon
; Robert Fisher
|
EDI-INF-RR-0387 Sep 2005
| Scrap your Nameplate (Functional Pearl)
James Cheney
|
EDI-INF-RR-0428 Sep 2005
| Flexible Skeletal Programming with eSkel
Anne Benoit
; Murray Cole
; Stephen Gilmore
; Jane Hillston
|
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-0436 Sep 2005
| Integrating MPI-Skeletons with Web Services
Jan Duennweber
; Sergei Gorlatch
; Anne Benoit
; Murray Cole
|
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-0550 Sep 2005
| Higher-order matching and games
Colin Stirling
|
EDI-INF-RR-0604 Sep 2005
| Fluid Flow Approximation of PEPA models
Jane Hillston
|
EDI-INF-RR-0670 Sep 2005
| On-line Handwriting Recognition Based on Sub-stroke HMM
Mitsuru Nakai
; Shigeki Sagayama
; Hiroshi Shimodaira
|
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-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-0840 Sep 2005
| Towards a General Theory of Names, Binding and Scope
James Cheney
|
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-0980 Sep 2005
| Serial order and consonant-vowel structure in a graphemic output buffer model.
David Glasspool
; George Houghton
|
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-1125 Sep 2005
| Learning User Simulations for Information State Update Dialogue Systems
Kallirroi Georgila
; Oliver Lemon
; James Henderson
|
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-0394 Oct 2005
| The Nature of Mathematical Proof
Alan Bundy
; Michael Atiyah
; Angus Macintyre
; Donald Mackenzie
|
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-0783 Oct 2005
| Performance Evaluating the Evaluator
Thor List
; Jose Bins
; Jose Manuel Vazquez Diosdado
; Robert Fisher
|
EDI-INF-RR-0869 Oct 2005
| What is a proof?
Alan Bundy
; Mateja Jamnik
; Andrew Fugard
|
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-0313 Nov 2005
| Gradience in Linguistic Data
Antonella Sorace
; Frank Keller
|
EDI-INF-RR-0458 Nov 2005
| Automatic Tuning of Inlining Heuristics
John Cavazos
; 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-0493 Nov 2005
| Simulation of Crowd Problems for Computer Vision
Ernesto Andrade
; Robert Fisher
|
EDI-INF-RR-0655 Nov 2005
| Names, Namespaces, XML Languages and XML Definition Languages
Henry Thompson
|
EDI-INF-RR-0852 Nov 2005
| Processing XML 1.1 documents with XML Schema 1.0 processors
Henry Thompson
|
EDI-INF-RR-0853 Nov 2005
| Functional XML: A preliminary sketch
Henry Thompson
|
EDI-INF-RR-0989 Nov 2005
| Automatic Verification of Design Patterns in Java
Alexander Blewitt
; Alan Bundy
; Ian Stark
|
EDI-INF-RR-0375 Dec 2005
| Incremental Online Learning in High Dimensions
Sethu Vijayakumar
; Aaron D'Souza
; Stefan Schaal
|
EDI-INF-RR-0408 Dec 2005
| Configuration tools: working together
Paul Anderson
; Edmund Smith
|
EDI-INF-RR-0509 Dec 2005
| Optimisation Validation
David Aspinall
; Beringer Lennart
; Alberto Momigliano
|
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-0702 Dec 2005
| The NITE XML Toolkit: data model and query
Jean Carletta
; Stefan Evert
; Ulrich Heid
; Jonathan Kilgour
|
EDI-INF-RR-0845 Dec 2005
| Expectation-Oriented Modeling
Matthias Nickles
; Michael Rovatsos
; Gerhard Weiss
|
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-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-1210 Dec 2005
| Dynamical Synapses Give Rise to a Power-Law Distribution of Neuronal Avalanches
Michael Herrmann
; Anna Levina
|
EDI-INF-RR-0247 2005
| An Empirical Semantics Approach to Reasoning About Communication
Felix Fischer
; Michael Rovatsos
|
EDI-INF-RR-0272 2005
| COBrA: a bio-ontology editor
Stuart Aitken
; Roman Korf
; Bonnie Webber
; Jonathan Bard
|
EDI-INF-RR-0277 2005
| A semantic service environment: a case study in bioinformatics
Stephen Potter
; Stuart Aitken
|
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-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-0329 2005
| Computational Maps in the Visual Cortex
Risto Miikkulainen
; James Bednar
; Yoonsuck Choe
; Joseph Sirosh
|
EDI-INF-RR-0332 2005
| On a time enriched OCL liveness template
Juliana Bowles
; Stuart Anderson
|
EDI-INF-RR-0333 2005
| Guaranteeing temporal validity with a real-time logic of knowledge
Stuart Anderson
; Juliana Bowles
|
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-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-0359 2005
| The implications of foveal splitting for saccade planning in reading
S.A. McDonald
; Richard Shillcock
|
EDI-INF-RR-0360 2005
| Hemispheric division of labour in reading
Richard Shillcock
; S.A. McDonald
|
EDI-INF-RR-0367 2005
| Verifiable Agent Dialogues
Christopher Walton
|
EDI-INF-RR-0376 2005
| Learning Discontinuities with Product-of-Sigmoids for Switching between Local Models
Marc Toussaint
; Sethu Vijayakumar
|
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-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-0384 2005
| Constructing good learners using evolved pattern generators.
Vinod Valsalam
; James Bednar
; Risto Miikkulainen
|
EDI-INF-RR-0388 2005
| Membrane channel interactions underlying rat subthalamic projection neuron rhythmic and bursting activity
Andrew Gillies
; David Willshaw
|
EDI-INF-RR-0389 2005
| Variational Message Passing
John Winn
; Christopher Bishop
|
EDI-INF-RR-0411 2005
| Pseudo-commutative monads and pseudo-closed 2-categories
Martin Hyland
; John Power
|
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-0437 2005
| Asynchronous On-Chip Networks
M. Amde
; T. Felicijan
; Aristeidis Efthymiou
; D. Edwards
; L. Lavagno
|
EDI-INF-RR-0469 2005
| Web-based Models for Natural Language Processing
Mirella Lapata
; Frank Keller
|
EDI-INF-RR-0484 2005
| A Proof-Centric Approach to mathematical assistants
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-0555 2005
| The complexity of independence-friendly fixpoint logic
Julian Bradfield
; Stephan Kreutzer
|
EDI-INF-RR-0576 2005
| Notions of computability at higher types I
John Longley
|
EDI-INF-RR-0577 2005
| On the ubiquity of certain total type structures
John Longley
|
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-0641 2005
| Analysis of Recursive State Machines
Rajeev Alur
; Michael Benedikt
; Kousha Etessami
; Patrice Godefroid
; Thomas Reps
; Mihalis Yannakakis
|
EDI-INF-RR-0656 2005
| Recursive Markov Decison Processes and Recursive Stochastic Games
Kousha Etessami
; Mihalis Yannakakis
|
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-0681 2005
| The cingulate as a catalyst region for global dysfunction: a dynamical modelling paradigm.
D.M. Kronhaus
; David Willshaw
|
EDI-INF-RR-0682 2005
| Self-organisation in the nervous system.
David Willshaw
|
EDI-INF-RR-0684 2005
| Algorithmic Verification of Recursive Probabilistic State Machines.
Kousha Etessami
; Mihalis Yannakakis
|
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-0723 2005
| A Two-Stage Method for Active Learning of Statistical Grammars
Markus Becker
; Miles Osborne
|
EDI-INF-RR-0728 2005
| An Architecture for Behavior-Based Reinforcement Learning
George Konidaris
; Gillian Hayes
|
EDI-INF-RR-0734 2005
| Clause restructuring for statistical machine translation
Michael Collins
; Philipp Koehn
; Ivona Kucerova
|
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-0760 2005
| Mobile Resource Guarantees for Smart Devices
David Aspinall
; Stephen Gilmore
; Martin Hofmann
; Donald Sannella
; Ian Stark
|
EDI-INF-RR-0833 2005
| An information-theoretic approach to normal forms for relational and XML data.
Leonid Libkin
; Marcelo Arenas
|
EDI-INF-RR-0885 2005
| Transfinite extension of the mu-calculus
Julian Bradfield
; Jacques Duparc
; Sandra Quickert
|
EDI-INF-RR-0892 2005
| Interactive and Hierarchical Tracing of Techniques in IsaPlanner
Lucas Dixon
|
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-1014 2005
| Data-defined kernels for parse reranking derived from probabilistic models
James Henderson
; Ivan Titov
|
EDI-INF-RR-1081 2005
| Native Services for Grid Applications
Jan Duennweber
; Anne Benoit
; Murray Cole
; Sergei Gorlatch
|
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-1115 2005
| Hierarchies for Semantic Classes
Lance Fortnow
; Rahul Santhanam
; Luca Trevisan
|
EDI-INF-RR-1116 2005
| Holographic Proofs and Derandomization
Dieter van Melkebeek
; Rahul Santhanam
|
EDI-INF-RR-1150 2005
| Neural networks approach to clustering of activity in fMRI Data
M Voultsidou
; S Dodel
; Michael Herrmann
|
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-0268 Jan 2006
| Attacking Group Protocols by Refuting Incorrect Inductive Conjectures
Graham Steel
; Alan Bundy
|
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-0593 Jan 2006
| Conversational Querying
Yannis Ioannidis
; Stratis Viglas
|
EDI-INF-RR-0613 Jan 2006
| A Probabilistic Approach to Robust Shape Matching and Part Decomposition
Graham McNeill
; Sethu Vijayakumar
|
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-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-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-0887 Jan 2006
| Factorial Switching Kalman Filters for Condition Monitoring in Neonatal Intensive Care
Chris Williams
; John Quinn
; Neil McIntosh
|
EDI-INF-RR-0616 Feb 2006
| Rating e-mail personality at zero acquaintance
Alastair Gill
; Jon Oberlander
; Elizabeth Austin
|
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-0243 Mar 2006
| MONDRIAN: Annotating and querying databases through colors and blocks
Floris Geerts
; Anastasios Kementsietsidis
; Diego Milano
|
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-0826 Mar 2006
| Tradeoffs in XML Database Compression
James Cheney
|
EDI-INF-RR-0857 Mar 2006
| The Semantic Web and Knowledge Representation: An informal comparison
Henry Thompson
|
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-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-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-1050 Mar 2006
| Completeness and Herbrand theorems for nominal logic
James Cheney
|
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-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-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-1102 Mar 2006
| Branching and Pruning: An Optimal Temporal POCL Planner based on Constraint Programming
V Vidal
; Hector Geffner
|
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-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-1197 Mar 2006
| Model Checking Probabilistic Pushdown Automata
J. Esparza
; A. Kucera
; Richard Mayr
|
EDI-INF-RR-0787 Apr 2006
| Goodmans aesthetics and the languages of computing
John Lee
|
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-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-0806 Apr 2006
| Adaptive Abstraction for Model-Based Reinforcement Learning
Mykel Kochenderfer
|
EDI-INF-RR-0886 Apr 2006
| Compactly generated domain theory
Alexander Simpson
; Ingo Battenfeld
; Matthias Schroeder
|
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-0939 Apr 2006
| Impact of Network Subsystem on Reliable Transport Protocol Performance over Wireless Links
Zhiguo Xu
; Mahesh Marina
; Rajive Bagrodia
|
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-1170 Apr 2006
| Bisimulation and cocongruence for probabilistic systems
Vincent Danos
; J Desharnais
; F Laviolette
; P Panangaden
|
EDI-INF-RR-0589 May 2006
| Java Generics and Collections
Maurice Naftalin
; Philip Wadler
|
EDI-INF-RR-0740 May 2006
| System Configuration
Paul Anderson
|
EDI-INF-RR-0761 May 2006
| Mapping Fundamental Business Process Modelling Language to OWL-S
Gayathri Nadarajan
; Jessica Chen-Burger
|
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-0801 May 2006
| Rule-Based Chunking and Reusability
Claire Grover
; Richard Tobin
|
EDI-INF-RR-0825 May 2006
| The Helpful Environment: Geographically Dispersed Intelligent Agents That Collaborate
Austin Tate
|
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-0836 May 2006
| Representation as a Fluent: An AI Challenge for the Next Half Century
Alan Bundy
; Fiona McNeill
|
EDI-INF-RR-0837 May 2006
| On Repairing Reasoning Reversals via Representational Refinements
Alan Bundy
; Fiona McNeill
; Christopher Walton
|
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-0856 May 2006
| Efficient implementation of content models with numerical occurrence constraints
Henry Thompson
|
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-1045 May 2006
| SpeckMAC: Low-Power Decentralised MAC Protocols for low-data rate transmissions in Specknets
Steven Wong
; D.K. Arvind
|
EDI-INF-RR-0769 Jun 2006
| Provenance Management in Curated Databases
Peter Buneman
; Adriane Chapman
; James Cheney
|
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-0828 Jun 2006
| Part-based Probabilistic Point Matching using Equivalence Constraints
Graham McNeill
; Sethu Vijayakumar
|
EDI-INF-RR-0829 Jun 2006
| Bayesian multisensory perception
Timothy Hospedales
; Sethu Vijayakumar
|
EDI-INF-RR-0895 Jun 2006
| Detection of Emergency Events in Crowded Scenes
Ernesto Andrade
; Scott Blunsden
; Robert Fisher
|
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-0933 Jun 2006
| Qualitative Characterization of Deforming Surfaces
Timothy Lukins
; Robert Fisher
|
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-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-0715 Jul 2006
| Behaviour Coordination of Virtual Agent Navigation using Fuzzy Logic.
Jafreezal Jaafar
; Roderick McKenzie
|
EDI-INF-RR-0838 Jul 2006
| An Evaluation Dataset for the Toponym Resolution Task
Jochen Leidner
|
EDI-INF-RR-0839 Jul 2006
| Toponym Resolution: A First Large-Scale Comparative Evaluation
Jochen Leidner
|
EDI-INF-RR-0841 Jul 2006
| Constructing, Selecting and Repairing Representations of Knowledge
Alan Bundy
|
EDI-INF-RR-0875 Jul 2006
| How to cite curated databases and how to make them citable.
Peter Buneman
|
EDI-INF-RR-0932 Jul 2006
| A game-theoretic approach to deciding higher-order matching
Colin Stirling
|
EDI-INF-RR-0974 Jul 2006
| Individuality and Alignment in Generated Dialogues
Amy Isard
; Carsten Brockmann
; Jon Oberlander
|
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-1206 Jul 2006
| Designing Safe, Profitable Automated Stock Trading Agents Using Evolutionary Algorithms
Harish Subramanian
; Subramanian Ramamoorthy
; Peter Stone
; Benjamin Kuipers
|
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-0591 Aug 2006
| On Isolated Submodules
Roy McCasland
; Patrick F. Smith
|
EDI-INF-RR-0816 Aug 2006
| Categorial Grammar and the Semantics of Contextual Prepositional Phrases
Nissim Francez
; Mark Steedman
|
EDI-INF-RR-0822 Aug 2006
| Scene recovery from many randomly distributed single pixel cameras
Robert Fisher
|
EDI-INF-RR-0823 Aug 2006
| An Empirical Model for Saturation and Capacity in Classifier Space
Robert Fisher
|
EDI-INF-RR-0843 Aug 2006
| Namespaces in XML 1.0 (Second Edition)
Tim Bray
; Dave Hollander
; Andrew Layman
; Richard Tobin
|
EDI-INF-RR-0844 Aug 2006
| Namespaces in XML 1.1 (Second Edition)
Tim Bray
; Dave Hollander
; Andrew Layman
; Richard Tobin
|
EDI-INF-RR-0849 Aug 2006
| Best-First Rippling
Moa Johansson
; Alan Bundy
; Lucas Dixon
|
EDI-INF-RR-0861 Aug 2006
| Generating and evaluating evaluative arguments
Giuseppe Carenini
; Johanna Moore
|
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-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-1024 Aug 2006
| Improving Biomedical Text Categorisation with NLP
Michael Matthews
|
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-0842 Sep 2006
| Towards a Bell-Curve Calculus for e-Science
Lin Yang
; Alan Bundy
; Dave Berry
; Conrad Hughes
|
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-0863 Sep 2006
| Automatic Analysis of the Security of XOR-based Key Management Schemes
Veronique Cortier
; Gavin Keighren
; Graham Steel
|
EDI-INF-RR-0866 Sep 2006
| MAMA: An architecture for interactive musical agents
David Murray-Rust
; Alan Smaill
; Michael Edwards
|
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-0891 Sep 2006
| Performance Analysis of Event Detection Models in Crowded Scenes
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-0897 Sep 2006
| Hidden Markov Models for Optical Flow Analysis in Crowds
Ernesto Andrade
; Scott Blunsden
; Robert Fisher
|
EDI-INF-RR-0966 Sep 2006
| Self-adaptive skeletal task farm for computational grids
Horacio Gonzalez-Velez
|
EDI-INF-RR-1009 Sep 2006
| Observation process adaptation for linear dynamic models
Jolyon Frankel
; Simon King
|
EDI-INF-RR-1033 Sep 2006
| A model of antennal wall-following and escape in the cockroach
Timothy Chapman
; Barbara Webb
|
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-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-1293 Sep 2006
| Cluster-based User Simulations for Learning Dialogue Strategies.
Verena Rieser
; Oliver Lemon
|
EDI-INF-RR-0859 Oct 2006
| Explicit Accounting of Resources using Resource Managers
Patrick Maier
; David Aspinall
; Ian Stark
|
EDI-INF-RR-0862 Oct 2006
| Model Checking IBM's Common Cryptographic Architecture API
Gavin Keighren
|
EDI-INF-RR-0873 Oct 2006
| Mining housekeeping genes with a Naive Bayes classifier
Luna De Ferrari
; Stuart Aitken
|
EDI-INF-RR-0944 Oct 2006
| Automatic Construction and Verification of Isotopy Invariants
Volker Sorge
; Andreas Meier
; Roy McCasland
; Simon Colton
|
EDI-INF-RR-0950 Oct 2006
| Method-Specific Dynamic Compilation using Logistic Regression
John Cavazos
; Michael O'Boyle
|
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-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-1063 Oct 2006
| QoS Explorer: A Tool for Exploring QoS in Composed Services
Conrad Hughes
; Jamie Hillman
|
EDI-INF-RR-1109 Oct 2006
| A spectral heuristic for bisecting random graphs.
Amin Coja-Oghlan
|
EDI-INF-RR-0827 Nov 2006
| Formal Analysis of PIN Block Attacks
Graham Steel
|
EDI-INF-RR-0871 Nov 2006
| Computational Semantics in the Natural Language Toolkit
Ewan Klein
|
EDI-INF-RR-0898 Nov 2006
| Direct Geometric Texture Synthesis and Transfer on 3D Meshes
Toby Breckon
; Robert Fisher
|
EDI-INF-RR-0913 Nov 2006
| Ad Hoc On-demand Multipath Distance Vector Routing
Mahesh Marina
; Samir Das
|
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-1167 Nov 2006
| Determinism in the one-way model
Vincent Danos
; Elham Kashefi
|
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-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-0884 Dec 2006
| Semantic-Based Workflow Composition for Video Processing in the Grid
Gayathri Nadarajan
; Jessica Chen-Burger
; James Malone
|
EDI-INF-RR-0894 Dec 2006
| Turing Degrees and the Word and Conjugacy Problems for Finitely Presented Groups
Kyriakos Kalorkoti
|
EDI-INF-RR-0905 Dec 2006
| Evolving combinatorial problem instances that are difficult to solve
Jano van Hemert
|
EDI-INF-RR-0934 Dec 2006
| Probabilistic inference for solving (PO)MDP's
Marc Toussaint
; Stefan Harmeling
; Amos Storkey
|
EDI-INF-RR-0957 Dec 2006
| Semantic Grid Services for Video Analysis
Gayathri Nadarajan
; Jessica Chen-Burger
; James Malone
|
EDI-INF-RR-0965 Dec 2006
| Probabilistic goal recognition system and method incorporating inferred unobserved actions
Christopher Geib
; Robert Goldman
|
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-0968 Dec 2006
| Towards fully adaptive pipeline parallelism for heterogeneous distributed environments
Horacio Gonzalez-Velez
; Murray Cole
|
EDI-INF-RR-0984 Dec 2006
| Extractive Summarisation of Legal Texts
Benjamin Hachey
; Claire Grover
|
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-1008 Dec 2006
| HaploRec: Efficient and accurate large-scale reconstruction of haplotypes
Lauri Eronen
; Floris Geerts
; Hannu Toivonen
|
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-1037 Dec 2006
| Automatic Evaluation of Information Ordering: Kendall's Tau
Mirella Lapata
|
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-0249 2006
| Specifying the Intertwining of Cooperation and Autonomy in Agent-based Systems
Gerhard Weiss
; Matthias Nickles
; Michael Rovatsos
; Felix Fischer
|
EDI-INF-RR-0392 2006
| Pattern Recognition and Machine Learning
Christopher Bishop
|
EDI-INF-RR-0414 2006
| Generic models for computational effects
John Power
|
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-0479 2006
| Systematic scan for sampling colourings
Martin Dyer
; Leslie Ann Goldberg
; Mark Jerrum
|
EDI-INF-RR-0512 2006
| Challenges to Automatic Customization
Nigel Topham
|
EDI-INF-RR-0554 2006
| Independence: logics and concurrency
Julian Bradfield
|
EDI-INF-RR-0564 2006
| Ascertaining Mathematical Theorems
Roy McCasland
; Alan Bundy
; Patrick Smith
|
EDI-INF-RR-0583 2006
| Gaussian Processes for Machine Learning
Carl Rasmussen
; Chris Williams
|
EDI-INF-RR-0599 2006
| Combining Effects: Sum and Tensor
Martin Hyland
; Gordon Plotkin
; John Power
|
EDI-INF-RR-0631 2006
| MagiCster: Believable Agents and Dialogue
Colin Matheson
; Catherine Pelachaud
; Fiorella de Rosis
; Thomas Rist
|
EDI-INF-RR-0637 2006
| What the web has done for scientific data -- and what it hasn't
Peter Buneman
|
EDI-INF-RR-0640 2006
| Compactly Generated Domain Theory
Matthias Schroeder
; Ingo Battenfeld
; Alex Simpson
|
EDI-INF-RR-0669 2006
| Hosting Activities: Experience with and Future Directions for a Robot Agent Host
Candace Sidner
; Myroslava Dzikovska
|
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-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-0687 2006
| Time and Representational Devices in Rapid Application Development.
Roger Slack
; Douglas Tudhope
; Paul Benyan-Davies
; Hugh Mackay
|
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-0753 2006
| Reconnecting interpretation to reasoning through individual differences
Keith Stenning
; Richard Cox
|
EDI-INF-RR-0763 2006
| Colour Constrained 4D Flow
Timothy Lukins
; Robert Fisher
|
EDI-INF-RR-0786 2006
| Planning as Deductive Synthesis in Intuitionistic Linear Logic
Lucas Dixon
; Alan Smaill
; Alan Bundy
|
EDI-INF-RR-0815 2006
| Answer comparison in automated question answering
Tiphaine Dalmas
; Bonnie Webber
|
EDI-INF-RR-0831 2006
| A Very Mathematical Dilemma
Alan Bundy
|
EDI-INF-RR-0847 2006
| Extracting Motion Primitives from Natural Handwriting Data
Benjamin Williams
; Marc Toussaint
; Amos Storkey
|
EDI-INF-RR-0848 2006
| Probabilistic Inference for Solving Discrete and Continuous State Markov Decision Processes
Mark Toussaint
; Amos Storkey
|
EDI-INF-RR-0860 2006
| Multimodal sensory integration in insects - towards insect brain control architectures
Jan Wessnitzer
; Barbara Webb
|
EDI-INF-RR-0864 2006
| Learning More Effective Dialogue Strategies Using Limited Dialogue Move Features
Matthew Frampton
; Oliver Lemon
|
EDI-INF-RR-0865 2006
| Using Machine Learning to Explore Human Multimodal Clarification Strategies
Verena Rieser
; Oliver Lemon
|
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-0882 2006
| Learning Utility Surfaces for Movement Selection,
Matthew Howard
; Michael Gienger
; Christian Goerick
; Sethu Vijayakumar
|
EDI-INF-RR-0883 2006
| Kernel Carpentry for Online Regression using Randomly Varying Coefficient Model
Narayanan Edakkunni
; Stefan Schaal
; Sethu Vijayakumar
|
EDI-INF-RR-0889 2006
| Excitability changes that complement Hebbian learning
Maya Janowitz
; Mark Van Rossum
|
EDI-INF-RR-0890 2006
| The optimal synapse for sparse, binary signals in the rod pathway
Paul Clark
; Mark Van Rossum
|
EDI-INF-RR-0899 2006
| Learning More Effective Dialogue Strategies Using Limited Dialogue Move Features
Matthew Frampton
; Oliver Lemon
|
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-0979 2006
| A canonical agent model for healthcare applications.
John Fox
; David Glasspool
; Sanjay Modgil
|
EDI-INF-RR-1066 2006
| Using Partial Evaluation in Distributed Query Evaluation
Peter Buneman
; Gao Cong
; Wenfei Fan
; Anastasios Kementsietsidis
|
EDI-INF-RR-1098 2006
| A trajectory mixture density network for the acoustic-articulatory inversion mapping.
Korin Richmond
|
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-1104 2006
| Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
H Palacios
; Hector Geffner
|
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-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-1151 2006
| Optimal mass distribution for passivity-based bipedal robots
J Hass
; Michael Herrmann
; T Geisel
|
EDI-INF-RR-1202 2006
| Contextual Dependencies in Unsupervised Word Segmentation
Sharon Goldwater
; T.L. Griffiths
; 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-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-1208 2006
| On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams
Jennifer Tenzer
; Perdita Stevens
|
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-0879 Jan 2007
| Structure Inference for Bayesian Multisensory Perception and Tracking
Timothy Hospedales
; Joel Cartwright
; Sethu Vijayakumar
|
EDI-INF-RR-0930 Jan 2007
| Automatic meeting segmentation using dynamic Bayesian networks
Alfred Dielmann
; Steve Renals
|
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-0954 Jan 2007
| Cooperating Reasoning Processes: More than Just the Sum of their Parts
Alan Bundy
|
EDI-INF-RR-0962 Jan 2007
| On Natural Language Processing and Plan Recognition
Christopher Geib
; Mark Steedman
|
EDI-INF-RR-1005 Jan 2007
| Speech recognition using linear dynamic models
Jolyon Frankel
; Simon King
|
EDI-INF-RR-1034 Jan 2007
| Dynamic Verification of Trust in Distributed Open Systems
Nardine Osman
; Dave Robertson
|
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-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-0947 Feb 2007
| Resonant neurons and bushcricket behaviour
Barbara Webb
; Jan Wessnitzer
; Sarah Bush
; Johannes Schul
; Jonas Buchli
; Auke Ijspeert
|
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-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-1027 Feb 2007
| Average-Voice-based Speech Synthesis using HSMM-based Speaker Adaptation and Adaptive Training
Junichi Yamagishi
; Takao Kobayashi
|
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-1079 Feb 2007
| Reactive Grid Scheduling of DAG applications
Israel Hernandez
; Murray Cole
|
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-0969 Mar 2007
| Adaptive structured parallelism for computational grids
Horacio Gonzalez-Velez
; Murray Cole
|
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-1077 Mar 2007
| A structural approach for modelling performance of workflow systems
Gagarine Yaikhom
; Murray Cole
; Stephen Gilmore
; Jane Hillston
|
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-0949 Apr 2007
| Conditional Functional Dependencies for Data Cleaning
Wenfei Fan
; Philip Bohannon
; Floris Geerts
; Xibei Jia
; Anastasios Kementsiets
|
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-0983 Apr 2007
| Context Estimation and Learning Control through Latent Variable Extraction: From discrete to continuous contexts
Georgios Petkos
; Sethu Vijayakumar
|
EDI-INF-RR-1053 Apr 2007
| A convenient category of domains
Ingo Battenfeld
; Matthias Schroeder
; Alexander Simpson
|
EDI-INF-RR-1219 Apr 2007
| Developing complex systems using evolved pattern generators
James Bednar
; R. Miikkulainen
; V. Valsalam
|
EDI-INF-RR-1273 Apr 2007
| Multiple Color Texture Map Fusion for 3D Models
Nobuyuki Bannai
; Robert Fisher
; Alexander Agathos
|
EDI-INF-RR-0694 May 2007
| A Compact Linear Translation for Bounded Model Checking
Paul Jackson
; Daniel Sheridan
|
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-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-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-1060 May 2007
| Evaluation of Multihop Relaying for Robust Vehicular Internet Access
Yi Yang
; Mahesh Marina
; Rajive Bagrodia
|
EDI-INF-RR-1071 May 2007
| Synthetic Trace-Driven Simulation of Cache Memory
Rahman Hassan
; Antony Harris
; Nigel Topham
; Aristeidis Efthymiou
|
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-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-1259 May 2007
| Consistent exploration improves convergence of reinforcement learning on POMDPs
Paul Crook
; Gillian Hayes
|
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-0972 Jun 2007
| Parallel stochastic simulation of macroscopic calcium currents
Virginia Gonzalez-Velez
; Horacio Gonzalez-Velez
|
EDI-INF-RR-0981 Jun 2007
| Linear and Nonlinear Generative Probabilistic Class Models for Shape Contours
Graham McNeill
; Sethu Vijayakumar
|
EDI-INF-RR-1013 Jun 2007
| Incremental Bayesian Networks for Structure Prediction
Ivan Titov
; James Henderson
|
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-1059 Jun 2007
| The Extraction of Enriched Protein-Protein Interactions from Biomedical Text
Barry Haddow
; Michael Matthews
|
EDI-INF-RR-1061 Jun 2007
| Recognising Nested Named Entities in Biomedical Text
Beatrice Alex
; Barry Haddow
; Claire Grover
|
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-1144 Jun 2007
| Non-linear dimensionality reduction of signaling networks
Sergii Ivakhno
; Douglas Armstrong
|
EDI-INF-RR-1166 Jun 2007
| Statistical Zero Knowledge and quantum one-way functions
Elham Kashefi
; I Kerenidis
|
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-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-1215 Jun 2007
| Marking Time in Developmental Biology: A corpus annotated for developmental entities and stages.
Gail Sinclair
; Bonnie Webber
|
EDI-INF-RR-1221 Jun 2007
| Factored Translation Models
Philipp Koehn
; Hieu Hoang
|
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-0995 Jul 2007
| Resource Monitoring in Information Extraction
Jochen Leidner
|
EDI-INF-RR-1004 Jul 2007
| A Formal Theory of Key Conjuring
Veronique Cortier
; Stephanie Delaune
; Graham Steel
|
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-1054 Jul 2007
| Relational parametricity for computational effects
Rasmus Mogelberg
; Alexander Simpson
|
EDI-INF-RR-1090 Jul 2007
| Mechanized Metatheory Model-Checking
James Cheney
; Alberto Momigliano
|
EDI-INF-RR-1097 Jul 2007
| Automated discovery of inductive theorems.
Roy McCasland
; Alan Bundy
; Serge Autexier
|
EDI-INF-RR-1110 Jul 2007
| Coloring semi-random graphs.
Amin Coja-Oghlan
|
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-1225 Jul 2007
| Where's My Stuff? An Ontology Repair Plan
Alan Bundy
|
EDI-INF-RR-0717 Aug 2007
| A Reactive Architecture for Autonomous Agent Navigation using Fuzzy Logic.
Jafreezal Jaafar
; Roderick McKenzie
|
EDI-INF-RR-1120 Aug 2007
| A Modular Approach for Automating Video Analysis
Gayathri Nadarajan
; Arnaud Renouf
|
EDI-INF-RR-1138 Aug 2007
| Local Perspectives on Action
Michael Fourman
|
EDI-INF-RR-1186 Aug 2007
| A Distributed, Leaderless Algorithm for Logical Location Discovery in Specknets
D.K. Arvind
; Ryan McNally
|
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-1049 Sep 2007
| CRISP
Mark Hartswood
; Conrad Hughes
; Stuart Anderson
|
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-1121 Sep 2007
| Java Memory Model Examples: Good, Bad and Ugly
David Aspinall
; Jaroslav Sevcik
|
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-1171 Sep 2007
| Rule-based modelling of cellular signalling
Vincent Danos
; J Feret
; W Fontana
; R Harmer
; J Krivine
|
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-1274 Sep 2007
| Incremental One-Class Learning with Bounded Computational Complexity
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-0903 Oct 2007
| Simulating Competitive Interactions Using Singly Captured Motions
Taku Komura
; H.P.H. Shum
; S. Yamazaki
|
EDI-INF-RR-1039 Oct 2007
| Articulatory feature recognition using dynamic Bayesian networks
Jolyon Frankel
; Simon King
; Mirjam Wester
|
EDI-INF-RR-1164 Oct 2007
| On the Complexity of Nash Equilibria and Other Fixed Points
Kousha Etessami
; Mihalis Yannakakis
|
EDI-INF-RR-1172 Oct 2007
| Categorical Perspectives
Michael Fourman
|
EDI-INF-RR-1179 Oct 2007
| Dynamical synapses causing self-organized criticality in neural networks
A Levina
; Michael Herrmann
; T Geisel
|
EDI-INF-RR-1209 Oct 2007
| Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Perdita Stevens
|
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-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-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-1241 Nov 2007
| Effects of fixational eye movements on retinal ganglion cell responses: a modelling study
Matthias Hennig
; Florentin Wrgtter
|
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-1040 Dec 2007
| Factoring Gaussian Precision Matrices for Linear Dynamic Models
Jolyon Frankel
; Simon King
|
EDI-INF-RR-1133 Dec 2007
| Improving Evolutionary Algorithms with Scouting
Konstantinos Bousmalis
; Gillian Hayes
; Jeffrey Pfaffmann
|
EDI-INF-RR-1153 Dec 2007
| Logics for Action
Michael Fourman
|
EDI-INF-RR-1220 Dec 2007
| PropPlan
Michael Fourman
|
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-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-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-1242 Dec 2007
| Microarchitectural Design Space Exploration Using An Architecture-Centric Approach
Christophe Dubach
; Timothy Jones
; Michael O'Boyle
|
EDI-INF-RR-0563 2007
| Foundations of Algebraic Specifications and Formal Software Development
Donald Sannella
; Andrzej Tarlecki
|
EDI-INF-RR-0877 2007
| A Compiler Cost Model for Speculative Parallelization
Jialin Dou
; Marcelo Cintra
|
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-0955 2007
| Structure Preserving Semantic Matching
Fausto Giunchiglia
; Mikalai Yatskevich
; Fiona McNeill
|
EDI-INF-RR-0958 2007
| Formalising Java's Data-Race-Free Guarantee
David Aspinall
; Jaroslav Sevcik
|
EDI-INF-RR-0960 2007
| Exploring model selection techniques for nonlinear dimensionality reduction
Stefan Harmeling
|
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-0990 2007
| Using Lexicalized Grammars and Headedness for Approximate Plan Recognition
Christopher Geib
|
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-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-1020 2007
| Randomised Language Modelling for Statistical Machine Translation
David Talbot
; Miles Osborne
|
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-1055 2007
| I-X software
Jeffrey Dalton
|
EDI-INF-RR-1085 2007
| Robustness of VOR and OKR adaptation under kinematics and dynamics transformations
Adrian Haith
; Sethu Vijayakumar
|
EDI-INF-RR-1113 2007
| Circuit Lower Bounds for Merlin-Arthur Classes
Rahul Santhanam
|
EDI-INF-RR-1130 2007
| Expressiveness and Complexity of XML Publishing Transducers
Wenfei Fan
; Floris Geerts
; Frank Neven
|
EDI-INF-RR-1131 2007
| Load estimation and control using learned dynamics models
Georgios Petkos
; Sethu Vijayakumar
|
EDI-INF-RR-1141 2007
| Evolving a Neural Model of Insect Path Integration
Thomas Haferlach
; Jan Wessnitzer
; Michael Mangan
; Barbara Webb
|
EDI-INF-RR-1146 2007
| Qualitative Hybrid Control of Dynamic Bipedal Walking
Subramanian Ramamoorthy
; Benjamin Kuipers
|
EDI-INF-RR-1147 2007
| Low-discrepancy curves and efficient coverage of space
Subramanian Ramamoorthy
; Ram Rajagopal
; Qing Ruan
; Lothar Wenzel
|
EDI-INF-RR-1149 2007
| Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution
Fiona McNeill
; Alan Bundy
|
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-1155 2007
| Dynamic Semantics for Agent Communication Languages
Michael Rovatsos
|
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-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-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-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-1189 2007
| Bayesian Estimators for Robins-Ritov's Problem
Stefan Harmeling
; Marc Toussaint
|
EDI-INF-RR-1200 2007
| Reconstructing Null-space Policies Subject to Dynamic Task Constraints in Redundant Manipulators
Matthew Howard
; Sethu Vijayakumar
|
EDI-INF-RR-1201 2007
| A Fully Bayesian Approach to Unsupervised Part-of-Speech Tagging
Sharon Goldwater
; T.L. Griffiths
|
EDI-INF-RR-1207 2007
| Free-Algebra Models for the Pi-Calculus
Ian Stark
|
EDI-INF-RR-1217 2007
| Sorting Hierarchical Data in External Memory
Ioannis Koltsidas
; Heiko Mueller
; Stratis Viglas
|
EDI-INF-RR-1218 2007
| The Case for Holistic Query Evaluation
Konstantinos Krikellas
; Marcelo Cintra
; Stratis Viglas
|
EDI-INF-RR-1224 2007
| Recursive Stochastic Games with Positive Rewards
Kousha Etessami
; Dominik Wojtczak
; Mihalis Yannakakis
|
EDI-INF-RR-1229 2007
| Inferring Textual Entailment with a Probabilistically Sound Calculus
Stefan Harmeling
|
EDI-INF-RR-1230 2007
| An Extensible Probabilistic Transformation-based Approach to the Third Recognizing Textual Entailment Challenge.
Stefan Harmeling
|
EDI-INF-RR-1245 2007
| Computational Thinking is Pervasive
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-1247 2007
| Automatic synthesis of decision procedures
Predrag Janicic
; Alan Bundy
|
EDI-INF-RR-1302 2007
| IsaPlanner 2: A Proof Planner in Isabelle
Lucas Dixon
; Moa Johansson
|
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-1234 Feb 2008
| OBO Explorer: an editor for open biomedical ontologies in OWL
Stuart Aitken
; Yin Chen
; Jonathan Bard
|
EDI-INF-RR-1238 Feb 2008
| An OS-Based Alternative to Full Hardware Coherence on Tiled CMPs
Chris Fensch
; Marcelo Cintra
|
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-1239 Mar 2008
| An efficient regularity concept for sparse graphs and matrices
Amin Coja-Oghlan
; Colin Cooper
; Alan Frieze
|
EDI-INF-RR-1240 Mar 2008
| Partitioning random graphs with general degree distributions
Amin Coja-Oghlan
; Andre Lanka
|
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-1275 Mar 2008
| Simulating Interactions of Avatars in High Dimensional State Space
Pak Ho Shum
; Taku Komura
; Masashi Shiraishi
; Shuntaro Yamazaki
|
EDI-INF-RR-1305 Mar 2008
| Fast Source-Level Data Assignment to Dual Memory Banks
Alastair Murray
; Bjoern Franke
|
EDI-INF-RR-1251 Apr 2008
| HYPE: hybrid systems modelled with flows
Vashti Galpin
; Luca Bortolussi
; Jane Hillston
|
EDI-INF-RR-1252 Apr 2008
| The Sun Hotspot JVM does not conform with the Java Memory Model
Jaroslav Sevcik
|
EDI-INF-RR-1266 Apr 2008
| A neurocomputational model for optimal temporal processing
Joachim Hass
; Stefan Blaschke
; Thomas Rammsayer
; Michael Herrmann
|
EDI-INF-RR-1297 Apr 2008
| A Library for Locally Weighted Projection Regression
Stefan Klanke
; Sethu Vijayakumar
; Stefan Schaal
|
EDI-INF-RR-1236 May 2008
| Orchestraing Data-Centric Workflows
Adam Barker
; Jon Weissman
; Jano van Hemert
|
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-1254 May 2008
| A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments
Roderick McKenzie
; Jafreezal Jaafar
|
EDI-INF-RR-1235 Jun 2008
| Improving Evolutionary Algorithms with Scouting: High-Dimensional Problems
Konstantinos Bousmalis
; Jeffrey Pfaffmann
; Gillian Hayes
|
EDI-INF-RR-1250 Jun 2008
| Eliminating The Middleman: Peer-to-Peer Dataflow
Adam Barker
; Jon Weissman
; Jano van Hemert
|
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-1258 Jun 2008
| The Arrow Calculus
Samuel Lindley
; Philip Wadler
; Jeremy Yallop
|
EDI-INF-RR-1261 Jun 2008
| Recurrent Reachability Analysis in Regular Model Checking
Anthony Lin
; Leonid Libkin
|
EDI-INF-RR-1262 Jun 2008
| Many holes in Hindley-Milner
Samuel Lindley
|
EDI-INF-RR-1263 Jun 2008
| An idiom's guide to formlets
Ezra Cooper
; Samuel Lindley
; Philip Wadler
; Jeremy Yallop
|
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-1279 Jun 2008
| Trajectory generation for dynamic bipedal walking through qualitative model based manifold learning
Subramanian Ramamoorthy
; Benjamin Kuipers
|
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-1304 Jun 2008
| Resource Sharing in Custom Instruction Set Extensions
Gloria Marcela Zuluaga Agudelo
; Nigel Topham
|
EDI-INF-RR-1264 Jul 2008
| Towards Ontology Evolution in Physics
Alan Bundy
; Michael Chan
|
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-1271 Jul 2008
| Automating Signature Evolution in Logical Theories
Alan Bundy
|
EDI-INF-RR-1278 Jul 2008
| Efficient, incremental coverage of space with a continuous curve
Subramanian Ramamoorthy
; Ram Rajagopal
; Lothar Wenzel
|
EDI-INF-RR-1281 Jul 2008
| Generalised associated primes and radicals of submodules
Roy McCasland
; Patrick Smith
|
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-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-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-1283 Aug 2008
| Definition of the Lingay programming language (Version 0.2)
John Longley
|
EDI-INF-RR-1285 Sep 2008
| Semi-supervised Learning for Anomalous Trajectory Detection
Rowland Sillito
; Robert Fisher
|
EDI-INF-RR-1290 Sep 2008
| Tegola Tiered Mesh Network Testbed in Rural Scotland
Giacomo Bernardi
; Peter Buneman
; Mahesh Marina
|
EDI-INF-RR-1269 Oct 2008
| Compositional Definitions of Minimal Flows in Petri Nets
Michael Pedersen
|
EDI-INF-RR-1270 Oct 2008
| A Language for Biochemical Systems
Michael Pedersen
; Gordon Plotkin
|
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-1310 Oct 2008
| Does SAT Exhibit Fractal Behavior?
Grant Passmore
; Joost Joosten
|
EDI-INF-RR-1314 Nov 2008
| Inconstancy: An Ontology Repair Plan for Adding Hidden Variables
Michael Chan
; Alan Bundy
|
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-1306 Dec 2008
| Unary finite automata vs. arithmetic progressions
Anthony Lin
|
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-1313 Dec 2008
| Ontology Evolution in Physics (Thesis Proposal)
Michael Chan
|
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-1231 2008
| Bio-PEPA: a framework for the modelling and analysis of biological systems
Federica Ciocchetta
; Jane Hillston
|
EDI-INF-RR-1232 2008
| An Adaptive Parallel Pipeline Pattern for Grids
Horacio Gonzalez-Velez
; Murray Cole
|
EDI-INF-RR-1233 2008
| Place memory in crickets
Jan Wessnitzer
; Michael Mangan
; Barbara Webb
|
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-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-1255 2008
| Automatic Construction and Verification of Isotopy Invariants
Volker Sorge
; Andreas Meier
; Roy McCasland
; Simon Colton
|
EDI-INF-RR-1260 2008
| Good Enough Answer Algorithms
Fausto Giunchiglia
; Carles Sierra
; Fiona McNeill
; Nardine Osman
; Ronny Siebes
|
EDI-INF-RR-1268 2008
| A model of associative learning in the Mushroom Body
Darren Smith
; Jan Wessnitzer
; Barbara Webb
|
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-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-1287 2008
| LCFG: A Practical Tool for System Configuration
Paul Anderson
|
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-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-1299 2008
| Synthesising Novel Movements through Latent Space Modulation of Scalable Control Policies
Sebastian Bitzer
; Ioannis Havoutis
; Sethu Vijayakumar
|
EDI-INF-RR-1301 2008
| Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas Dixon
; Ross Duncan
|
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-1307 2008
| A rapid prototyping tool for embedded, real-time hierarchical control systems
Ram Rajagopal
; Subramanian Ramamoorthy
; Lothar Wenzel
; Hugo Andrade
|
EDI-INF-RR-1361 2008
| Observations of the Scottish elections 2007
Russell Lock
; Tim Storer
; Natalie Harvey
; Conrad Hughes
; Ian Sommerville
|
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-1316 Feb 2009
| A better algorithm for random k-SAT
Amin Coja-Oghlan
|
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-1323 Feb 2009
| The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
Michael Ummels
; Dominik Wojtczak
|
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-1324 Mar 2009
| Natural Language Generation as Planning Under Uncertainty for Spoken Dialogue Systems
Verena Rieser
; Oliver Lemon
|
EDI-INF-RR-1328 Mar 2009
| On Process Equivalence = Equation Solving in CCS
Raul Monroy
; Alan Bundy
; Ian Green
|
EDI-INF-RR-1325 Apr 2009
| Decision Problems for Nash Equilibria in Stochastic Games
Michael Ummels
; Dominik Wojtczak
|
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-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-1329 May 2009
| A Method for Learning Policies from Constrained Motiona
Matthew Howard
; Stefan Klanke
; Michael Gienger
; Christian Goerick
; Sethu Vijayakumar
|
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-1333 Jun 2009
| Information about Complex Fingertip Parameters in Individual Human Tactile Afferent Neurons
Hannes Saal
; Sethu Vijayakumar
; Roland Johansson
|
EDI-INF-RR-1330 Jul 2009
| Combined Decision Techniques for the Existential Theory of the Reals
Grant Passmore
; Paul Jackson
|
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-1384 Jul 2009
| A Knowledge-Based Planner for Processing Unconstrained Underwater Videos
Gayathri Nadarajan
; Jessica Chen-Burger
; Robert Fisher
|
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-1354 Aug 2009
| Genre Distinctions for Discourse in the Penn TreeBank
Bonnie Webber
|
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-1339 Sep 2009
| Parametric Trajectory Representations for Behaviour Classification
Rowland Sillito
; Robert Fisher
|
EDI-INF-RR-1342 Sep 2009
| On Locally Minimal Nullstellensatz Proofs
Leonardo de Moura
; Grant Passmore
|
EDI-INF-RR-1343 Sep 2009
| Superfluous S-polynomials in Strategy-Independent Groebner Bases
Grant Passmore
; Leonardo de Moura
|
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-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-1348 Oct 2009
| Algorithmic metatheorems for decidable LTL model checking over infinite systems
Anthony Lin
; Leonid Libkin
|
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-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-1353 Oct 2009
| Modelling place memory in crickets
Michael Mangan
; Barbara Webb
|
EDI-INF-RR-1300 2009
| Plans, Actions and Dialogue using Linear Logic
Lucas Dixon
; Alan Smaill
; Tracy Tsang
|
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-1319 2009
| The Case For Flash-Aware Multi Level Caching
Ioannis Koltsidas
; Stratis Viglas
|
EDI-INF-RR-1320 2009
| Multithreaded query execution on multicore processors
Konstantinos Krikellas
; Marcelo Cintra
; Stratis Viglas
|
EDI-INF-RR-1326 2009
| Case-Analysis for Rippling and Inductive Proof
Moa Johansson
; Lucas Dixon
; Alan Bundy
|
EDI-INF-RR-1331 2009
| Utility-Aware Multi-Device Caching
Ioannis Koltsidas
; Stratis Viglas
|
EDI-INF-RR-1336 2009
| Depth Data Improves Skin Lesion Segmentation
Xiang Li
;
; Robert Fisher
; Ben Aldridge
; Jonathan Rees
|
EDI-INF-RR-1337 2009
| Multi-Strategy Trading Utilizing Market Regimes
Hynek Mlnarik
; Subramanian Ramamoorthy
; Rahul Savani
|
EDI-INF-RR-1340 2009
| Motion Synthesis through Randomized Exploration on Submanifolds of Configuration Space
Ioannis Havoutis
; Subramanian Ramamoorthy
|
EDI-INF-RR-1341 2009
| Resource Analysis for Iterative Java Programs via Lattice-point Enumeration in Polytopes
Kenneth MacKenzie
|
EDI-INF-RR-1344 2009
| General Motion Planning Methods for Self-Reconfiguration Planning
Thomas Larkworthy
; Gillian Hayes
; Subramanian Ramamoorthy
|
EDI-INF-RR-1350 2009
| Adaptive statistical scheduling of divisible workloads in heterogeneous systems
Horacio Gonzalez-Velez
; Murray Cole
|
EDI-INF-RR-1382 2009
| PRE-FIGHT DETECTION: Classification of Fighting Situations Using Hierarchical AdaBoost
Scott Blunsden
; Robert Fisher
|
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-1359 Jan 2010
| Exploiting Sensorimotor Stochasticity for Learning Control of Variable Impedance Actuators
Djordje Mitrovic
; Klanke Klanke
;
|
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-1362 Jan 2010
| Transferring Impedance Control Strategies via Apprenticeship Learning
Matthew Howard
; Djordje Mitrovic
; Sethu Vijayakumar
|
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-1367 Feb 2010
| Structure of the adult central complex in Drosophila: Organization of distinct neuronal subsets.
Joanna Young
; Douglas Armstrong
|
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-1366 Mar 2010
| Fixpoint alternation and the Wadge hierarchy
Julian Bradfield
; Jacques Duparc
; Sandra Quickert
|
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-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-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-1373 May 2010
| A Game Theoretic Procedure for Learning Hierarchically Structured Strategies
Benjamin Rosman
; Subramanian Ramamoorthy
|
EDI-INF-RR-1374 May 2010
| Graph minor analysis of reconfiguration state spaces
Thomas Larkworthy
; Subramanian Ramamoorthy
|
EDI-INF-RR-1375 May 2010
| An efficient algorithm for self-reconfiguration planning in a modular robot
Thomas Larkworthy
; Subramanian Ramamoorthy
|
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-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-1383 May 2010
| An efficient algorithm for self-reconfiguration planning in a modular robot
Thomas Larkworthy
; Subramanian Ramamoorthy
|
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-1376 Aug 2010
| Multipebble Simulations for Alternating Automata
Richard Mayr
; Lorenzo Clemente
|
EDI-INF-RR-1388 Sep 2010
| The EMIME Bilingual Database
Mirjam Wester
|
EDI-INF-RR-1389 Sep 2010
| Proximity Coherence for Chip Multiprocessors
Nick Barrow-Williams
; Chris Fensch
; Simon Moore
|
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-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-1402 Oct 2010
| Learning Nullspace Policies
Christopher Towell
; Matthew Howard
; Sethu Vijayakumar
|
EDI-INF-RR-1391 Nov 2010
| RDFa²: Interleaving Human-Readable and Machine-Readable Data
Xi Bai
; Ewan Klein
; Dave Robertson
|
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-1393 Nov 2010
| Logics and Games for True Concurrency
Julian Gutierrez
|
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-1412 Dec 2010
| Executable Formal Semantics of C
Brian Campbell
; Robert Pollack
|
EDI-INF-RR-1345 2010
| Scheduling threads for intra-query parallelism on multicore processors
Konstantinos Krikellas
; Marcelo Cintra
; Stratis Viglas
|
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-1358 2010
| Fuzzy Description of Skin Lesions
Nikolaos Lascaris
; Lucia Ballerini
; Robert Fisher
; Ben Aldridge
; Jonathan Rees
|
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-1372 2010
| Geodesic Trajectory Generation on Learnt Skill Manifolds
Ioannis Havoutis
; Subramanian Ramamoorthy
|
EDI-INF-RR-1377 2010
| Ideas for a high-level proof strategy language
Cliff B. Jones
; Gudmund Grov
; Alan Bundy
|
EDI-INF-RR-1378 2010
| Properties of IsaCoSy's Constraint Generation Algorithm
Moa Johansson
; Lucas Dixon
; Alan Bundy
|
EDI-INF-RR-1381 2010
| The BEHAVE video dataset: ground truthed video for multi-person behavior classification
Scott Blunsden
; Robert Fisher
|
EDI-INF-RR-1385 2010
| Constrained geodesic trajectory generation on learnt skill manifolds
Ioannis Havoutis
; Subramanian Ramamoorthy
|
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-1394 2010
| Open Graphs and Monoidal Theories
Lucas Dixon
; Kissinger Aleks
|
EDI-INF-RR-1396 Feb 2011
| The EMIME Mandarin Bilingual Database
Mirjam Wester
; Hui Liang
|
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-1399 Apr 2011
| Buechi Automata can have Smaller Quotients
Lorenzo Clemente
|
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-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-1403 Nov 2011
| Model-Free Apprenticeship Learning for Transfer of Human Impedance Behaviour
Takeshi Mori
; Matthew Howard
; Sethu Vijayakumar
|
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-1408 Dec 2011
| BSense: A Flexible and Open-Source Broadband Mapping Framework
Giacomo Bernardi
; Damon Fenacci
; Mahesh Marina
; Dimitrios Pezaros
|
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-1397 2011
| Visual Cues Do Not Improve Lesion ABC(D) Grading
Matteo Zanotto
; Lucia Ballerini
; Aldridge Ben
; Robert Fisher
; Rees Jonathan
|
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-1414 Oct 2012
| Advanced Automata Minimization
Richard Mayr
; Lorenzo Clemente
|
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-1411 2012
| Towards the automatic detection and correction of errors in automatically constructed ontologies
Andriana Gkaniatsou
; Alan Bundy
; Fiona McNeill
|
EDI-INF-RR-1413 2012
| Auto-tuning Parallel Skeletons
Alexander Collins
; Chris Fensch
; Hugh Leather
|
EDI-INF-RR-1415 Apr 2013
| Decidability of Weak Simulation on One-counter Nets
Piotr Hofman
; Richard Mayr
; Patrick Totzke
|
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-1417 Aug 2013
| Solving Parity Games on Integer Vectors
Richard Mayr
; Parosh Aziz Abdulla
; Arnaud Sangnier
; Jeremy Sproston
|
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-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-1420 Feb 2015
| Bar recursion is not T+min definable
; John Longley
|