| Report and Date
| Title and Authors
|
EDI-INF-RR-1263
Jun 2008
| An idiom's guide to formlets
Ezra Cooper
; Samuel Lindley
; Philip Wadler
; Jeremy Yallop
|
EDI-INF-RR-1262
Jun 2008
| Many holes in Hindley-Milner
Samuel Lindley
|
EDI-INF-RR-1261
Jun 2008
| Recurrent Reachability Analysis in Regular Model Checking
Anthony To
; Leonid Libkin
|
EDI-INF-RR-1260
2008
| Good Enough Answer Algorithms
Fausto Giunchiglia
; Carles Sierra
; Fiona McNeill
; Nardine Osman
; Ronny Siebes
|
EDI-INF-RR-1259
May 2007
| Consistent exploration improves convergence of reinforcement learning on POMDPs
Paul Crook
; Gillian Hayes
|
EDI-INF-RR-1258
Jun 2008
| The Arrow Calculus
Samuel Lindley
; Philip Wadler
; Jeremy Yallop
|
EDI-INF-RR-1257
Feb 2005
| Psychological validity of schematic proofs
Alan Bundy
; Mateja Jamnik
|
EDI-INF-RR-1256
Jun 2008
| PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers
Ian Stark
; David Aspinall
|
EDI-INF-RR-1255
2008
| Automatic Construction and Verification of Isotopy Invariants
Volker Sorge
; Andreas Meier
; Roy McCasland
; Simon Colton
|
EDI-INF-RR-1254
May 2008
| A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments
Roderick McKenzie
; Jafreezal Jaafar
|
EDI-INF-RR-1253
2008
| Interactions between multiple sources of short term plasticity during evoked and spontaneous activity at the rat calyx of Held
Matthias Hennig
; Michael Postlethwaite
; Ian D. Forsythe
; Bruce P. Graham
|
EDI-INF-RR-1252
Apr 2008
| The Sun Hotspot JVM does not conform with the Java Memory Model
Jaroslav Sevcik
|
EDI-INF-RR-1251
Apr 2008
| HYPE: hybrid systems modelled with flows
Vashti Galpin
; Luca Bortolussi
; Jane Hillston
|
EDI-INF-RR-1250
Jun 2008
| Eliminating The Middleman: Peer-to-Peer Dataflow
Adam Barker
; Jon Weissman
; Jano van Hemert
|
EDI-INF-RR-1249
2008
| Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
Kousha Etessami
; Dominik Wojtczak
; Mihalis Yannakakis
|
EDI-INF-RR-1248
May 2008
| Establishing a Biomedical Virtual Organisation through a Portal: Lessons Learned from HEALTHAGENTS
Carla Delgado
; Horacio Gonzalez-Velez
|
EDI-INF-RR-1247
2007
| Automatic synthesis of decision procedures
Predrag Janicic
; Alan Bundy
|
EDI-INF-RR-1246
2007
| Fast, but Approximate, Workflow-Runtime Estimation Using the Bell-Curve Calculus
Lin Yang
; Alan Bundy
; Conrad Hughes
; Dave Berry
|
EDI-INF-RR-1245
2007
| Computational Thinking is Pervasive
Alan Bundy
|
EDI-INF-RR-1244
Mar 2008
| Instruction Cache Energy Saving Through Compiler Way-Placement
Timothy Jones
; Sandro Bartolini
; Bruno De Bus
; John Cavazos
; Michael O'Boyle
|
EDI-INF-RR-1243
Feb 2008
| Evaluating the Effects of Compiler Optimsations on AVF
Timothy Jones
; Michael O'Boyle
; Oğuz Ergin
|
EDI-INF-RR-1242
Dec 2007
| Microarchitectural Design Space Exploration Using An Architecture-Centric Approach
Christophe Dubach
; Timothy Jones
; Michael O'Boyle
|
EDI-INF-RR-1241
Nov 2007
| Effects of fixational eye movements on retinal ganglion cell responses: a modelling study
Matthias Hennig
; Florentin Wrgtter
|
EDI-INF-RR-1240
Mar 2008
| Partitioning random graphs with general degree distributions
Amin Coja-Oghlan
; Andre Lanka
|
EDI-INF-RR-1239
Mar 2008
| An efficient regularity concept for sparse graphs and matrices
Amin Coja-Oghlan
; Colin Cooper
; Alan Frieze
|
EDI-INF-RR-1238
Feb 2008
| An OS-Based Alternative to Full Hardware Coherence on Tiled CMPs
Christian Fensch
; Marcelo Cintra
|
EDI-INF-RR-1236
May 2008
| Orchestraing Data-Centric Workflows
Adam Barker
; Jon Weissman
; Jano van Hemert
|
EDI-INF-RR-1235
Jun 2008
| Improving Evolutionary Algorithms with Scouting: High-Dimensional Problems
Konstantinos Bousmalis
; Jeffrey Pfaffmann
; Gillian Hayes
|
EDI-INF-RR-1234
Feb 2008
| OBO Explorer: an editor for open biomedical ontologies in OWL
Stuart Aitken
; Yin Chen
; Jonathan Bard
|
EDI-INF-RR-1233
2008
| Place memory in crickets
Jan Wessnitzer
; Michael Mangan
; Barbara Webb
|
EDI-INF-RR-1232
2008
| An Adaptive Parallel Pipeline Pattern for Grids
Horacio Gonzalez-Velez
; Murray Cole
|
EDI-INF-RR-1231
2008
| Bio-PEPA: a framework for the modelling and analysis of biological systems
Federica Ciocchetta
; Jane Hillston
|
EDI-INF-RR-1230
2007
| An Extensible Probabilistic Transformation-based Approach to the Third Recognizing Textual Entailment Challenge.
Stefan Harmeling
|
EDI-INF-RR-1229
2007
| Inferring Textual Entailment with a Probabilistically Sound Calculus
Stefan Harmeling
|
EDI-INF-RR-1228
Dec 2007
| A Note on Noise-free Gaussian Process Prediction with Separable Covariance Functions and Grid Designs
Chris Williams
; Kian Ming Chai
; Edwin Bonilla
|
EDI-INF-RR-1227
Dec 2007
| Argumentation-Based Inference and Decision Making - A Medical Perspective
John Fox
; David Glasspool
; Dan Grecu
; Sanjay Modgil
; Matthew South
; Vivek Patkar
|
EDI-INF-RR-1226
Dec 2007
| Supporting medical planning by mitigating cognitive load
David Glasspool
; Ayelet Oettinger
; James Smith-Spark
; Fortunato Castillo
; Victoria Monaghan
; John Fox
|
EDI-INF-RR-1225
Jul 2007
| Where's My Stuff? An Ontology Repair Plan
Alan Bundy
|
EDI-INF-RR-1224
2007
| Recursive Stochastic Games with Positive Rewards
Kousha Etessami
; Dominik Wojtczak
; Mihalis Yannakakis
|
EDI-INF-RR-1223
2001
| Beyond elaboration: the interaction of relations and focus in coherent text
Jon Oberlander
; A Knott
; C Mellish
; M O'Donnell
|
EDI-INF-RR-1222
Jun 2007
| Moses: Open Source Toolkit for Statistical Machine Translation
Philipp Koehn
; Hieu Hoang
; Alexandra Birch Mayne
; Christopher Callison-Burch
; Marcello Federico
; Nicola Bertoldi
; Brooke Cowan
; Wade Shen
; Christine Moran
; Richard Zens
; Chris Dyer
; Ondrej Bojar
; Alexandra Constantin
; Evan Herbst
|
EDI-INF-RR-1221
Jun 2007
| Factored Translation Models
Philipp Koehn
; Hieu Hoang
|
EDI-INF-RR-1220
Dec 2007
| PropPlan
Michael Fourman
|
EDI-INF-RR-1219
Apr 2007
| Developing complex systems using evolved pattern generators
James Bednar
; R. Miikkulainen
; V. Valsalam
|
EDI-INF-RR-1218
2007
| The Case for Holistic Query Evaluation
Konstantinos Krikellas
; Marcelo Cintra
; Stratis Viglas
|
EDI-INF-RR-1217
2007
| Sorting Hierarchical Data in External Memory
Ioannis Koltsidas
; Heiko Mueller
; Stratis Viglas
|
EDI-INF-RR-1216
2005
| Dynamic competition between contour integration and contour segmentation probed with moving stimuli
Jean Lorenceau
; Anne Giersch
; Peggy Series
|
EDI-INF-RR-1215
Jun 2007
| Marking Time in Developmental Biology: A corpus annotated for developmental entities and stages.
Gail Sinclair
; Bonnie Webber
|
EDI-INF-RR-1214
Jul 2002
| Enhanced Free Text Access to Anatomically-Indexed Data
Gail Sinclair
; Bonnie Webber
; Duncan Davidson
|
EDI-INF-RR-1213
Jul 2006
| Marking Time in Developmental Biology: Annotating Developmental Events and their Links with Molecular Events
Gail Sinclair
; Bonnie Webber
; Duncan Davidson
|
EDI-INF-RR-1212
Aug 2004
| Classification from Full Text: A Comparison of Canonical Sections of Scientific Papers
Gail Sinclair
; Bonnie Webber
|
EDI-INF-RR-1210
Dec 2005
| Dynamical Synapses Give Rise to a Power-Law Distribution of Neuronal Avalanches
Michael Herrmann
; Anna Levina
|
EDI-INF-RR-1209
Oct 2007
| Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Perdita Stevens
|
EDI-INF-RR-1208
2006
| On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams
Jennifer Tenzer
; Perdita Stevens
|
EDI-INF-RR-1207
2007
| Free-Algebra Models for the Pi-Calculus
Ian Stark
|
EDI-INF-RR-1206
Jul 2006
| Designing Safe, Profitable Automated Stock Trading Agents Using Evolutionary Algorithms
Harish Subramanian
; Subramanian Ramamoorthy
; Peter Stone
; Benjamin Kuipers
|
EDI-INF-RR-1205
2006
| Modelling the influence of RKIP on the ERK signalling pathway using stochastic process algebra PEPA
Muffy Calder
; Stephen Gilmore
; Jane Hillston
|
EDI-INF-RR-1204
2003
| Learning OT Constraint Rankings Using a Maximum Entropy Model
Sharon Goldwater
; Mark Johnson
|
EDI-INF-RR-1203
2006
| Interpolating between Types and Tokens by Estimating Power-Law Generators
Sharon Goldwater
; T.L. Griffiths
; Mark Johnson
|
EDI-INF-RR-1202
2006
| Contextual Dependencies in Unsupervised Word Segmentation
Sharon Goldwater
; T.L. Griffiths
; Mark Johnson
|
EDI-INF-RR-1201
2007
| A Fully Bayesian Approach to Unsupervised Part-of-Speech Tagging
Sharon Goldwater
; T.L. Griffiths
|
EDI-INF-RR-1200
2007
| Reconstructing Null-space Policies Subject to Dynamic Task Constraints in Redundant Manipulators
Matthew Howard
; Sethu Vijayakumar
|
EDI-INF-RR-1199
Mar 2003
| Undecidable problems in unreliable computations
Richard Mayr
|
EDI-INF-RR-1198
Jun 2003
| Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes
Richard Mayr
|
EDI-INF-RR-1197
Mar 2006
| Model Checking Probabilistic Pushdown Automata
J. Esparza
; A. Kucera
; Richard Mayr
|
EDI-INF-RR-1196
Feb 2007
| Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
P.A. Abdulla
; P. Mahata
; Richard Mayr
|
EDI-INF-RR-1195
Jul 2004
| A Search Engine for Historical Manuscript Images
T. Rath
; R. Manamtha
; Victor Lavrenko
|
EDI-INF-RR-1194
Aug 2002
| Cross-Lingual Relevance Models
Victor Lavrenko
; M. Choquette
; W.B. Croft
|
EDI-INF-RR-1193
Jun 2004
| Multiple Bernoulli Relevance Models for Image and Video Annotation
S Feng
; R Manmatha
; Victor Lavrenko
|
EDI-INF-RR-1192
Dec 2003
| A Model for Learning the Semantics of Pictures
Victor Lavrenko
; R Manmatha
; J Jeon
|
EDI-INF-RR-1191
Jul 2003
| Automatic Image Annotation in Retrieval using Cross-Media Relevance Models
J Jeon
; Victor Lavrenko
; R Manmatha
|
EDI-INF-RR-1190
Sep 2001
| Relevance-Based Language Models
Victor Lavrenko
; W.B. Croft
|
EDI-INF-RR-1189
2007
| Bayesian Estimators for Robins-Ritov's Problem
Stefan Harmeling
; Marc Toussaint
|
EDI-INF-RR-1188
2007
| Mobile resource guarantees
Donald Sannella
; Martin Hofmann
; David Aspinall
; Stephen Gilmore
; Ian Stark
; Lennart Beringer
; Hans-Wolfgang Loidl
; Kenneth MacKenzie
; Alberto Momigliano
; Olha Shkaravska
|
EDI-INF-RR-1187
Jun 2007
| Orient-2: a realtime wireless posture tracking system using local orientation estimation
Damal Arvind
; Martin Ling
; Alex Young
|
EDI-INF-RR-1186
Aug 2007
| A Distributed, Leaderless Algorithm for Logical Location Discovery in Specknets
Damal Arvind
; Ryan McNally
|
EDI-INF-RR-1185
Oct 2002
| Second Language Vocabulary Acquisition and Learning Strategies in ICALL Environments
Thomas Segler
; Helen Pain
; Antonella Sorace
|
EDI-INF-RR-1184
Jun 2001
| Latent Semantic Analysis for Text Segmentation
Freddy Y.Y. Choi
; Peter Wiemer-Hastings
; Johanna Moore
|
EDI-INF-RR-1183
Aug 2001
| A Comparative Evaluation of Socratic Versus Didactic Tutoring
Carolyn Penstein Rose
; Johanna Moore
; David Allbritton
; Kurt Van Lehn
|
EDI-INF-RR-1182
2002
| Study of a phenomenological model of the kinetics of bacterial adsorption to low energy surfaces
Viatcheslav Fedorovich
; S.V. Kalyushnyi
; P Van der Meeren
; W Verstraete
|
EDI-INF-RR-1181
2002
| Development of a phenomenological model of the kinetics of bacterial adsorption to low energy-surfaces
Viatcheslav Fedorovich
; S.V. Kalyushnyi
; P Van der Meeren
; W. Verstraete
|
EDI-INF-RR-1180
Sep 2004
| Modelling and querying biomolecular interaction networks
N Chabrier
; M Chiaverini
; Vincent Danos
; F Fages
; V Schachter
|
EDI-INF-RR-1179
Oct 2007
| Dynamical synapses causing self-organized criticality in neural networks
A Levina
; Michael Herrmann
; T Geisel
|
EDI-INF-RR-1178
2007
| The Edinburgh human metabolic network reconstruction and its functional analysis
Hongwu Ma
; Anatoly Sorokin
; Alexander Mazein
; Alex Selkov
; Evgeni Selkov
; Oleg Demin
; Igor Goryanin
|
EDI-INF-RR-1177
Mar 2006
| Using Machine Learning to Focus Iterative Optimization
Edwin Bonilla
; John Cavazos
; Bjoern Franke
; Michael O'Boyle
; John Thomson
; Chris Williams
|
EDI-INF-RR-1176
May 2007
| Fast Compiler Optimisation Evaluation Using Code-Feature Based Performance Prediction
Christophe Dubach
; John Cavazos
; Bjoern Franke
; Michael O'Boyle
; Grigori Fursin
; Olivier Temam
|
EDI-INF-RR-1175
Jun 2007
| Combining Source-to-Source Transformations and Processor Instruction Set Extensions for the Automated Design-Space Exploration of Embedded Systems
Richard Bennett
; Alastair Murray
; Bjoern Franke
; Nigel Topham
|
EDI-INF-RR-1174
Sep 2007
| A Cost-Aware Parallel Workload Allocation Approach Based on Machine Learning Techniques
Shun Long
; Grigori Fursin
; Bjoern Franke
|
EDI-INF-RR-1173
Jul 2002
| Probabilistic Game Semantics
Vincent Danos
; R Harmer
|
EDI-INF-RR-1172
Oct 2007
| Categorical Perspectives
Michael Fourman
|
EDI-INF-RR-1171
Sep 2007
| Rule-based modelling of cellular signalling
Vincent Danos
; J Feret
; W Fontana
; R Harmer
; J Krivine
|
EDI-INF-RR-1170
Apr 2006
| Bisimulation and cocongruence for probabilistic systems
Vincent Danos
; J Desharnais
; F Laviolette
; P Panangaden
|
EDI-INF-RR-1169
2004
| Formal Molecular Biology
Vincent Danos
; C Laneve
|
EDI-INF-RR-1168
May 2002
| A comparison of quantum oracles
Elham Kashefi
; A Kent
; V Vedral
; K Banaszek
|
EDI-INF-RR-1167
Nov 2006
| Determinism in the one-way model
Vincent Danos
; Elham Kashefi
|
EDI-INF-RR-1166
Jun 2007
| Statistical Zero Knowledge and quantum one-way functions
Elham Kashefi
; I Kerenidis
|
EDI-INF-RR-1165
Apr 2004
| The Measurement Calculus
Vincent Danos
; Elham Kashefi
; Prakash Panandagen
|
EDI-INF-RR-1164
Oct 2007
| On the Complexity of Nash Equilibria and Other Fixed Points
Kousha Etessami
; Mihalis Yannakakis
|
EDI-INF-RR-1163
Oct 2002
| Draft sequencing and comparative genomics of Xylella fastidiosa strains reveal novel biological insights
Anamitra Bhattacharyya
; Stephanie Stilwagen
; Gary Reznik
; Helene Feil
; William S. Feil
; Iain Anderson
; Evgeny Selkov
; Axel Bernal
; Mark D'Souza
; Natalia Ivanova
; Vinayak Kapatral
; Niels Larsen
; Tamara Los
; Athanasios Lykidis
; Theresa L. Walunas
; Alexander Purcell
; Rob A. Edwards
; Trevor Hawkins
; Robert Haselkorn
; Ross Overbeek
; Nikos C. Kyrpides
; Paul F. Predki
|
EDI-INF-RR-1162
2007
| Draft sequencing and comparative genomics of Xylella fastidiosa strains reveal novel biological insights
Anamitra Bhattacharryya
; Stephanie Stilwagen
; Gary Reznik
; H. Feil
; W. S. Feil
; Ian Anderson
; Axel Bernal
|
EDI-INF-RR-1161
Jan 2003
| The ERGO genome analysis and discovery system
Ross Overbeek
; Niels Larsen
; Terry Walunas
; Mark D'Souza
; Gordon Pusch
; Evgeny Selkov
; Konstantinos Liolios
; Viktor Joukov
; Denis Kaznadzey
; Iain Anderson
; Anamitra Bhattacharyya
; Henry Burd
; Warren Gardner
; Paul Hanke
; Vinayak Kapatral
; Natalia Mikhailova
; Olga Vasieva
; Andrei Osterman
; Veronika Vonstein
; Michael Fonstein
; Natalia Ivanova
; Nikos Kyrpides
|
EDI-INF-RR-1160
Jul 2003
| Metabolic theory of the cell clock and its experimental verification with sequenced cyanobacteria
Evgeni Selkov, Sr.
; Evgeny Selkov
; Dmitry Karpeev
; David DeHorn
; Mike Minkov
; Evgeni Nikolaev
; Yulya Poluektova
|
EDI-INF-RR-1159
2007
| Developing Performance Criteria for the e-Pelvis Simulator Using Visual Analysis
Jonathan Silverstein
; Evgeny Selkov
; Lawrence Salud
; Carla Pugh
|
EDI-INF-RR-1158
Dec 2006
| Language With Character: A Stratified Corpus Comparison of Individual Differences in E-Mail Communication
Jon Oberlander
; Alastair Gill
|
EDI-INF-RR-1157
Mar 2006
| Dispersed plug flow model for upflow anaerobic sludge bed reactors with focus on granular sludge dynamics
S. Kalyushnyi
; Viatcheslav Fedorovich
; P. Lens
|
EDI-INF-RR-1156
2003
| Extension of anaerobic digestion model no. 1 with the process of sulfate reduction
Viatcheslav Fedorovich
; P. Lens
; S. Kalyushnyi
|
EDI-INF-RR-1155
2007
| Dynamic Semantics for Agent Communication Languages
Michael Rovatsos
|
EDI-INF-RR-1154
Jan 2007
| The Empirical Semantics Approach to Communication Structure Learning and Usage: Individualistic vs. Systemic Views
Matthias Nickles
; Michael Rovatsos
; Marco Schmitt
; Wilfried Brauer
; Felix Fischer
; Thomas Malsch
; Kai Paetow
|
EDI-INF-RR-1153
Dec 2007
| Logics for Action
Michael Fourman
|
EDI-INF-RR-1152
2007
| A computational approach to negative priming
H Schrobsdorff
; M Ihrke
; B Kabisch
; J Behrendt
; M Hasselhorn
; Michael Herrmann
|
EDI-INF-RR-1151
2006
| Optimal mass distribution for passivity-based bipedal robots
J Hass
; Michael Herrmann
; T Geisel
|
EDI-INF-RR-1150
2005
| Neural networks approach to clustering of activity in fMRI Data
M Voultsidou
; S Dodel
; Michael Herrmann
|
EDI-INF-RR-1149
2007
| Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution
Fiona McNeill
; Alan Bundy
|
EDI-INF-RR-1148
Sep 2004
| A Program Logic for Resource Verification
David Aspinall
; Lennart Beringer
; Martin Hofmann
; Hans-Wolfgang Loidl
; Alberto Momigliano
|
EDI-INF-RR-1147
2007
| Low-discrepancy curves and efficient coverage of space
Subramanian Ramamoorthy
; Ram Rajagopal
; Qing Ruan
; Lothar Wenzel
|
EDI-INF-RR-1146
2007
| Qualitative Hybrid Control of Dynamic Bipedal Walking
Subramanian Ramamoorthy
; Benjamin Kuipers
|
EDI-INF-RR-1145
Feb 2002
| LCFG - The Next Generation
Paul Anderson
; Alastair Scobie
|
EDI-INF-RR-1144
Jun 2007
| Non-linear dimensionality reduction of signaling networks
Sergii Ivakhno
; Douglas Armstrong
|
EDI-INF-RR-1143
Apr 2002
| Reconstruction of planar surfaces behind occlusions in range images
Fabio Dell'Acqua
; Robert Fisher
|
EDI-INF-RR-1142
Jul 2005
| Facilitating user feedback in the design of a novel joke generation system for people with severe communication impairment.
Annalu Waller
; Dave O'Mara
; Hisar Maruli Manurung
; Helen Pain
; Graeme Ritchie
|
EDI-INF-RR-1141
2007
| Evolving a Neural Model of Insect Path Integration
Thomas Haferlach
; Jan Wessnitzer
; Michael Mangan
; Barbara Webb
|
EDI-INF-RR-1140
Sep 2007
| CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank
Julia Hockenmaier
; Mark Steedman
|
EDI-INF-RR-1139
2003
| Viewing the Semantic Web through RVL Lenses.
Aimilia Magkanaraki
; Val Tannen
; Vassilis Christophides
; Dimitris Plexousakis
|
EDI-INF-RR-1138
Aug 2007
| Local Perspectives on Action
Michael Fourman
|
EDI-INF-RR-1137
2003
| E-services: a look behind the curtain.
Richard Hull
; Michael Benedikt
; Vassilis Christophides
; Jianwen Su
|
EDI-INF-RR-1136
2003
| On labeling schemes for the semantic web.
Vassilis Christophides
; Dimitris Plexousakis
; Michel Scholl
; Sotirios Tourtounis
|
EDI-INF-RR-1135
2002
| RQL: a declarative query language for RDF.
Gregory Karvounarakis
; Sofia Alexaki
; Vassilis Christophides
; Dimitris Plexousakis
; Michel Scholl
|
EDI-INF-RR-1134
2000
| On Wrapping Query Languages and Efficient XML Integration.
Vassilis Christophides
; Sophie Cluet
; Jerome Simeon
|
EDI-INF-RR-1133
Dec 2007
| Improving Evolutionary Algorithms with Scouting
Konstantinos Bousmalis
; Gillian Hayes
; Jeffrey Pfaffmann
|
EDI-INF-RR-1132
2007
| HealthAgents: Distributed Multi-Agent Brain Tumour Diagnosis and Prognosis
Horacio Gonzalez-Velez
; Adriana Mier Perez
; Margarida Julia-Sape
; Theodoros N. Arvanitis
; Juan M. Garcia-Gomez
; Montserrat Robles
; Paul H. Lewis
; Srinandan Dasmahapatra
; David Dupplaw
; Andrew Peet
; Carles Arus
; Bernardo Celda
; Sabine Van Huffel
; Magi Lluch i Ariet
|
EDI-INF-RR-1131
2007
| Load estimation and control using learned dynamics models
Georgios Petkos
; Sethu Vijayakumar
|
EDI-INF-RR-1130
2007
| Expressiveness and Complexity of XML Publishing Transducers
Wenfei Fan
; Floris Geerts
; Frank Neven
|
EDI-INF-RR-1129
May 1999
| A multi-agent based evolutionary artificial neural network for general navigation in unknown environments
Fang Wang
; Roderick McKenzie
|
EDI-INF-RR-1128
Jun 1999
| An Agent-Based Visualisation Architecture
Jonathan Meddes
; Roderick McKenzie
|
EDI-INF-RR-1127
Nov 1999
| Multifunctional Learning of a Multiagent based Evolutionary Artificial Neural Network with Lifetime Learning
Fang Wang
; Roderick McKenzie
|
EDI-INF-RR-1126
Jan 2000
| Improving Visualisation by Capturing Domain Knowledge
Jonathan Meddes
; Roderick McKenzie
|
EDI-INF-RR-1125
Sep 2005
| Learning User Simulations for Information State Update Dialogue Systems
Kallirroi Georgila
; Oliver Lemon
; James Henderson
|
EDI-INF-RR-1124
Mar 2003
| Stochastic Language Modelling for Recognition and Generation in Dialogue Systems
Kallirroi Georgila
; Nikos Fakotakis
; George Kokkinakis
|
EDI-INF-RR-1123
Nov 2002
| Large Vocabulary Search Space Reduction Employing Directed Acyclic Word Graphs and Phonological Rules
Kallirroi Georgila
; Nikos Fakotakis
; George Kokkinakis
|
EDI-INF-RR-1122
Apr 2003
| A Speech-Based Human-Computer Interaction System for Automating Directory Assistance Services
Kallirroi Georgila
; Kyriakos Sgarbas
; Anastasios Tsopanoglou
; Nikos Fakotakis
; George Kokkinakis
|
EDI-INF-RR-1121
Sep 2007
| Java Memory Model Examples: Good, Bad and Ugly
David Aspinall
; Jaroslav Sevcik
|
EDI-INF-RR-1120
Aug 2007
| A Modular Approach for Automating Video Analysis
Gayathri Nadarajan
; Arnaud Renouf
|
EDI-INF-RR-1119
Nov 2007
| Planning and Choosing: Augmenting HTN-Based Agents with Mental Attitudes
Gerhard Wickler
; Stephen Potter
; Austin Tate
; Michal Pechoucek
; Eduard Semsch
|
EDI-INF-RR-1118
May 2005
| Structural Properties of XPath Fragments
Michael Benedikt
; Wenfei Fan
; Gabi Kuper
|
EDI-INF-RR-1117
2006
| An ISU dialogue system exhibiting reinforcement learning of dialogue policies: generic slot-filling in the TALK in-car system
Oliver Lemon
; Kallirroi Georgila
; James Henderson
; Matthew Stuttle
|
EDI-INF-RR-1116
2005
| Holographic Proofs and Derandomization
Dieter van Melkebeek
; Rahul Santhanam
|
EDI-INF-RR-1115
2005
| Hierarchies for Semantic Classes
Lance Fortnow
; Rahul Santhanam
; Luca Trevisan
|
EDI-INF-RR-1114
Oct 2004
| Hierarchy Theorems for Probalistic Polynominal Time
Lance Fortnow
; Rahul Santhanam
|
EDI-INF-RR-1113
2007
| Circuit Lower Bounds for Merlin-Arthur Classes
Rahul Santhanam
|
EDI-INF-RR-1112
Jul 2007
| Quasi-randomness and algorithmic regularity for graphs with general degree distributions
Noga Alon
; Amin Coja-Oghlan
; Hiep Han
; Mihyun Kang
; Vojtech Rodl
; Mathias Schacht
|
EDI-INF-RR-1111
Jul 2005
| The Lovasz number of random graphs.
Amin Coja-Oghlan
|
EDI-INF-RR-1110
Jul 2007
| Coloring semi-random graphs.
Amin Coja-Oghlan
|
EDI-INF-RR-1109
Oct 2006
| A spectral heuristic for bisecting random graphs.
Amin Coja-Oghlan
|
EDI-INF-RR-1108
2002
| Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System.
Diane Litman
; Satinder Singh
; Michael Kearns
; Marilyn Walker
|
EDI-INF-RR-1107
Jun 2002
| Designing and Evaluating an Adaptive Spoken Dialogue System.
Diane Litman
; Shimei Pan
|
EDI-INF-RR-1106
Jun 2004
| Prosodic and Other Cues to Speech Recognition Failures
Julia Hirschberg
; Diane Litman
; Marc Swerts
|
EDI-INF-RR-1105
2006
| Spoken Versus Typed Human and Computer Dialogue Tutoring
Diane Litman
; Carolyn P. Rose
; Kate Forbes-Riley
; Kurt VanLehn
; Dumisizwe Bhembe
; Scott Silliman
|
EDI-INF-RR-1104
2006
| Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
H Palacios
; Hector Geffner
|
EDI-INF-RR-1103
2006
| Learning Depth First-Search: a Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings and its Application to MDPs
B. Bonet
; Hector Geffner
|
EDI-INF-RR-1102
Mar 2006
| Branching and Pruning: An Optimal Temporal POCL Planner based on Constraint Programming
V Vidal
; Hector Geffner
|
EDI-INF-RR-1101
Jun 2001
| Planning as Heuristic Search
B. Bonet
; Hector Geffner
|
EDI-INF-RR-1098
2006
| A trajectory mixture density network for the acoustic-articulatory inversion mapping.
Korin Richmond
|
EDI-INF-RR-1097
Jul 2007
| Automated discovery of inductive theorems.
Roy McCasland
; Alan Bundy
; Serge Autexier
|
EDI-INF-RR-1096
Sep 2006
| Probabilistic fusion of stereo with colour and contrast for bi-layer sementation
V. Kolmogorov
; A. Criminisi
; Andrew Blake
; G. Cross
; C. Rother
|
EDI-INF-RR-1095
2004
| GrabCut - interactive foreground extraction using iterated graph cuts
Andrew Blake
|
EDI-INF-RR-1094
2003
| Poisson image editing
P Perez
; M Gangnet
; Andrew Blake
|
EDI-INF-RR-1093
2002
| Probabilistic Tracking with Exemplars in a Metric Space
K Toyama
; Andrew Blake
|
EDI-INF-RR-1092
Jun 2001
| The Festival Speech Synthesis System Version 1.4.2
Alan Black
; Paul Taylor
; Richard Caley
; Rob Clark
; Korin Richmond
; Simon King
; Volker Strom
; Heiga Zen
|
EDI-INF-RR-1091
Sep 2001
| On pseudorandom generators in NC^0
Mary Cryan
; Peter Bro Miltersen
|
EDI-INF-RR-1090
Jul 2007
| Mechanized Metatheory Model-Checking
James Cheney
; Alberto Momigliano
|
EDI-INF-RR-1089
Mar 2006
| Using Machine Learning to Focus Iterative Optimization
Edwin Bonilla
; John Cavazos
; Bjoern Franke
; Michael O'Boyle
; John Thomson
; Chris Williams
|
EDI-INF-RR-1088
May 2007
| Fast Compiler Optimisation Evaluation Using Code-Feature Based Performance Prediction
Christophe Dubach
; John Cavazos
; Bjoern Franke
; Michael O'Boyle
; Grigori Fursin
; Olivier Temam
|
EDI-INF-RR-1087
Jun 2007
| Combining Source-to-Source Transformations and Processor Instruction Set Extension for the Automated Design-Space Exploration of Embedded Systems
Richard Bennett
; Alastair Murray
; Bjoern Franke
; Nigel Topham
|
EDI-INF-RR-1086
Sep 2007
| A Cost-Aware Parallel Workload Allocation Approach Based on Machine Learning Techniques
Shun Long
; Grigori Fursin
; Bjoern Franke
|
EDI-INF-RR-1085
2007
| Robustness of VOR and OKR adaptation under kinematics and dynamics transformations
Adrian Haith
; Sethu Vijayakumar
|
EDI-INF-RR-1084
Nov 2003
| Micro-Planning based on Communicative Intent: The SPUD System
Matthew Stone
; Christine Doran
; Tonya Bleam
; Martha Palmer
; Bonnie Webber
|
EDI-INF-RR-1083
Mar 2005
| Analyse quantitative de programmes applicatif base de squelettes algorithmiques
Anne Benoit
; Murray Cole
; Stephen Gilmore
; Jane Hillston
|
EDI-INF-RR-1082
2005
| Component-based grid programming. A case study on wavelets.
Jan Duennweber
; Sergei Gorlatch
; Anne Benoit
; Murray Cole
|
EDI-INF-RR-1081
2005
| Native Services for Grid Applications
Jan Duennweber
; Anne Benoit
; Murray Cole
; Sergei Gorlatch
|
EDI-INF-RR-1080
Jun 2006
| Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel Mean Value Analysis algorithm
Gagarine Yaikhom
; Murray Cole
; Stephen Gilmore
|
EDI-INF-RR-1079
Feb 2007
| Reactive Grid Scheduling of DAG applications
Israel Hernandez
; Murray Cole
|
EDI-INF-RR-1077
Mar 2007
| A structural approach for modelling performance of workflow systems
Gagarine Yaikhom
; Murray Cole
; Stephen Gilmore
; Jane Hillston
|
EDI-INF-RR-1076
Feb 2007
| Designing Efficient Processors Using Compiler-Directed Optimisations
Timothy Jones
; Michael O'Boyle
; Jaume Abella
; Antonio Gonzlez
; Oğuz Ergin
|
EDI-INF-RR-1075
Sep 2005
| Compiler Directed Early Register Release
Timothy Jones
; Michael O'Boyle
; Jaume Abella
; Antonio Gonzlez
; Oğuz Ergin
|
EDI-INF-RR-1074
Feb 2005
| Software Directed Issue Queue Power Reduction
Timothy Jones
; Michael O'Boyle
; Jaume Abella
; Antonio Gonzlez
|
EDI-INF-RR-1072
Jul 2006
| Analysis of mouse EphA knockins and knockouts suggests that retinal axons programme target cells to form ordered retinotopic maps
David Willshaw
|
EDI-INF-RR-1071
May 2007
| Synthetic Trace-Driven Simulation of Cache Memory
Rahman Hassan
; Antony Harris
; Nigel Topham
; Aristeidis Efthymiou
|
EDI-INF-RR-1070
Mar 2007
| A Hybrid Markov Model for Accurate Memory Reference Generation
Rahman Hassan
; Antony Harris
; Nigel Topham
; Aristeidis Efthymiou
|
EDI-INF-RR-1069
Mar 2006
| Towards a Bell-Curve Calculus and its Application to e-Science
Lin Yang
; Alan Bundy
; Dave Berry
; Conrad Hughes
|
EDI-INF-RR-1068
Sep 2006
| Towards a Bell-Curve Calculus for e-Science
Lin Yang
; Alan Bundy
; Dave Berry
; Conrad Hughes
|
EDI-INF-RR-1067
Mar 2006
| iMONDRIAN: A Visual Tool to Annotate and Query Scientific Databases
Floris Geerts
; Anastasios Kementsietsidis
; Diego Milano
|
EDI-INF-RR-1066
2006
| Using Partial Evaluation in Distributed Query Evaluation
Peter Buneman
; Gao Cong
; Wenfei Fan
; Anastasios Kementsietsidis
|
EDI-INF-RR-1065
Jun 2003
| Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues.
Anastasios Kementsietsidis
; Marcelo Arenas
; Renee Miller
|
EDI-INF-RR-1064
Jun 2002
| Data Management for Peer-to-Peer Computing: A Vision
Philip Bernstein
; Fausto Giunchiglia
; Anastasios Kementsietsidis
; John Mylopoulos
; Luciano Serafini
; Ilya Zaihrayeu
|
EDI-INF-RR-1063
Oct 2006
| QoS Explorer: A Tool for Exploring QoS in Composed Services
Conrad Hughes
; Jamie Hillman
|
EDI-INF-RR-1062
Sep 2003
| Dependable Grid Services
Stuart Anderson
; Yin Chen
; Glen Dobson
; Stephen Hall
; Conrad Hughes
; Yong Li
; Sheng Qu
; Edmund Smith
; Ian Sommerville
; Tie Jun Ma
|
EDI-INF-RR-1061
Jun 2007
| Recognising Nested Named Entities in Biomedical Text
Beatrice Alex
; Barry Haddow
; Claire Grover
|
EDI-INF-RR-1060
May 2007
| Evaluation of Multihop Relaying for Robust Vehicular Internet Access
Yi Yang
; Mahesh Marina
; Rajive Bagrodia
|
EDI-INF-RR-1059
Jun 2007
| The Extraction of Enriched Protein-Protein Interactions from Biomedical Text
Barry Haddow
; Michael Matthews
|
EDI-INF-RR-1058
Oct 2003
| O-Plan: a Common Lisp Planning Web Service
Austin Tate
; Jeffrey Dalton
|
EDI-INF-RR-1057
Jul 2004
| KAoS Policy Management for Semantic Web Services
Andrzej Uszok
; Jeffrey M. Bradshaw
; Renia Jeffers
; Austin Tate
; Jeffrey Dalton
; Stuart Aitken
|
EDI-INF-RR-1056
Nov 2004
| Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment
Andrzej Uszok
; Jeffrey M. Bradshaw
; Renia Jeffers
; Austin Tate
; Jeffrey Dalton
|
EDI-INF-RR-1055
2007
| I-X software
Jeffrey Dalton
|
EDI-INF-RR-1054
Jul 2007
| Relational parametricity for computational effects
Rasmus Mogelberg
; Alexander Simpson
|
EDI-INF-RR-1053
Apr 2007
| A convenient category of domains
Ingo Battenfeld
; Matthias Schroeder
; Alexander Simpson
|
EDI-INF-RR-1052
2004
| XML Compression Project
James Cheney
|
EDI-INF-RR-1051
Jun 2002
| Cyclone: A Safe Dialect of C
Trevor Jim
; Greg Morrisett
; Dan Grossman
; Michael Hicks
; James Cheney
; Yanling Wang
|
EDI-INF-RR-1050
Mar 2006
| Completeness and Herbrand theorems for nominal logic
James Cheney
|
EDI-INF-RR-1049
Sep 2007
| CRISP
Mark Hartswood
; Conrad Hughes
; Stuart Anderson
|
EDI-INF-RR-1048
May 2005
| Field Information Management System (FIMS)
Armand Bejtullahu
; Conrad Hughes
; Stuart Anderson
|
EDI-INF-RR-1047
Jan 2005
| Agrajag
Conrad Hughes
; Stuart Anderson
|
EDI-INF-RR-1046
Jul 2007
| Combining Term-Based and Event-Based Matching for Question Answering
Michael Wiegand
; Jochen Leidner
; Dietrich Klakow
|
EDI-INF-RR-1045
May 2006
| SpeckMAC: Low-Power Decentralised MAC Protocols for low-data rate transmissions in Specknets
Steven Wong
; Damal Arvind
|
EDI-INF-RR-1044
May 2001
| Human INCENP colocalizes with the Aurora-B/AIRK2 kinase on chromosomes and is overexpressed in tumour cells.
Richard Adams
; Mark Eckley
; Paola Vagnarelli
; Sally Wheatley
; Dietlind Gerloff
; AListair Mackay
; William EArnshaw
|
EDI-INF-RR-1043
May 2001
| Essential roles of Drosophila inner centromere protein (INCENP) and aurora B in histone H3 phosphorylation, metaphase chromosome alignment, kinetochore disjunction, and chromosome segregation.
Richard Adams
; Helder Maiato
; William Earnshaw
; Mar Carmena
|
EDI-INF-RR-1042
Jun 2004
| Inducing Heuristics to Decide Whether to Schedule.
John Cavazos
; J. Eliot B. Moss
|
EDI-INF-RR-1041
Mar 2006
| SUSPECTS: enabling fast and effective prioritization of positional candidates.
Euan Adie
; Richard Adams
; Kathy Evans
; David Porteous
; Ben Pickard
|
EDI-INF-RR-1040
Dec 2007
| Factoring Gaussian Precision Matrices for Linear Dynamic Models
Jolyon Frankel
; Simon King
|
EDI-INF-RR-1039
Oct 2007
| Articulatory feature recognition using dynamic Bayesian networks
Jolyon Frankel
; Simon King
; Mirjam Wester
|
EDI-INF-RR-1038
Mar 2005
| Speeding disease gene discovery by sequence based candidate prioritization.
Euan Adie
; Richard Adams
; Kathy Evans
; David Porteous
|
EDI-INF-RR-1037
Dec 2006
| Automatic Evaluation of Information Ordering: Kendall's Tau
Mirella Lapata
|
EDI-INF-RR-1036
2001
| Using the Nystroem Method to Speed Up Kernel Machines
Chris Williams
; Matthias Seeger
|
EDI-INF-RR-1035
2001
| RAGs: A Novel Approach to Computerized Genetic Risk Assessment and Decision Support from Pedigrees.
Andrew Coulson
; David Glasspool
; John Fox
; Jon Emery
|
EDI-INF-RR-1034
Jan 2007
| Dynamic Verification of Trust in Distributed Open Systems
Nardine Osman
; Dave Robertson
|
EDI-INF-RR-1033
Sep 2006
| A model of antennal wall-following and escape in the cockroach
Timothy Chapman
; Barbara Webb
|
EDI-INF-RR-1032
May 2007
| Adapting a relation extraction pipeline for the BioCreAtIvE II task
Claire Grover
; Barry Haddow
; Ewan Klein
; Michael Matthews
; Leif Neilson
; Richard Tobin
; Xinglong Wang
|
EDI-INF-RR-1031
May 2003
| Grounding Spatial Named Entities for Information Extraction and Question Answering
Jochen Leidner
; Gail Sinclair
; Bonnie Webber
|
EDI-INF-RR-1030
Jul 2004
| A Framework for Text Mining Services
Claire Grover
; Harry Halpin
; Ewan Klein
; Jochen Leidner
; Stephen Potter
; Sebastian Riedel
; Sally Scrutchin
|
EDI-INF-RR-1029
Dec 2006
| HTS version 2.0
Keiichi Tokuda
; Zen Heiga
; Junichi Yamagishi
; Masuko Takashi
; Shinji Sako
; Black Alan
; Nose Takashi
|
EDI-INF-RR-1028
Aug 2003
| A Training Method of Average Voice Model for HMM-based Speech Synthesis
Junichi Yamagishi
; Masatsune Tamura
; Takashi Masuko
; Keiichi Tokuda
; Takao Kobayashi
|
EDI-INF-RR-1027
Feb 2007
| Average-Voice-based Speech Synthesis using HSMM-based Speaker Adaptation and Adaptive Training
Junichi Yamagishi
; Takao Kobayashi
|
EDI-INF-RR-1026
Mar 2005
| Acoustic Modeling of Speaking Styles and Emotional Expressions in HMM-based Speech Synthesis
Junichi Yamagishi
; Koji Onishi
; Takashi Masuko
; Takao Kobayashi
|
EDI-INF-RR-1025
2004
| Toponym Resolution in Text: "Which Sheffield is it?" [Doctoral Consortium]
Jochen Leidner
|
EDI-INF-RR-1024
Aug 2006
| Improving Biomedical Text Categorisation with NLP
Michael Matthews
|
EDI-INF-RR-1023
Jun 2007
| On the Quality of Service of Crash-Recovery Failure Detectors
Tie Jun Ma
; Jane Hillston
; Stuart Anderson
|
EDI-INF-RR-1022
2007
| Evidence for serial coercion: A time course analysis using the visual-world paradigm
Christoph Scheepers
; Frank Keller
; Mirella Lapata
|
EDI-INF-RR-1021
2004
| Development of a Grid Infrastructure for Functional Genomics
Richard Sinnott
; Dave Berry
; Micha Bayer
; Derek Houghton
; Magnus Ferrier
|
EDI-INF-RR-1020
2007
| Randomised Language Modelling for Statistical Machine Translation
David Talbot
; Miles Osborne
|
EDI-INF-RR-1019
2003
| Bootstrapping Statistical Parsers from Small Datasets
Mark Steedman
; Miles Osborne
; Anoop Sarkar
; Stephen Clark
; Rebecca Hwa
; Julia Hockenmaier
; Paul Ruhlen
|
EDI-INF-RR-1017
2003
| Inducing History Representations for Broad Coverage Statistical Parsing
James Henderson
|
EDI-INF-RR-1016
2004
| Discriminative training of a neural network statistical parser
James Henderson
|
EDI-INF-RR-1015
Mar 2006
| Using Machine Learning to Focus Iterative Optimization.
Felix Agakov
; Edwin Bonilla
; John Cavazos
; Bjoern Franke
; Grigori Fursin
; Michael O'Boyle
; John Thomson
; Marc Toussaint
; Chris Williams
|
EDI-INF-RR-1014
2005
| Data-defined kernels for parse reranking derived from probabilistic models
James Henderson
; Ivan Titov
|
EDI-INF-RR-1013
Jun 2007
| Incremental Bayesian Networks for Structure Prediction
Ivan Titov
; James Henderson
|
EDI-INF-RR-1012
Feb 2007
| Speech production knowledge in automatic speech recognition
Simon King
; Jolyon Frankel
; Karen Livescu
; Eric McDermott
; Korin Richmond
; Mirjam Wester
|
EDI-INF-RR-1011
Jun 2005
| Automatic Cinematography and Multilingual NLG for Generating Video Documentaries
Charles Callaway
; Elena Not
; Alessandra Novello
; Cesare Rocchi
; Oliviero Stock
; Massimo Zancanaro
|
EDI-INF-RR-1010
Aug 2002
| Narrative Prose Generation
Charles Callaway
; James Lester
|
EDI-INF-RR-1009
Sep 2006
| Observation process adaptation for linear dynamic models
Jolyon Frankel
; Simon King
|
EDI-INF-RR-1008
Dec 2006
| HaploRec: Efficient and accurate large-scale reconstruction of haplotypes
Lauri Eronen
; Floris Geerts
; Hannu Toivonen
|
EDI-INF-RR-1007
2007
| Eyetracking for two-person tasks with manipulation of a virtual world
Jean Carletta
; Craig Nicol
; Tim Taylor
; Robin Hill
; Jan Peter de Ruiter
; Ellen Gurman Bard
|
EDI-INF-RR-1005
Jan 2007
| Speech recognition using linear dynamic models
Jolyon Frankel
; Simon King
|
EDI-INF-RR-1004
Jul 2007
| A Formal Theory of Key Conjuring
Veronique Cortier
; Stephanie Delaune
; Graham Steel
|
EDI-INF-RR-1003
2005
| The Multi-Channel Wall Street Journal Audio Visual Corpus (MC-WSJ-AV): Specification and Initial Experiments
Michael Lincoln
; Iain McCowan
; Jithendra Vepa
; Hari Krishan Maganti
|
EDI-INF-RR-1002
2007
| The AMI System For The Transcription Of Speech In Meetings
Thomas Hain
; Lukas Burget
; John Dines
; Giulia Garau
; Michael Lincoln
; Jithendra Vepa
; Martin Karafiat
|
EDI-INF-RR-1001
2003
| The Development and Evaluation of a Speech-to-Sign Translation System to Assist Transactions
Stephen Cox
; Michael Lincoln
; Judy Tryggvason
; Melanie Nakisa
; Mark Wells
; Marcus Tutt
; Sanja Abbott
|
EDI-INF-RR-1000
May 2007
| The Application of Advanced Knowledge Technologies for Emergency Response
Stephen Potter
; Yannis Kalfoglou.
; Harith Alani
; Michelle Bachler
; Simon Buckingham Shum
; Rodrigo Carvalho
; Ajay Chakravarthy
; Stuart Chalmers
; Sam Chapman
; Bo Hu
; Alun Preece
; Nigel Shadbolt
; Austin Tate
; Mischa Tuffield
|
EDI-INF-RR-0999
May 2007
| Integrating Discrete Event and Process-Level Simulation for Training in the I-X Framework
Gerhard Wickler
; Austin Tate
; Stephen Potter
|
EDI-INF-RR-0998
Dec 2006
| Using I-X Process Panels as Intelligent To-Do Lists for Agent Coordination in Emergency Response
Gerhard Wickler
; Stephen Potter
; Austin Tate
|
EDI-INF-RR-0997
Jun 2006
| Recording Rationale in <I-N-C-A> for Plan Analysis
Gerhard Wickler
; Stephen Potter
; Austin Tate
|
EDI-INF-RR-0996
May 2006
| Using I-X Process Panels as Intelligent To-Do Lists for Agent Coordination in Emergency Response
Stephen Potter
; Austin Tate
; Gerhard Wickler
|
EDI-INF-RR-0995
Jul 2007
| Resource Monitoring in Information Extraction
Jochen Leidner
|
EDI-INF-RR-0994
May 2003
| Towards an Odor Communication System
David Harel
; Liran Carmel
; Doron Lancet
|
EDI-INF-RR-0993
Nov 2003
| Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation
Sol Efroni
; David Harel
; Irun Cohen
|
EDI-INF-RR-0992
2003
| Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
David Harel
; Rami Marelly
|
EDI-INF-RR-0991
Jul 2001
| LSCs: Breathing Life into Message Sequence Charts
Werner Damm
; David Harel
|
EDI-INF-RR-0990
2007
| Using Lexicalized Grammars and Headedness for Approximate Plan Recognition
Christopher Geib
|
EDI-INF-RR-0989
Nov 2005
| Automatic Verification of Design Patterns in Java
Alexander Blewitt
; Alan Bundy
; Ian Stark
|
EDI-INF-RR-0988
2004
| An extended transcriptional regulatory network of Escherichia coli and analysis of its hierarchical structure and network motifs
Hongwu Ma
; Baharani Kumar
; Uta Ditges
; Florian Gunzer
; Jan Buer
; An-Ping Zeng
|
EDI-INF-RR-0987
2004
| Decomposition of metabolic network based on the global connectivity structure of reaction graph
Hongwu Ma
; Xueming Zhao
; Yingjin Yuan
; An-Ping Zeng
|
EDI-INF-RR-0986
2003
| The connectivity structure, giant strong component and centrality of metabolic networks
Hongwu Ma
; An-Ping Zeng
|
EDI-INF-RR-0985
Jan 2003
| Reconstruction of metabolic networks from genome data and analysis of their global structure for various organisms
Hongwu Ma
; An-Ping Zeng
|
EDI-INF-RR-0984
Dec 2006
| Extractive Summarisation of Legal Texts
Benjamin Hachey
; Claire Grover
|
EDI-INF-RR-0983
Apr 2007
| Context Estimation and Learning Control through Latent Variable Extraction: From discrete to continuous contexts
Georgios Petkos
; Sethu Vijayakumar
|
EDI-INF-RR-0982
2007
| Sensor-assisted adaptive motor control under continuously varying context
Heiko Hoffmann
; Georgios Petkos
; Sebastian Bitzer
; Sethu Vijayakumar
|
EDI-INF-RR-0981
Jun 2007
| Linear and Nonlinear Generative Probabilistic Class Models for Shape Contours
Graham McNeill
; Sethu Vijayakumar
|
EDI-INF-RR-0980
Sep 2005
| Serial order and consonant-vowel structure in a graphemic output buffer model.
David Glasspool
; George Houghton
|
EDI-INF-RR-0979
2006
| A canonical agent model for healthcare applications.
John Fox
; David Glasspool
; Sanjay Modgil
|
EDI-INF-RR-0978
2006
| Towards a unified process model for graphemic buffer disorder and deep dysgraphia.
David Glasspool
; Tim Shallice
; Lisa Cipolotti
|
EDI-INF-RR-0977
Oct 2006
| Agent-based distributed decision support system for brain tumour diagnosis and prognosis
Horacio Gonzalez-Velez
; Adriana Mier Perez
; Carles Arus
; Bernardo Celda
; Sabine van Huffel
; Paul Lewis
; Andrew Peet
|
EDI-INF-RR-0976
Jan 2005
| On the abstraction of message-passing communications using algorithmic skeletons: A case study
Horacio Gonzalez-Velez
|
EDI-INF-RR-0974
Jul 2006
| Individuality and Alignment in Generated Dialogues
Amy Isard
; Carsten Brockmann
; Jon Oberlander
|
EDI-INF-RR-0973
2003
| Context-Dependent Interpretation and Implicit Dialogue Acts
Joern Kreutel
; Colin Matheson
|
EDI-INF-RR-0972
Jun 2007
| Parallel stochastic simulation of macroscopic calcium currents
Virginia Gonzalez-Velez
; Horacio Gonzalez-Velez
|
EDI-INF-RR-0971
Apr 2007
| Pattern formation for multi-robot applications: Robust, self-repairing systems inspired by genetic regulatory networks and cellular self-organisation
Tim Taylor
; Peter Ottery
; John Hallam
|
EDI-INF-RR-0970
Jun 2005
| A grid-based stochastic simulation of unitary and membrane Ca2+ currents in spherical cells
Virginia Gonzalez-Velez
; Horacio Gonzalez-Velez
|
EDI-INF-RR-0969
Mar 2007
| Adaptive structured parallelism for computational grids
Horacio Gonzalez-Velez
; Murray Cole
|
EDI-INF-RR-0968
Dec 2006
| Towards fully adaptive pipeline parallelism for heterogeneous distributed environments
Horacio Gonzalez-Velez
; Murray Cole
|
EDI-INF-RR-0967
Dec 2006
| On the design of a web-based decision support system for brain tumour diagnosis using distributed agents
Carles Arus
; Bernardo Celda
; Srinandan Dasmahapatra
; David Dupplaw
; Horacio Gonzalez-Velez
; Sabine van Huffel
; Paul Lewis
|
EDI-INF-RR-0966
Sep 2006
| Self-adaptive skeletal task farm for computational grids
Horacio Gonzalez-Velez
|
EDI-INF-RR-0965
Dec 2006
| Probabilistic goal recognition system and method incorporating inferred unobserved actions
Christopher Geib
; Robert Goldman
|
EDI-INF-RR-0964
2004
| Assessing the Complexity of Plan Recognition
Christopher Geib
|
EDI-INF-RR-0963
2003
| Recognizing Plan/Goal Abandonment
Christopher Geib
; Robert Goldman
|
EDI-INF-RR-0962
Jan 2007
| On Natural Language Processing and Plan Recognition
Christopher Geib
; Mark Steedman
|
EDI-INF-RR-0961
Jan 2001
| The MATE Workbench - an annotation tool for XML coded speech corpora
David McKelvie
; Amy Isard
; Andreas Mengel
; Morten Moeller
; Michael Grosse
; Marion Klein
|
EDI-INF-RR-0960
2007
| Exploring model selection techniques for nonlinear dimensionality reduction
Stefan Harmeling
|
EDI-INF-RR-0959
Jan 2004
| fMRI correlates of state and trait effects in subjects at genetically enhanced risk of schizophrenia
H. C. Whalley
; E Simonotto
; Susanna Flett
; I Marshall
; K Ebmeier
; D Owens
; Nigel Goddard
|
EDI-INF-RR-0958
2007
| Formalising Java's Data-Race-Free Guarantee
David Aspinall
; Jaroslav Sevcik
|
EDI-INF-RR-0957
Dec 2006
| Semantic Grid Services for Video Analysis
Gayathri Nadarajan
; Jessica Chen-Burger
; James Malone
|
EDI-INF-RR-0956
Feb 2007
| Translating Fundamental Business Process Modelling Language to the Web Services Ontology through Lightweight Mapping
Gayathri Nadarajan
; Jessica Chen-Burger
|
EDI-INF-RR-0955
2007
| Structure Preserving Semantic Matching
Fausto Giunchiglia
; Mikalai Yatskevich
; Fiona McNeill
|
EDI-INF-RR-0954
Jan 2007
| Cooperating Reasoning Processes: More than Just the Sum of their Parts
Alan Bundy
|
EDI-INF-RR-0952
Oct 2006
| Automatic Performance Model Construction for the Fast Software Exploration of New Hardware Designs
John Cavazos
; Christophe Dubach
; Felix Agakov
; Edwin Bonilla
; Michael O'Boyle
; Grigori Fursin
; Olivier Temam
|
EDI-INF-RR-0951
Mar 2006
| Hybrid Optimizations: Which Optimization Algorithm to Use?
John Cavazos
; J. Eliot B. Moss
; Michael O'Boyle
|
EDI-INF-RR-0950
Oct 2006
| Method-Specific Dynamic Compilation using Logistic Regression
John Cavazos
; Michael O'Boyle
|
EDI-INF-RR-0949
Apr 2007
| Conditional Functional Dependencies for Data Cleaning
Wenfei Fan
; Philip Bohannon
; Floris Geerts
; Xibei Jia
; Anastasios Kementsiets
|
EDI-INF-RR-0948
Apr 2007
| Value Function Approximation on Non-Linear Manifolds for Robot Motor Control
Masashi Sugiyama
; Hirotaka Hachiya
; Christopher Towell
; Sethu Vijayakumar
|
EDI-INF-RR-0947
Feb 2007
| Resonant neurons and bushcricket behaviour
Barbara Webb
; Jan Wessnitzer
; Sarah Bush
; Johannes Schul
; Jonas Buchli
; Auke Ijspeert
|
EDI-INF-RR-0946
Jan 2007
| Sequential Use of Mushroom Body Neuron Subsets during Drosophila Odor Memory Processing
Michael J Krashes
; Alex C Keene
; Benjamin L Leung
; Douglas Armstrong
; Scott Waddell
|
EDI-INF-RR-0944
Oct 2006
| Automatic Construction and Verification of Isotopy Invariants
Volker Sorge
; Andreas Meier
; Roy McCasland
; Simon Colton
|
EDI-INF-RR-0943
Jan 2005
| Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Jessica Chen-Burger
; Dave Robertson
|
EDI-INF-RR-0942
2007
| Translating Fundamental Business Process Modelling Language to the Web Services Ontology through Lightweight Mapping
Gayathri Nadarajan
; Yun-Heh Chen-Burger
|
EDI-INF-RR-0940
Apr 2006
| Experimental Evaluation of Application Performance with 802.11 PHY Rate Adaptation Mechanisms in Diverse Environments
Yi Yang
; Mahesh Marina
; Rajive Bagrodia
|
EDI-INF-RR-0939
Apr 2006
| Impact of Network Subsystem on Reliable Transport Protocol Performance over Wireless Links
Zhiguo Xu
; Mahesh Marina
; Rajive Bagrodia
|
EDI-INF-RR-0938
Oct 2005
| A Topology Control Approach for Utilizing Multiple Channels in Multi-Radio Wireless Mesh Networks
Mahesh Marina
; Samir Das
|
EDI-INF-RR-0937
Sep 2004
| Routing in Mobile Ad Hoc Networks
Mahesh Marina
; Samir Das
|
EDI-INF-RR-0936
Mar 2002
| Query Localization Techniques for On-Demand Routing Protocols in Ad Hoc Networks
Robert Castaeda
; Samir Das
; Mahesh Marina
|
EDI-INF-RR-0935
Nov 2001
| Optimizing Remote File Access for Parallel and Distributed Network Applications
Jon Weissman
; Mahesh Marina
; Michael Gingras
|
EDI-INF-RR-0934
Dec 2006
| Probabilistic inference for solving (PO)MDP's
Marc Toussaint
; Stefan Harmeling
; Amos Storkey
|
EDI-INF-RR-0933
Jun 2006
|
