Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1994
|Up a level|
Butler, M.J. and Back, R.J.R. (1994) Applications of Summation and Product Operators in the Refinement Calculus At 6th Nordic Workshop on Programming Theory.
Butler, M.J., Hedman, E., Nilson, P., Ruksenas, R., Waldén, M. and Zhao, Y. (1994) Specification of a Program Derivation Editor s.n. (Reports in Mathematics and Computer Science, A94-15).
Debbage, M, Hill, M, Nicole, D A and Wykes, S M (1994) Southampton's Portable Occam Compiler (SPOC)
Garratt, P. W. (1994) SCAMES: an Expert system to assist in using Capability Maturity Modelling At Fourth International Conference on Software Quality.
Gunn, S.R. and Nixon, M.S. (1994) A Dual Active Contour for Head Boundary Extraction At Colloq. on Image Processing for Biometric Measurement. , 6/1--6/4.
Gunn, S.R. and Nixon, M.S. (1994) A Dual Active Contour Including Parameteric Shape s.n.
Gunn, S.R. and Nixon, M.S., (1994) A Dual Active Contour Incorporating Parametric Shape Description Holt, M., Cowan, C., Grant, P. and Sandham, W. (eds.) At European Signal Processing. , pp. 435-438.
Gunn, S.R. and Nixon, M.S., (1994) A Model Based Dual Active Contour Hancock, E. (ed.) At Proc. British Machine Vision Conference. , pp. 305-314.
Manjunathaiah, M and Nicole, D A (1994) Advanced Parallel Usage Analysis in the Proceedings of the First International Workshop on Parallel Processing, Bangalore
Nicole, D A, Kessler, C W (ed.) (1994) Targetting Transputer Systems, Past and Future in Automatic Parallelisation, Vieweg Verlag, Weisbaden, Germany