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. 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. (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). , 40.
Garratt, P. W. (1994) SCAMES: an Expert system to assist in using Capability Maturity Modelling. Fourth International Conference on Software Quality Association for Software Quality Control.
Gunn, S.R. and Nixon, M.S. (1994) A Dual Active Contour for Head Boundary Extraction. 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.
Gunn, S.R. and Nixon, M.S. (1994) A Dual Active Contour Incorporating Parametric Shape Description. European Signal Processing, Edinburgh, U.K., , 435-438.
Gunn, S.R. and Nixon, M.S. (1994) A Model Based Dual Active Contour. Proc. British Machine Vision Conference BMVA Press, 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 (1994) Targetting Transputer Systems, Past and Future in Automatic Parallelisation, Vieweg Verlag, Weisbaden, Germany