
Technical Reports of the Department of Computer Science
If you would like to receive a copy of a technical report that is
not available online, please contact Rachele Winn, Web Officer, at
rachele@essex.ac.uk
CSM474 
"LePUS3 and ClassZ Reference Manual" A.
Eden, E. Gasparis and J. Nicholson 
CSM473 
"Design mining in LePUS3/ClassZ: search
space and abstraction/concretization operators" E. Gasparis
and A. Eden 
CSM472 
"The LePUS3 and ClassZ companion to the
'Gang of Four' design patterns" A. Eden, J. Nicholson and E.
Gasparis 
CSM471 
"Verification of LePUS3/ClassZ
Specifications: Sample models and Abstract Semantics for Java
1.4" J. Nicholson, A. Eden and E. Gasparis 
CSM470 
A SIMD interpreter for Genetic Programming
on GPU Graphics Cards, W. B. Langdon 
CSM469 
An Analysis of Publications on Particle
Swarm Optimisation Applications, R. Poli 
CSM468 
t.b.a. Robert E Keller 
CSM467 
Quotient Geometric Crossover, Y. Yoon,
YH. Kim, A. Moraglio and BR. Moon 
CSM466 
Geometric Crossovers for Realcode
Representation, Y. Yoon, YH Kim, A. Moraglio and BR. Moon 
CSM465 
The Sampling Distribution of Particle Swarm
Optimisers and their Stability, R. Poli 
CSM464 
On the Limiting Distribution of Program
Sizes in Treebased Genetic Programming, R. Poli, W. B.
Langdon, S. Dignum 
CSM463 
Continuous Optimisation Theory Made Easy?
Finiteelement Models of Evolutionary Strategies, Genetic
Algorithms and Particle Swarm Optimizers, R. Poli
W. B. Langdon, M. Clerc, C. R. Stephens 
CSM462 
Behavioural Funnelling, John Pisokas 
CSM461 
Problems in the ontology of computer
programs, A.H. Eden and R. Turner 
CSM460 
Stagnation Analysis in Particle Swarm
Optimisation or What Happens When Nothing Happens, M. Clerc
and R. Poli (editor) 
CSM459 
Modelling the Regularity in an Estimation of
Distribution Algorithm for Continuous Multiobjective
Optimisation with Variable Linkages, Q. Zhang, A. Zhou and
Y. Jin 
CSM458 
Shopbots: A syntactic present, a semantic
future, M. Fasli 
CSM457 
Predicting Ten Thousand Bits from Ten
Thousand Inputs, W.B. Langdon 
CSM456 
The Halting Probability in Von Neumann
Architectures (summary), W. B. Langdon & R. Poli 
CSM455 
Evolving Problems to Learn about Particle
Swarm Optimisers and other Search Algorithms, W. B. Langdon
& R. Poli 
CSM454 
Cycle Crossover for Permutations with
Repetitions, A. Moraglio, YH. Kim, Y. Yoon, BRo Moon & R. Poli 
CSM453 
Communication, Leadership, Publicity and
Group Formation in Particle Swarms, R. Poli, W. B. Langdon,
P. Marrow, J. Kennedy, M. Clerc, D. Bratton, N. Holden 
CSM452 
Extending the Particle Swarm Algorithm to
Model Animal Foraging Behaviour, C. Di Chio, R. Poli, P. Di
Chio 
CSM451 
P300based BCI Mouse with
Geneticallyoptimised Analogue Control, L. Citi, R. Poli, C.
Cinel and F. Sepulveda 
CSM450 
A Multiobjective Evolutionary Algorithm
Based on Decomposition, Q. Zhang and H. Li 
CSM449 
Analogue P300based BCI pointing device,
L Citi, R Poli and C Cinel 
CSM448 
Geometric Crossover for Permutations with
Repetitions: Applications to Grpah Partitioning, A.
Moraglio, YH Kim, Y. Yoon, BR Moon, R. Poli 
CSM447 
Product Geometric Crossover, A. Moraglio 
CSM446 
Emergent Behaviour, Populationbased Search
and Lowpass Filtering, R. Poli, A.H. Wright, N.F. McPhee,
W.B. Langdon 
CSM445 
On Turing Complete T7, and MISC F4 Program
Fitness Landscapes,
W. B. Langdon, R Poli 
CSM444 
LDGrid: Requirements and Technologies,
U. Kruschwitz 
CSM443 
Kernel methods for PSOs, W.B. Langdon,
R. Poli, C.R. Stephens 
CMS442 
An elementary formulation of Riemann's Zeta
function, R. Poli and W. B. Langdon 
CMS441 
1st UK Workshop on Artificial Intelligence in
Education, ed. M. Fasli 
CSM440 
Information and Performance Landscapes, R, Poli
and Y. Borenstein 
CSM439 
Revised Experiment in Evolution Complexity:
Instructions to Subjects, T. Mens & A. Eden 
CSM438 
Underspecification and Anaphora: Theoretical
Issues and Preliminary Evidence, M. Poesio, P. Sturt, R. Artstein
and R. Filik 
CSM437 
Kappa^{3} = alpha (or beta), R. Artstein and M. Poesio 
CSM436 
LePUS2 User Guide, E. Gasparis 
CSM435 
Genetic Local Search for Job Shop Scheduling
Problem, A. Moraglio 
CSM434 
Report on the NCeSS Agenda Setting Workshop
on Confidentiality and Data Sharing, U. Kruschwitz 
CSM433 
Understanding the Biases of Generalised
Recombination, R. Poli and C. Stephens 
CSM432 
Coarse Grained Dynamics for Generalised
Recombination, C. Stephens, R. Poli 
CSM431 
Experiments in Evolution Complexity:
Instructions to Subjects, A. Eden 
CSM430 
Geometric Landscape of Homologous Crossover
for Syntactic Trees, A. Moraglio and R. Poli 
CSM429 
Abstract Geometric Crossover for the
Permutation Representation, A. Moraglio and R.
Poli 
CSM428 
A survey: advanced vision technologies in
the control of wheelchairs, H. Hu 
CSM427 
Coarse Graining in an Evolutionary Algorithm
with Recombination, Duplication and Inversion, R. Poli
and C. Stephens 
CSM426 
Theoretical Analysis of Generalised
Recombination, R. Poli and C. Stephens 
CSM425 
BackwardChaining Genetic Programming,
R. Poli
and W. Langdon 
CSM424 
Evolution Complexity, A. Eden and T. Mens 
CSM423 
Evolutionary Solo Pong Players, W. Langdon
and R. Poli 
CSM422 
Sensors and Data Fusion Algorithms in Mobile
Robotics, H. Hu and J. Gan 
CSM421 
The Specification Logic vZ, M.
Henson, M. Deutsch and B. Kajtazi 
CSM420 
A Survey  Human Movement Tracking and
Stroke Rehabitation, H. Zhou and H. Hu 
CSM419 
The Intension/Locality Hypothesis, A.
Eden and R. Turner 
CSM418 
N. Jin  details to follow 
CSM417 
N. Jin  details to follow 
CSM416 
A Survey of AIbased Metaheuristics for
Dealing with Local Optima in Local Search, P. Mills,
E. Tsang, Q. Zhang and J. Ford 
CSM415 
Proceedings of TAROS 2004, Towards Autonomous
Robotic Systems, U. Nehmzow and C. Melhuish (Editors) 
CSM414 
A Hybrid Approach to Inverse
Kinematics Modelling and Control of Pioneer 2 Robotic Arms,
Eric Rosales, J. Gan, E. Oyama, H. Hu 
CSM413 
Forward and Inverse Kinematics
Models for a 5DOF Pioneer 2 Root Arm, E. Rosales and J. Gan 
CSM412 
CMAC and ANFIS for Nonlinear Modeling,
E. Rosales and J. Gan 
CSM411 
Abstraction Strata in Software Design,
A. Eden 
CSM410 
SSCM Experimental Result Analysis Systems,
T. Gosling 
CSM409 
SSCM Experimental System, T. Gosling 
CSM408 
Topological Crossover
for the Permutation Representation, A. Moraglio and R. Poli 
CSM407 
Modular
reasoning in Z: scrutinising monotonicity and refinement, M.
Deutsch, M. Henson & S. Reeves 
CSM406 
ZDCRostering: A Personnel Scheduling System Based On
Constraint Programming, E. Tsang, J. Ford, P. Mills, R. Williams, P.
Scott 
CSM405 
PhD in Open Constraint Satisfaction: SSCM, A
Position Statement, T. Gosling 
CSM404 
Multiagent Reinforcement Learning
for MultiRobot Systems: A Survey, D. Gu and E. Yang 
CSM403 
R. Poli 
CSM402 
R. Poli 
CSM401 
Population Based Incremental Learning Versus Genetic Algorithms:
Iterated Prisoners Dilemma, T. Gosling, N. Jin and E. Tsang 
CSM400 
Multiagent Foreign Exchange Market Modelling via GP,
S. Dignum
and R. Poli 
CSM399 
Providing Robust Access to Data in Web Pages, J. Robinson 
CSM398 
Data Extraction from Web Data Sources, J. Robinson 
CSM397 
The Foundations of Specification II, Ray Turner 
CSM396 
The Foundations of Specification I, Ray Turner 
[top
of page]
CSM395 
Implementing Scenario One Strategies and the Use of Evolutionary
Computation, T. Gosling 
CSM394 
The Scenario One Strategies, T. Gosling 
CSM393 
SSCM Scenarios, T. Gosling 
CSM392 
The Simple Supply Chain Model (SSCM),
T. Gosling & E. Tsang 
CSM391 
DataRefinement, M. Deutsch &
M. Henson 
CSM390 
Convergence of GENET Guided Local Search for CSPs, Qingfu
Zhang, Z. Xu, E. Tsang, J. Ford, H. Li and J. Sun 
CSM389 
Reasoning about the dynamics of
social behaviour, Fasli M. 
CSM388 
Thalis: A flexible trading
agent, Fasli M. with Poursanidis N. 
CSM387 
TwoTier Programming, A.
Eden, R. Kazman (Software Engineering Institute,
Pittsburgh, PA and University of Hawaii,
Honolulu, HI) and C. Fox 
CSM386 
Firing Conditions, M.
Deutsch 
CSM385 
Cooperation in Competitions  Constraint Propagation Strategies in
Chainbargaining, E. Tsang 
CSM384 
An Analysis of Total Correctness Refinement Models for Partial
Relation Semantics II, M. Deutsch & M. Henson 
CSM383 
Four Theories for Backward Simulation Data Refinement,
M. Deutsch
& M. Henson 
CSM382 
The Integrated Architecture Environment: A TwoTier Programming
Tool, A. Eden 
CSM381 
Operation Refinement and Monotonicity in the Schema Calculus,
M. Deutsch, M. Henson & S.
Reeves 
CSM380 
An Analysis of Forward Simulation Data Refinement,
M. Deutsch &
M. Henson 
CSM379 
Results on Formal Stepwise Design in Z,
M. Deutsch, M. Henson
& S. Reeves 
CSM378 
Modelling Human Locomotion,
P. Wolkotte, University of Twente,
the Netherlands 
CSM377 
On the Definitions of Architecture, Design, and Implementation, A.
Eden and R. Kazman (Software Engineering Institute, Pittsburgh, PA
and University of Hawaii,
Honolulu, HI) 
[top
of page]
CSM376 
Reasoning about Knowledge and Belief: A Syntactical
Treatment, M. Fasli 
CSM375 
Walking Robots  A Survey and a Research
Proposal, R. Knight & U. Nehmzow 
CSM374 
Robot Action Selection through
Subsymbolic Planning, J. Pissokas & U. Nehmzow 
CSM373 
Emergence, Abstract Multiagent Systems and Multistate
Networks, J. Adam 
CSM372 
Heterogeneous BDI Agents, M.
Fasli 
CSM371 
Extending Guided Local
Search  Towards a Metaheuristic Algorithm with no Parameters to
Tune, E. Tsang, P. Mills and J. Ford 
CSM370 
Discourse
Structure and Anaphora: an Empirical Study, M. Poesio, B. di Eugenio
and G. Keohane 
CSM369 
A Corpusbased Evaluation of Centering Theory,
M. Poesio, R. Stevenson, H. Cheng, B. di Eugenio
and J. Hitzeman 
CSM368 
t.b.a. U. Nehmzow 
CSM367 
GA Learning in MultiRobot Scenarios: The PEGA
Algorithm, U. Nehmzow 
CSM366 
Experiments with Staged Learning for a
Continually Operating Robot, U. Nehmzow & G. Ireland 
CSM365 
Using schema theory to
explore interactions of multiple operators, N. McPhee & R.
Poli 
CSM364 
An Analysis of Operation
Refinement in Z, M. Deutsch, M. Henson & S. Reeves 
CSM363 
Six Theories of
Operation Refinement for Partial Relation Semantics, M. Deutsch,
M. Henson & S. Reeves, 
CSM362 
An Analysis of Total
Correctness Refinement Models for Partial Relation Semantics I,
M. Deutsch, M. Henson & S.
Reeves 
CSM361 
A Logic for Schemabased Program
Development, M. Henson & S. Reeves 
CSM360 
Discovering Efficient Learning Rules for
Feedforward Neural Networks using Genetic Programming, A. Radi &
R. Poli 
CSM359 
Constraint Satisfaction in Business Processes Modelling,
E. Tsang 
CSM358 
An analysis of random number generators for a hardware
implementation of Genetic Programming using FPGAs and HandelC',
P. Martin, 
CSM357 
Analysis of the behaviour of a hardware
implementation of Genetic Programming using FPGAs and HandelC', P. Martin &
R. Poli, 
CSM356 
Constructing interrelational rules for semantic query
optimisation, B. Lowden 
CSM355 
Improved
information retrieval
using semantic
optimisation, B.
Lowden 
CSM354 
An analysis of file
space properties
using clustering,
B. Lowden 
CSM353 
A Pipelined Hardware Implementation of Genetic
Programming using FPGAs and HandelC, P. Martin 
CSM352 
On the Search Biases of Homologous Crossover in Linear
Genetic Programming and Variablelength Genetic Algorithms,
R. Poli,
C.
Stephens, A. Wright &
J. Rowe 
[top
of page]
CSM351 
New Implicit Updates in Multistep
QuasiNewton Methods for Unconstrained Optimisation, J. Ford & S. Tharmlikit 
CSM350 
Diffusion in Linear Genetic Programming and VariableLength
Genetic Algorithms with Subtree Crossover, R. Poli,
J.
Rowe,
C. Stephens,
A. Wright 
CSM349 
Benford's Law: An Empirical Investigation
and a Novel Explanation P. Scott and M. Fasli 
CSM348 
Paul Scott 
CSM347 
Paul Scott 
CSM346

