The Library
Browse by Department at the University of Warwick
Up a level |
Number of items: 25.
A
Axford, Tom and Joy, Mike (1991) List processing in parallel. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
B
Bhalerao, Abhir (1991) Multiresolution Image Segmentation. PhD thesis, University of Warwick.
C
Calway, Andrew David, Knutsson, Hans and Wilson, Roland (1991) Multiresolution estimation of 2-d disparity using a frequency domain approach. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) Elektra : a reflective production system. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) Extending Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) Formal specification of AI systems : four case studies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) Logicism and meaning : the case against (draft). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) Making Cassandra parallel and distributed. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) Meanings and messages. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) Rule interpreters in ELEKTRA. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) The formal specification of a blackboard framework. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1991) The role of formal specification in rule-based real-time AI (extended abstract). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
D
Dain, Julia Anne (1991) Syntax error handling in language translation systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Davies, Andrew Richard and Wilson, Roland (1991) Curve and corner extraction using the multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
G
Gent, Ian (1991) Finding problems in knowledge bases using modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Gent, Ian and Cohn, A. G. (1991) Reasoning about hybrid reasoning : a discussion. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goh, Wooi Boon and Martin, Graham R. (1991) Deriving optical flow in noisy image sequences. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
L
Langley, K., Fleet, David J. and Atherton, T. J. (1991) An instantaneous frequency-based computation of transparent motion. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
M
Matthews, Stephen G. (1991) Adding second order functions to Kahn data flow. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Moitra, Abha and Joseph, Mathai (1991) Determining timing properties of infinite real-time programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
N
Naik, Yogesh (1991) A temporal approach to requirements specification of real-time systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
P
Paterson, Michael S. and Zwick, Uri (1991) Shrinkage of de Morgan formulae under restriction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Procter, Rob, Woodburn, R. and Masting, Oliver (1991) Supporting distributed cognition in groupware. In: MODEM Workshop on Cognitive problems in working life : The Design of Computer system and Interfaces, Uppsala, Sweden, 1991. Published in: Proceedings of the MODEM Workshop on Cognitive problems in working life: The Design of Computer system and Interfaces pp. 31-42.
W
Woodburn, R., Procter, Rob, Arnott, J. and Newell, A. (1991) A study of conversational turn-taking in a communication aid for the deaf. In: HCI '91 : Usability Now, Heriot Watt University, Edinburgh, 20-23 Aug 1991. Published in: People and computers VI pp. 359-371. ISBN 9780521416948.
Z
Zwick, Uri and Paterson, Michael S. (1991) The memory game. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)