Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1999
|Up a level|
Brown, M., Lewis, H.G. and Gunn, S.R. (1999) Linear Spectral Mixture Models and Support Vector Machines for Remote Sensing. IEEE Trans. Geoscience and Remote Sensing, 38, (5), 2346--2360.
Brown, M., Lewis, H.G. and Gunn, S.R. (1999) Support Vector Machines for Optimal Classification and Spectral Unmixing. Ecological Modelling, 120, 167--179.
Butler, M. J. (1999) Calculational Derivation of Pointer Algorithms from Tree Operations. Science of Computer Programming, 33, (3), 221-260.
Butler, M. J. (1999) csp2B: A Practical Approach to Combining CSP and B. Proc. FM'99: World Congress on Formal Methods Springer-Verlag, 490-508.
Butler, M. J. (1999) Distributed Electronic Mail System. Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series Springer-Verlag, Berlin, 301-322.
Butler, M. J. and Hartel, P. H. (1999) Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp. ACM Transactions on Programming Languages and Systems, 21, (3), 417-430.
Butler, M. J. and Waldén, M. (1999) Parallel Programming with the B Method. Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series Springer-Verlag, Berlin, 183-195.
Caton, M.J, Cox, S.J., Blott, BH, Daniell, G.J. and Nicole, D.A. (1999) Prospects for high fidelity imaging in nonlinear EIT using high performance computing. UNSPECIFIED UCL, 1-6.
Cirstea, Corina (1999) A Coequational Approach to Specifying Behaviours. In, 2nd International Workshop on Coalgebraic Methods in Computer Science Elsevier, 142-163.
Crowder, R.M., Hall, W., Heath, I. and Wills, G. (1999) Factory information provision using hypermedia. International Journal of Computer Applications in Technology, 11, (6), 422-53.
Crowder, Richard M., Hall, Wendy, Heath, Ian and Wills, Gary B. (1999) Integration of Manufacturing Information using Open Hypermedia. Computers in Industry, 38, 31--42.
Damper, R. I. and Gunn, S. R. (1999) Learning phonetic distinctions from speech signals. Eurospeech'99, Budapest, Hungary, , 2675-2678.
Dudek, F., Al-Hashimi, B.M. and Moniri, M. (1999) Compensation of non-ideal effects in video frequency sinc(x) equalisers using tunable gm_c structure. UNSPECIFIED IEEE International Symposium on Circuits and Systems, 148-51.
Garratt, P. W. (1999) Experiences with the software management game. Proc. Int. AMSE Conf. on Computer Modelling, Simulation and Communication (CMSC-99) Int. Ass. for Modelling and Simluation Techniques in Enterprises (AMSE), France, to appear.
Garratt, P. W. and Hodgkinson, A. C. (1999) An intelligent process model choice tool. , Int. Ass. for Modelling and Simluation Techniques in Enterprises (AMSE), France
Garratt, P. W. and Hodgkinson, A. C. (1999) A Neurofuzzy cost estimator. Proc. 3rd Int. Conf. Software Engineering and Applications (SAE) IASTED/Acta Press, Anaheim, California, 401-406.
Gilbert, Lester (1999) Some Valuable Lessons from the Teaching & Learning Technology Programme in the UK. Journal of Interactive Learning and Research, 10, (1), 67-85.
Grange, S, Cooper, J, Jones, G and Bunker, TD (1999) Computer Based Training of Surgeons. At Postgraduate Medical & Dental Training Consefernce 1999, Birmingham (NEC),
Grange, Simon, Bunker, Tim, Cooper, Jason and Waldhausen, Sylvia (1999) COMPARING ELECTRO-OPTICAL AND ELECTRO-MAGNETIC GUIDANCE SYSTEMS IN THE PREPARATION OF MINIMAL ACCESS SURGICAL TRAINING ENVIRONMENTS. At Computer Assisted Orthopaedic Surgery 1999, Davos, Switzerland, MIB, 128-128.
Gunn, S. R. and Brown, M. (1999) SUPANOVA - a sparse, transparent modelling approach. IEEE International Workshop on Neural Networks for Signal Processing, Madison, Wisconsin, , 21-30.
Gunn, S.R. (1999) SUPANOVA - A Sparse, Transparent Modelling Approach. Advances in Neural Information Processing Systems (NIPS12) Kernel Workshop, Breckenridge, CO, U.S.A.,
Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems. , University of Southampton
Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R.J. (1999) Questions and Answers About Ten Formal Methods. In, Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems STAR/CNR, Pisa, Italy, 179-203.
Hartel, P. H., Butler, M. J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In, Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java, LNCS 1523. , Springer-Verlag, 313-52.
Heath, I., Hall, W., Crowder, R.M. and Wills, G. (1999) The application of a hypermedia research system in industry. 10th ACM conf. on Hypertext and Hypermedia, Darmstadt , 203-4.
Hehner, E. C. R. and Gravell, A. M. (1999) Refinement Semantics and Loop Rules. Proc. FM'99: World Congress on Formal Methods Springer-Verlag, Berlin, 1497-1510.
Henderson, P. and Walters, R. J. (1999) Modelling Component-based Systems as an aid to Design Validation. 14th IEEE International Conference on Automated Software Engineering (ASE) IEEE Computer Society Press, Los Alamitos, California, 303-6.
Henderson, P. and Walters, R. J. (1999) System Design Validation Using Formal Models. Proc. 10th Int. Workshop on Rapid System Prototyping (RSP) IEEE Computer Society Press, Los Alamitos, California, 10-14.
Hughes, GV, Wills, GB, Carr, LA, Hall, W and Hey, AJG (1999) User Centred Approach to Academic Information Management on the WWW. , University of Southampton
Kandola, J.S., Gunn, S.R., Sinclair, I. and Reed, P.A.S. (1999) Data Driven Knowledge Extraction of Materials Properties. At Intelligent Processing and Manufacturing of Materials, Hawaii, U.S.A., , 361-366.
Kollig, P. and Al-Hashimi, B.M. (1999) Reduction of latency and resource usage in bit-level pipelined data ptahs for FPGAs. 7th International Symposium on Field Programmable Gate Arrays, 1, (1), 227-34.
Lancaster, J. and Al-Hashimi, B.M. (1999) Efficient Switched Current Wave Elliptic Filters Based on Direct and Inverse Bruton Transformations. UNSPECIFIED IEE Proceedings Circuits, Devices and Systems, 235-241.
Living, J and Al-Hashimi, B.M. (1999) Architecture-mapped concurrent-transform programmable 2D FIR filters for serial image processing. UNSPECIFIED 8th International Symposium on Integrated Circuits, Devices and Systems (ISIC-99), Singapore, 112-116.
Living, J and Al-Hashimi, B.M. (1999) Mixed arithmetic architecture: a solution to the iteration bound for resources FPGA and CPLD recursive digital filters. IEEE International Symposium on Circuits and Systems, USA IEEE International Symposium on Circuits and Systems, 478-81.
Living, J and Al-Hashimi, B.M. (1999) New resource saving differential coefficient coding algorithm for recursive FIR filter design. IEEE International Symposium on Circuits and Systems, USA IEEE International Symposium on Circuits and Systems, 478-81.
Living, J. and Al-Hashimi, B.M. (1999) FPGA based video signal decimators for sample rate reduction from 27/28.64 MHz to 13.5/14.32 MHz. UNSPECIFIED 8th International Symposium on Integrated Circuits, Devices and Systems (ISIC -99). Singapore, 38-42.
Maharatna, Koushik and Banerjee, Swapna (1999) Low Power CORDIC Processor Design Using Transmission Gate Logic on Sea of Gates. In, Int’l Conference on Modeling Simulation and Communication (CMSC) 1999, Jaipur, India,
Manjunathaiah, M and Nicole, D A (1999) Precise Analysis of Array Usage in Scientific Programs.
Nicolici, N. and Al-Hashimi, B.M. (1999) Efficient BIST hardware insertion with low test application time for synthesized data paths. IEEE/ACM Design, Automation and Test in Europe , 289-295.
Papiani, Mark, Wason, Jasmin L, Dunlop, Alistair N and Nicole, Denis A (1999) A Distributed Scientific Data Archive Using the Web, XML and SQL/MED. SIGMOD RECORD, 28, (3), 56-62.
S, Thomas K (1999) A binding of MPI to Ada95. MPIDC '99 Conference - Journal of Papers and Presentations, 107-11.
Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Caton, M J, Nicole, D A, Cox, S J and Lancaster, D J (1999) Parallel Computing on Windows NT Clusters. At 3rd USENIX Windows NT Symposium, Seattle, Washington, 12 - 15 Jul 1999. Advanced Computing Systems Association.
Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Nicole, D A, Cox, S J and Lancaster, D J (1999) An Assessment of MPI Environments for Windows NT. In, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, Nevada, USA, 28 Jun - 01 Jul 1999. , 1898-1904.
Wills, G.B., Hughes, G.V. and Hall, W. (1999) Evaluation of AIMS-Academic Information Management System. , University of Southampton
Wills, Gary, Hughes, Gareth, Martinez, Kirk and Hall, Wendy (1999) Practical aspects of capturing the Turing Archive. Southampton, GB, University of Southampton (Electronics and Computer Science Technical Reports, ECSTR-MM99-7).
Wills, Gary B. (1999) The Design and Evaluation of Industrial Hypermedia. : University of Southampton, Masters Thesis .
Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1999) User Evaluation of an Industrial Hypermedia Application. , University of Southampton