Task
Abstractions, T. Gerdsmeier and R. CardellOliver 
CSM345 
On Commitments, Roles and Obligations,
M.
Fasli 
CSM344 
Two Semantic Embeddings of ZSchemas in Isabelle/HOL,
N.
Völker 
CSM343 
A Deep Embedding of ZC in Isabelle/HOL, N. Völker 
CSM342 
Using a Network of Workstations
to Enhance Database Query Processing Performance, M. AlHaddad & J. Robinson 
CSM341 
Kernel Abstractions, T. Gerdsmeier 
[top
of page]
CSM340 
A Method for
Verifying RealTime Properties of Ada Programs, T. Gerdsmeier & R. CardellOliver 
CSM339 
Analysis of
Scheduling Behaviour with Timed Automata  Protected Objects, T. Gerdsmeier & R. CardellOliver 
CSM338 
A Type Theoretic Context for Friedman's Set
Theory B, E. Wilkins 
CSM337 
From Topoi to Sets and Back Again, E. Wilkins 
CSM336 
Test Frame: A Test Generation Tool for RealTime Systems, T. Glover 
CSM335 
Analysis of Scheduling Behaviour using Generic Timed Automata, T. Gerdsmeier and R. CardellOliver 
CSM334 
Biendomorphism Rings of Finitely Presented Simple
Modules, E. Wilkins 
CSM333 
Topos Semantics and Isabelle, E. Wilkins 
[top
of page]
CSM332 
A Visual Tracking and Prediction
Algorithm for Robot Football, E. Smith and H. Hu 
CSM331 
Evaluating and Comparing the 2Tier
and 3Tier Client/Server Architectures, E. Katsaros & M. Colley 
CSM330 
Conformance Testing of RealTime Systems
against Timed Automata Specifications, R. CardellOliver 
CSM329 
Using a MLP to
Predict Packet Loss During Realtime Video Transmission, S. Lavington, H. Hagras and N. Dewhurst 
CSM328 
A Survey of Multistep QuasiNewton Methods, J. Ford 
CSM327 
Solving the MAXSAT Problem using
Guided Local Search, P. Mills and E. Tsang 
CSM326 
Optimising ClientServer
Performance when Mining Large Databases, N. Dewhurst and S. Lavington 
CSM325 
Towards a Theory of Evidence, E. Wilkins and S. Lavington 
CSM324 
EaCL 1.5: An Easy Abstract Constraint Optimisation
Programming Language, P. Mills, E. Tsang, R. Williams, J. J. Ford. Borrett 
[top
of page]
CSM323 
A Neural Network Toolkit for Financial Prediction, R. Pugh & E. Tsang 
CSM322 
t.b.a. 
CSM321 
EACL: An Easy Abstract Constraint Programming Language, P. Mills, E. Tsang, R. Williams, J. Ford and T. Borrett 
CSM320 
Intelligent Buildings Group, V. Callaghan, S. Sharples, G. Clarke 
CSM319 
The standard logic of Z is inconsistent, M. Henson 
CSM318 
Principles of CORBA, D. Lyons 
CSM317 
Investigating Z: the schema calculus, M. Henson & S. Reeves 
CSM316 
Implicit Updates in Multistep QuasiNewton Methods, J. Ford 
CSM315 
A Nonlinear Model for Functionvalue
Multistep Methods, I. Moghrabi. and J. Ford 
CSM314 
Bundles and Presheaves, a Logic of Evidence, E. Wilkins and S. Lavington 
CSM313 
Overcoming Fragmentation in Decision Trees Through Attribute Value Grouping, K. Ho and P. Scott 
CSM312 
New Foundations for Z, M. Henson and S. Reeves 
CSM311 
Revising Z: semantics and logic, M. Henson 
CSM310 
A Logic for the Schema Calculus, M. Henson 
CSM309 
Vernacular Programming: General Recursion, M. Henson 
CSM308 
A Behaviour Based Hierarchical Fuzzy Control Architectural Real Time Autonomous Mobile Robots, H. Hagras, V. Callaghan, M. Colley, and M. Carrrwest 
CSM307 
Market Efficiency, Predictability and Genetic Algorithms, J. Li and E. Tsang 
CSM306 
A Practical and Complete Algorithm for Testing RealTime Systems, R. CardellOliver and T. Glover 
CSM305 
Guided Genetic Algorithm and its application to the Processor Configuration Problem, T. Lau and E. Tsang 
CSM304 
Solving the Generalized Assignment Problem with the Guided Genetic Algorithm, T. Lau and E. Tsang 
CSM303 
The Guided Genetic Algorithm and its Application to the Generalized Assignment Problem, T. Lau and E. Tsang 
[top
of page]
CSM302 
Statistical Methods of Text Classification,
J. Lynch 
CSM301 
VisionBased Interaction with Virtual
Worlds for the Design of Robot Controllers, D'Aulignac, V.
Callaghan and S. Lucas 
CSM300 
An Autonomous Vehicle Navigation System
Using Panoramic Machine Vision Techniques, K. Rushant and
L. Spacek 
CSM299 
Planning and Control: A
DecisionTheoretic Approach, Y. Stavroulas and S.
Steel 
CSM298 
An Autonomous Vehicle Navigation
System using Panoramic Machine Vision Techniques, K.
Rushant and L. Spacek 
CSM297 
The Effect of IP/SMDS Network
Traffic on 1.6 Mbits/sec. Synthetic Video Streamed between UCL and
Essex University, R. Gamble & S. Lavington 
CSM296 
An Efficient Global Discretization
Method, K. Ho & P. Scott 
CSM295 
Directions in Genetic
Programming, P. Smith 
CSM294 
Fullmotion video over the SuperJANET SMDS
network: summary of experiments conducted
between Cambridge and Essex Universities on 10
September 1997, R. Gamble & S. Lavington 
CSM293 
A parameterised synthetic
video server/client system for network
resource analysis, R. Gamble & S. Lavington 
CSM292 
A Logic for Z, R.
Turner 
CSM291 
B. Lowden 
CSM290 
An Equivalence
theorem for the Operational and Temporal
Semantics of RealTime, concurrent
Programs, R. CardellOliver 
CSM289 
Combining Tools for
the Verification of FaultTolerence
Systems, B. Buth, R. CardellOliver
& J. Peleska (Preliminary Version) 
CSM288 
P. Scott 
CSM287 
Zete: A Global Method for Discretization
of continuous Variables, K. Ho
& P. Scott 
CSM286 
SNOUT: An
Intelligent Assistant for
Exploratory Data Analysis, P.
Scott, A. Coxon, M. Hobbs. &
R. Williams 
CSM285 
Forming
Categories in Exploratory Data
Analysis and Data Mining,
P. Scott, R. Williams & K.
Ho 
CSM284 
Case
Study in Z: Formal
Specification of the
Enrolment System, S. MirianHosseinabadi 
CSM283 
Pilot
experiments in broadband
interactive video using OVS,
S. Lavington, R. Gamble &
N. Dewhurst 
[top
of page]
CSM282 
Uncertainty in connectionist Learning,
J. Feist & P. Scott 
CSM281 
Where is the Psycholinguistics in
Programming Language Design?, C. Douce 
CSM280 
Rule Maintenance in Semantic Query Optimization
with Statistical Techniques, B. Lowden & P.
Chan 
CSM279 
Applying Low Power Genetic Algorithm to
Processor Configuration Problem, L. Leng & P. Tsang 
CSM278 

