The Library
Items where Department is "Faculty of Science, Engineering and Medicine > Science > Computer Science"
Up a level |
Number of items: 23.
Axford, Tom and Joy, Mike (1991) List processing in parallel. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Bhalerao, Abhir (1991) Multiresolution Image Segmentation. PhD thesis, University of Warwick.
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)
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)
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)
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)
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)
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)
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)
Zwick, Uri and Paterson, Michael S. (1991) The memory game. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)