- UHRA Home
- Browsing by Author
Browsing by Author "Loomes, M.J."
Now showing items 1-20 of 26
-
Adaptive simulated annealing for CT image classification
Albrecht, A.; Loomes, M.J.; Steinhofel, K.; Wong, C.K. (2002)We present a pattern classification method that combines the classical Perceptron algorithm with simulated annealing. For a sample set S of n-dimensional patterns labeled as positive and negative, our algorithm computes ... -
Applying software metrics to formal specifications : a cognitive approach.
Vinter, R.J.; Loomes, M.J.; Kornbrot, D. (Institute of Electrical and Electronics Engineers (IEEE), 1998)It is generally accepted that failure to reason correctly during the early stages of software development causes developers to make incorrect decisions which can lead to the introduction of faults or anomalies in systems. ... -
Cognitive Dimensions of Notations: Design Tools for Cognitive Technology
Blackwell, A.F.; Britton, C.; Cox, A.; Green, T.; Gurr, C.; Kadoda, G.; Kutar, M.; Loomes, M.J.; Nehaniv, C.L.; Petre, M.; Roast, C.; Roe, C.; Wong, A.; Young, R.M. (2001)The Cognitive Dimensions of Notations framework has been created to assist the designers of notational systems and information artifacts to evaluate their designs with respect to the impact that they will have on the users ... -
Conditional reasoning in language and logic : transfer of non-logical heuristics?
Vinter, R.J.; Loomes, M.J.; Kornbrot, D. (University of Hertfordshire, 1997)Historically, the use of natural language based techniques for the purpose of software specification has tended to result in the production of ambiguous or verbose system descriptions. It is thought that this imprecision ... -
Constructive biology and approaches to temporal grounding in post-reactive robotics
Nehaniv, C.L.; Dautenhahn, K.; Loomes, M.J. (1999)Constructive Biology ( as opposed to descriptive biology) means understanding biological mechanisms through building systems that exhibit life-like properties. Applications include learning engineering tricks from biological ... -
Fact and Artifact : Reification and Drift in the History and Growth of Interactive Software Systems
Loomes, M.J.; Nehaniv, C.L. (2001)We discuss the processes and forces informing artifact design and the subsequent drift in requirements and interests in the long-term growth of reified systems. We describe, following Latour, the strategies of technoscience ... -
Gender classification of face images: the role of global and feature-based information
Buchala, S.; Davey, N.; Frank, R.; Gale, T.M.; Loomes, M.J.; Kanakard, W. (2004) -
Genetic local search for multicast routing with pre-processing by logarithmic simulated annealing
Zahrani, M.S.; Loomes, M.J.; Malcolm, J.; Dayem Ullah, A.Z.M.; Steinhofel, K.; Albrecht, A. (2008)Over the past few years, several local search algorithms have been proposed for various problems related to multicast routing in the off-line mode. We describe a population-based search algorithm for cost minimisation of ... -
Identifying word boundaries in handwritten text
Sun, Yi.; Butler, T.; Shafarenko, A.; Loomes, M.J.; Adams, R.G.; Davey, N. (2004) -
Landscape analysis for multicast routing
Zahrani, M.S.; Loomes, M.J.; Malcolm, J.; Albrecht, A. (2006) -
A local search method for pattern classification
Albrecht, A.; Loomes, M.J.; Steinhofel, K.; Taupitz, M.; Wong, C.K. (2001) -
Measuring human inferential complexity in formal specifications : a predictive model for the Z notation
Vinter, R.J.; Loomes, M.J.; Kornbrot, D. (University of Hertfordshire, 1997)The entire history of software engineering informs us that failure to interpret or reason correctly with software specifications causes developers to make incorrect development decisions which can lead to the introduction ... -
The naming of systems and software evolvability
Loomes, M.J.; Nehaniv, C.L.; Wernick, P. (Institute of Electrical and Electronics Engineers (IEEE), 2005)Software systems are unlike most entities whose--existence, persistence, development, and integrity as single individuals are presupposed by ordinary acts of naming. This paper broaches the issue of how naming practices ... -
Physically inspired interactive music machines - making contemporary composition accessible
Polfreman, R.; Loomes, M.J.; Wright, R. (2003)Much of what we might call ‘high-art music’ occupies the difficult end of listening for contemporary audiences. Concepts such as pitch, meter and even musical instruments often have little to do with such music, where all ... -
Quantified reasoning in formal specification : transfer of everyday errors and biases?
Vinter, R.J.; Loomes, M.J.; Kornbrot, D. (University of Hertfordshire, 1997)Cognitive studies of syllogistic reasoning appear to provide important pointers to the ways in which people reason with quantified statements. Previous natural language based studies of the syllogistic task suggest that ... -
Reasoning about formal software specifications : an initial investigation
Vinter, R.J.; Loomes, M.J.; Kornbrot, D. (University of Hertfordshire, 1996)Within the software engineering community, it is widely believed that formal logic based notations could hold the key to overcoming some of the classical problems associated with program specification. Over the past three ... -
Reflections on academic leadership
Loomes, M.J.; Christianson, B. (2006)This article introduces some reflections on the aspect of teaching and learning that is often called ‘academic leadership’. Programme tutors, curriculum developers and those with special responsibility for academic quality, ... -
The Role of Global and Feature Based Information in Gender Classification of Faces: A Comparison of Human Performance and Computational Models
Buchala, S.; Davey, N.; Gale, T.M.; Frank, R.; Loomes, M.J. (2005) -
Segmenting hand written text using supervised classification techniques
Sun, Yi.; Butler, T.; Shafarenko, A.; Loomes, M.J.; Adams, R.G.; Davey, N. (Institute of Electrical and Electronics Engineers (IEEE), 2004) -
Self-Organising Map Representations Of Greyscale Images Reflect Human Similarity Judgements
Gale, T.M.; Davey, N.; Laws, K.R.; Loomes, M.J.; Frank, R. (Institute of Electrical and Electronics Engineers (IEEE), 2004)In this study we assessed a Kohonen network's ability to represent visual similarity between grayscale pictures and whether these representations were associated with human ratings af perceived similarity. We trained a ...