CSM277 
A BeliefCentered Treatment of
Pragmatic Presupposition, L. Manara & A. De Roeck 
CSM276 
No More 'Partial' and 'Full
Looking Ahead, E. Tsang 
CSM275 
Integrity Constraint Checking
using Hypothetical Analysis of Modal Records,
B. Lowden & C. Lim 
CSM274 
Running KDD primitives on the
IBM SP2: preliminary measurements, D. Thoen,
S. Lavington & N. Dewhurst 
CSM273 
A simple analytic SQL
benchmark for setbased KDD primitives, D. Thoen, &
S. Lavington 
CSM272 
Active functionality at
the SQL level, N. Dewhurst & S.
Lavington 
CSM271 
Further development of
minimum curvature multistep quasiNewton
methods for unconstrained optimization,
J. Ford. & J. Moghrabi 
CSM270 
An alternating
multistep quasiNewton method for
unconstrained optimization, J. Ford. &
J. Moghrabi 
CSM269 
Adaptive Constraint
Satisfaction, J. Borrett & E.
Tsang 
CSM268 
A Behavioural
Vision System for Search and Motion
Tracking, D. Livingstone & L.
Spacek 
CSM267 
Efficient
instancebased learning for
relational DBMS running on
parallel SQL platforms, A.
Freitas, S. Lavington, D. Thoen &
R. Gamble 
CSM266 
Speeding up
knowledge discovery in large
relational databases by means of
a new discretization algorithm,
A. Freitas & S.
Lavington 
CSM265 
Borrett, J. 
CSM264 
Towards a
Formal Framework for
Comparing constraint
satisfaction problem
formulations, J. Borrett 
CSM263 
A New
MultiStep QuasiNewton
method for unconstrained optimization,
J. Ford, & S. Yull 
CSM262 
Comparing CSP algorithms
without considering
variable ordering
heuristics can be
misleading, A.
Kwan & E. Tsang 
CSM261 
The
validity of normality
assumption in CSP
research, A. Kwan
& E. Tsang 
CSM260 
Minimal forward
checking with backmarking,
A. Kwan & E.
Tsang 
[top
of page]
CSM259 
EDDIE Beats The
Bookies, J.
Butler & E. Tsang 
CSM258 
Applying
a MutationBased
Genetic Algorithm
to Processor
Configuration
Problems, L. Lau &
E. Tsang 
CSM257 
Improved
Algorithms of
IllinoisType
for the
Numerical
Solution of Nonlinear
Equations,
J. Ford 
CSM256 
Adaptive
Constraint
Satisfaction:
the Quickest
First
Principle, J. Borrett,
E. Tsang and
N. Walsh 
CSM255

Papers of
the 14th Worshop
of the UK
Planning and
Scheduling
Special
Interest
Group,
S. Steel
(ed) 
CSM254 

CSM253 
A
Theorem
Proving
Abstraction
of Model
Checking,
R.
CardellOliver &
C. Southon 
CSM252 
Using
SQL
primitives
and
parallel
DB
servers
to
speed
up
knowledge
discovery
in
large
relational
databases,
A.
Freitas &
S.
Lavington 
CSM251 
Multistep
QuasiNewton Optimization
Algorithms
which
Utilize
Curvature
Information,
J.
Ford
& I, Moghrabi 
CSM250 
Partial
Constraint
Satisfaction
Problems
and
Guided
Local
Search,
C.
Voudouris
&
E.
Tsang 
CSM249 
Function Optimization using Guided Local Search, C. Voudouris & E. Tsang 
CSM248 
IFSQ User Documentation, S. Lavington & N. Dewhurst 
CSM247 
Guided local search, C. Voudouris & E. Tsang 
CSM246 
Fast local search and guided local search and their application to British Telecom's workforce scheduling problem, E. Tsang & C. Voudouris 
CSM245 
Linking Notations and Theories in a Proof Tool, R. CardellOliver & R. Hale 
CSM244 
Simulating Societies using Distributed AI, J. Doran 
CSM243 
Hardware support for parallel closure operations, S. Lavington, R. Gamble, N. Dewhurst, D. Thoen &
A. Marsh 
CSM242 
A dataparallel primitive for highperformance knowledge discovery in large databases, A. Freitas & S. Lavington 
CSM241 
Quantification in classical planning, A. Kwan, E. Tsang & J. Borrett 
CSM240 
Implementing Z in Morgan's Refinement Calculus, S.H. MirianHosseinabadi 
CSM239 

CSM238 

CSM237 
PACE: A Prototype Design, T. Reynolds, M. Waite & F. Ieromnimon 
CSM236 
Observations on the Usefulness of Arc Consistency Preprocessing, J. Borrett 
CSM235 
Performance Analysis of the IFS/2 KnowledgeBase Server: Experimental Results, S. Lavington, N. Dewhurst, D. Thoen, & R. Gamble 
CSM234 
SQLOG: A Relational Language with Recursion, N. Dewhurst & S. Lavington 
CSM233 
Occlusion Analysis Using Boundary Correspondence, T. Rachidi & L. Spacek 
CSM232 
A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement, A. Davenport, E. Tsang, C. Wang, & K. Zhu 
CSM231 
Computing 2D affine transform of boundaries of points of significant curvature, T. Rachidi & L. Spacek 
CSM230 
Modelling Early Human Society, J. Doran 
[top
of page]
CSM229 
Quantification in classical planning, S. Steel 
CSM226 
Parallel Computation of Linear Recursive Queries in Knowledgebased Systems, S. Lin & J. Robinson 
CSM225 
Answering Nchain Recursive Queries with Arithmetic, J. Robinson & S. Lin 
CSM224 
Constructing coherent boundaries, T. Rachidi & L. Spacek 
CSM223 
An architecture for constructing faulttolerant transputer systems, M. Colley & J. Standeven 
CSM222 
Evacuation: A Software strategy to support faulttolerant transputer systems, M. Colley, O. Aghanya & J. Standeven 
CSM221 
A faulttolerant pipeline application for the RaFT system, J. Standeven, M. Colley & O. Aghanya 
CSM220 
The RaFT simulation environment, J. Standeven, M. Colley & N. Chandhant 
CSM219 
Hardware voting of transputers
inrealtime nMR faulttolerant systems, J. Standeven & M. Colley 
CSM218 
The image format mess: What's your tiff (or survival of the flexible!), V. Callaghan 
CSM217 
A programmable logic based multiprocessor engine for realtime vision reprocessing, Freeman, S, Spacek, L., V. Callaghan & P. Chernett, 
CSM216 
Fuzzy hierarchical control for autonomous vehicles, C. Voudrouris, P. Chernett, C. J. Wang & V. Callaghan 
CSM215 
Experiments in vernacular program derivation, M. Henson 
CSM214 
A case study using timed transition diagrams and
the HOL theorem prover for the formal development of production cell, R. CardellOliver 
CSM213 
The Tunnelling Algorithm for Partial CSPs and Combinatorial Optimisation Problems, C. Voudouris and E. Tsang 
CSM212 
Roundpound arithmetic, I. MacCallum 
CSM211 
ARDOR: A query optimiser using automatic rule derivation, B. G. T. Lowden and K. J. Lim 
CSM210 
An attempt to map the performance of a range of algorithm and heuristic combinations, E. P. K. Tsang, Borrett, J. E. and A. C. M Kwan, September 1994 
CSM209 
Minimum curvature multistep quasinewton methods for unconstrained optimisation, J. A. Ford and I. A. Moghrabi 
CSM208 
An experiment in vernacular program derivation, M.C. Henson 
CSM207 
The Brooker Laboratory for
Intelligent embedded systems, V. Callaghan, P. Chernett & D. Lyons 
CSM206 
Translating English into MartinLof's Theory of Types: A Compositional Approach, R. DavilaPerez 
CSM205 
IFS/Q Firmware: Technical Description, A. Marsh, D. Thoen, R. Gamble and S. Lavington 
CSM204 
The Essex Occam Profiler, A. Marsh and S. Lavington 
CSM202 
Boundarybased correspondence computation using the topology constraint, T. Rachidi & L. Spacek 
CSM201 
GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement, A, Davenport, E. Tsang and K. Zhu 
[top
of page]
CSM200 
Weak Theories of Operations and Types, R. Turner 
CSM199 
The Vision Library (Version 7.5), User's Manual, L. Spacek 
CSM198 
Mapping Constraint Satisfaction Problems to Algorithms and Heuristics, E. Tsang and A. Kwan 
CSM197 
Improving Norman's reading ability: Computational simulation of word recognition with the Logogen model, S. J. Soltysiak, & J. Masterson 
CSM196a 
On the proof theory of program transformations, M.C. Henson 
CSM196b 
On the proof theory of program transformations, M.C. Henson 
CSM195 
Transformations as proofs, M.C. Henson 
CSM194 
Portable Natural Language Front Ends  A Review, F.A. Barros and A. De Roeck 
CSM193 
Constructing Coherent Boundaries, T. Rachidi and L. Spacek 
CSM192 
An intensional semantics for elementary program transformation, M. Henson 
CSM191 
An English Paraphraser for Logical Query Languages, B.G.T. Lowden, B.R. Walls, A.N. De Roeck, C.Fox 
CSM190 
Using a Genetic Algorithm to Tackle the Processors Configuration Problem, T. Warwick and E.P.K. Tsang, 
CSM189 
Model Queries for Relational Databases, C.J. Fox, B.G.T. Lowden, R. Turner, March 1993 
CSM188 
Face recognition through learnt boundary characteristics, L. A. Spacek, M. Kubat and D. Flotzinger 
CSM187 
Thinning Image Boundaries, L. Spacek, March 1993 
CSM186 
Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases, J. Robinson and S. Lin 
CSM185 
A Connection between Decision Theory and Program Logic, S. Steel 
CSM184 
Planning and Execution using Partial Decision Trees, L.C. Ho and S. Steel 
CSM183 Part 1 and Part 2 
Actions on Belief, S. Steel 
CSM182 
Manchester Computer Architectures, 19481975, S.H. Lavington 
CSM181 
Comparing Several Implementations of a Hardware Hasher Unit, M.J. Lear, E. James, S.H. Lavington, B. Srisuchinwong, T.A. York and A.M. Somerville 
CSM180 
An SQL Interface for the IFS/2 KnowledgeBase Server: Release2, S. Lavington, N. Dewhurst, A. Marsh, J. Emby and D. Thoen 
CSM179 
Transformational derivation in the programming logic TK, M. Henson 
CSM178 
Learning to Recognise Human Faces, L. Spacek and M. Kubat 
CSM177
CSM177b 
Exploiting Parallelism in Primitive Operations on Bulk Data Types: Some Results, S. Lavington, M. Waite, J. Robinson and N. Dewhurst 
CSM176 
Alternative Parameter Choices for Multistep QuasiNewton Methods, J. Ford and I. Moghrabi 
CSM175 
The IFS/2: Addon Support for Knowledgebased Systems, S. Lavington 
CSM174 
A Generalised Theory of Default Reasoning  Preliminary Remarks, R. August 
CSM173 
A Synthetic Join Benchmark for Evaluating DBMS/KBS Hardware and Software, A. Marsh and S. Lavington 
CSM172 
Nonmonotonic Reasoning and Self Reference, N. Obeid 
CSM171 
MultiStep QuasiNewton Methods for Optimization, J. Ford and I. Moghrabi 
CSM170 
A Novel Architecture for Handling Persistent Objects, S. Lavington 
CSM169 
DDBK graph operations for the IFS/2, N. Dewhurst, S. Lavington, and J. Robinson 
CSM168 
Relational algebraic operations for the IFS/2, N. Dewhurst and S. Lavington 
CSM167 Part 1 & Part 2 
An Investigation using Computer Models into the Relationships between Task Uncertainty, Complexity and Organisation, D. Mack 
CSM166 
Exploiting Parallelism in Primitive Operations on Bulk Data Types S. Lavington, M. Waite, J. Robinson, and N. Dewhurst 
CSM165 
Solving Constraint Satisfaction Problems using Neural Networks, C. Wang, E. Tsang 
CSM164 
The external procedural interface (EPI) for the IFS/2: Parts 1 and 2, S. Lavington and J. Wang 
CSM163 
Modal Reasoning in Relational Systems, B. Lowden, B. Walls, A. De Roeck, C. Fox and R. Turner 
CSM162 
Constraint Checking for Modal Queries, B. Lowden, C. Fox, A. De Roeck, R. Turner and B. Walls 
CSM161 
Efficient Generation of SQL Expressions from Natural Language, B. Lowden, B. Walls, A. De Roeck, C. Fox and R. Turner 
CSM160 
The External Procedural Interface (EP1) for the IFS/2 Part 1, S. Lavington and J. Wang 
CSM158 
Exploiting DataParallelism in KnowledgeBased Systems, S. Lavington and J. Robinson 
CSM157 
Parallel Associative Combinator Evaluation, M. Waite, B. Giddings and S. Lavington 
CSM156 
On Theories of Defaults and their Semantics, M. Fang and N. Obeid 
CSM155 
Extending the Power of Object Oriented Systems by using Active Memory, R. Davies 
CSM154 
Using Distributed AI to study the Emergency of Human Social Organisation, J. Doran 
CSM153 
On the Approach to Default Reasoning based on the Conditional Logic (N) 
CSM152 
Towards Constructive Program Derivation in VDM, C. Lewington 
CSM151 
QuasiNewton Methods for Sparse Nonlinear Systems, W. Hart 
CSM150 
On Some Aspects of Default Reasoning, N. Obeid and M. Fing 
CSM148 
Safe positive induction in the programming logic TK, M. Henson 
CSM147 
Deriving denotational semantics from axiomatic semantics within constructive set theory, C. P. Lewington 
CSM146 
The Wivenhoe Computational Model: In search of more parallelisms, J. Wang and S. Lavington 
CSM145 
Active Memory for Managing Persistent Objects, S. Lavington and R. Davies 
CSM144 
Fault Diagnosis and Planning with Incomplete Knowledge, E. Tsang 
CSM143 
A Transitive Closure and Magic Functions Machine, J. Robinson and S. Lavington 
CSM142 
Solution Synthesis in the Constraint Satisfaction Problem, E. Tsang & N. Foster 
For papers prior to 1990 please contact Rachele Winn, email: rachele@essex.ac.uk.
[top
of page]
