Computing Science

See full organisation overview

Outputs related to Computing Science

Showing 1501 to 1527 of 1527

Conference Proceeding

Creating telecommunication services based on object-oriented frameworks and SDL

Sinnott R & Kolberg M (1999) Creating telecommunication services based on object-oriented frameworks and SDL. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1999 (ISORC '99) Proceedings. 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1999 (ISORC '99), Saint-Malo, France, 02.05.1999-05.05.1999. Los Alamitos, CA, USA: IEEE, pp. 93-102. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=776356&abstractAccess=no&userType=inst; https://doi.org/10.1109/ISORC.1999.776356

Conference Proceeding

Engineering of Interworking TINA-based Telecommunication Services

Kolberg M, Sinnott R & Magill E (1999) Engineering of Interworking TINA-based Telecommunication Services. In: TINA '99: Telecommunications Information Networking Architecture Conference Proceedings, 1999. TINA '99: Telecommunications Information Networking Architecture Conference, 1999, Oahu, HI, USA, 12.04.1999-15.04.1999. Piscataway, NJ: IEEE, pp. 205-213. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=789991&abstractAccess=no&userType=inst; https://doi.org/10.1109/TINA.1999.789991

Conference Proceeding

Towards a Method of Test Case Extraction from Correctness Proofs

Maharaj S (1999) Towards a Method of Test Case Extraction from Correctness Proofs. In: Proceedings of the 14th International Workshop on Algebraic Development Techniques. 14th International Workshop on Algebraic Development Techniques (WADT 1999), Chateau de Bonas, France, 15.09.1999-18.09.1999. Switzerland: Springer, pp. 45-46.

Conference Proceeding

Enhancement of speech in noise using binaural non-linear sub-band processing

Hussain A (1999) Enhancement of speech in noise using binaural non-linear sub-band processing. In: 2nd European Workshop on Neuromorphic Systems (EWNS’99). 2nd European Workshop on Neuromorphic Systems (EWNS’99), Stirling, UK, 03.09.1999-05.09.1999. Singapore: World Scientific Publishing.

Conference Proceeding

Combatting co-channel interference in mobile radio systems using a novel non-linear DSP architecture

Hussain A, Soraghan JJ & Thornton L (1999) Combatting co-channel interference in mobile radio systems using a novel non-linear DSP architecture. In: IEE Colloquium on Novel DSP Algorithms and Architectures for Radio Systems 1999. IEE Colloquium on Novel DSP Algorithms and Architectures for Radio Systems 1999, London, 28.09.1999-28.09.1999. IEE, pp. 7/1-7/7. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=828770&abstractAccess=no&userType=inst; https://doi.org/10.1049/ic%3A19990849

Conference Proceeding

Real-time Speech Modeling Using Computationally Efficient Locally Recurrent Neural Networks (CERNs)

Soraghan JJ, Hussain A & Shim I (1999) Real-time Speech Modeling Using Computationally Efficient Locally Recurrent Neural Networks (CERNs). In: Proceedings of Sixth European Conference on Speech Communication and Technology (EUROSPEECH'99). Sixth European Conference on Speech Communication and Technology (EUROSPEECH'99), Budapest, Hungary, 05.09.1999-09.09.1999. Baixas, France: International Speech Communication Association, pp. 355-358. http://www.isca-speech.org/archive/eurospeech_1999/e99_0355.html

Conference Proceeding

Intelligibility Improvements Using Diverse Sub-Band Processing Applied to Noisy Speech

Hussain A & Campbell DR (1999) Intelligibility Improvements Using Diverse Sub-Band Processing Applied to Noisy Speech. In: Proceedings of Sixth European Conference on Speech Communication and Technology (EUROSPEECH'99). Sixth European Conference on Speech Communication and Technology (EUROSPEECH'99), Budapest, Hungary, 05.09.1999-09.09.1999. Baixas, France: International Speech Communication Association, pp. 2547-2550. http://www.isca-speech.org/archive/eurospeech_1999/e99_2547.html

Conference Proceeding

Computationally efficient locally-recurrent neural networks for online signal processing

Hussain A, Soraghan JJ & Shim I (1999) Computationally efficient locally-recurrent neural networks for online signal processing. In: 9th International Conference on Artificial Neural Networks: ICANN '99. Conference Proceedings, 470. 9th International Conference on Artificial Neural Networks: ICANN '99, Edinburgh, 07.09.1999-10.09.1999. Piscataway, NJ: IEEE, pp. 684-689. http://digital-library.theiet.org/content/conferences/10.1049/cp_19991190; https://doi.org/10.1049/cp%3A19991190

Conference Proceeding

Non-linear sub-band processing for binaural adaptive speech-enhancement

Hussain A (1999) Non-linear sub-band processing for binaural adaptive speech-enhancement. In: Ninth International Conference on Artificial Neural Networks, 1999. ICANN 99. IEE Conference Publication, 470) Ninth International Conference on Artificial Neural Networks, 1999. ICANN 99, Edinburgh, Scotland, 07.09.1999-10.09.1999. Piscataway, NJ: IEEE, pp. 121-125. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=819552&abstractAccess=no&userType=inst; https://doi.org/10.1049/cp%3A19991095

Conference Proceeding

Using analogue VLSI leaky integrate-and-fire neurons in a sound analysis system

Glover MA, Hamilton A & Smith L (1999) Using analogue VLSI leaky integrate-and-fire neurons in a sound analysis system. In: Prieto A & Andreou A (eds.) Proceedings of the Seventh International Conference on Microelectronics for Neural, Fuzzy and Bio-Inspired Systems, 1999. MicroNeuro '99. Seventh International Conference on Microelectronics for Neural, Fuzzy and Bio-Inspired Systems, 1999. MicroNeuro '99, Granada, 07.04.1999-09.04.1999. Los Alamitos, CA, USA: IEEE Computer Society, pp. 90-95. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=758850&refinements%3D4281615493%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A16401%29; https://doi.org/10.1109/MN.1999.758850

Conference Proceeding

On recombination and optimal mutation rates

Ochoa G, Harvey I & Buxton H (1999) On recombination and optimal mutation rates. In: Banzhaf W, Daida J, Eiben A, Garzon M, Honavar V, Jakiela M & Smith R (eds.) GECCO-99: Proceedings of the Genetic and Evolutionary Computation Conference, Volume 1. Genetic and Evolutionary Computation Conference (GECCO-99), Orlando, FL, USA, 13.07.1999-17.07.1999. San Francisco, CA, USA: Morgan Kaufman, pp. 488-495. http://www.cs.colostate.edu/~genitor/GECCO-1999/submitting.html

Conference Proceeding

Error thresholds and their relation to optimal mutation rates

Ochoa G, Harvey I & Buxton H (1999) Error thresholds and their relation to optimal mutation rates. In: Floreano D, Nicoud J & Mondada F (eds.) Advances in Artificial Life: 5th European Conference, ECAL’99 Lausanne, Switzerland, September 13–17, 1999 Proceedings. Lecture Notes in Computer Science, 1674. 5th European Conference on Advances in Artificial Life, ECAL’99, Lausanne, Switzerland, 13.09.1999-17.09.1999. Berlin Heidelberg: Springer, pp. 54-63. http://link.springer.com/chapter/10.1007/3-540-48304-7_10#; https://doi.org/10.1007/3-540-48304-7_10

Conference Proceeding

Recombination and error thresholds in finite populations

Ochoa G & Harvey I (1999) Recombination and error thresholds in finite populations. In: Banzhaf W & Reeves C (eds.) Foundations of Genetic Algorithms, Volume 5. Foundations of Genetic Algorithms, 5. 1998 Foundations of Genetic Algorithms (FOGA-5), Amsterdam, The Netherlands, 24.09.1998-28.09.1998. San Francisco, CA, USA: Morgan Kaufman, pp. 245-264.

Conference Proceeding

Time, E-LOTOS, and the FireWire

Shankland C & Verdejo A (1999) Time, E-LOTOS, and the FireWire. In: Proceedings of the Workshop on Formal Methods and Telecommunications, Zaragoza 99. Workshop on Formal Methods and Telecommunications, Zaragoza, Spain, 07.09.1999-07.09.1999. New York: Institute of Electrical and Electronics Engineers, pp. 103-119.

Conference Proceeding

Using E-LOTOS to pick a leader

Shankland C (1999) Using E-LOTOS to pick a leader. In: Proceedings of the Workshop on Formal Methods in Computation, Ullapool 1999. Workshop on Formal Methods in Computation, 1999, Ullapool, Scotland, 09.09.1999-11.09.1999. New York: Institute of Electrical and Electronics Engineers, pp. 143-162.

Conference Proceeding

The effects of intrinsic noise on pattern recognition in a model pyramidal cell

Graham B (1999) The effects of intrinsic noise on pattern recognition in a model pyramidal cell. In: ICANN 99. Ninth International Conference on Artificial Neural Networks, 1999, Volume 2. Conference Publication, 470. ICANN 99. Ninth International Conference on Artificial Neural Networks, 1999., Edinburgh, 07.09.1999-10.09.1999. Piscataway, NJ, USA: IEEE, pp. 1006-1011. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=818069&sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A17688%29; https://doi.org/10.1049/cp%3A19991244

Conference Proceeding

Formal specification of discrete systems by active predicates and dynamic constraints

Bolognesi T & Bracciali A (1999) Formal specification of discrete systems by active predicates and dynamic constraints. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-based Distributed Systems, Proceedings of FMOODS'99. IFIP Advances in Information and Communication Technology, Vol. 10. IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.03.1999. Dordrecht, The Netherlands: Kluwer Academic Publishers, pp. 161-168.

Conference Proceeding

Protocol-Inspired Hardware Testing

He J & Turner KJ (1999) Protocol-Inspired Hardware Testing. In: Csopaki G, Dibuz Sarolta S & Tarnay K (eds.) Testing of Communicating Systems: Methods and Applications. IFIP International Federation for Information Processing, 21. The IFIP 12th International Workshop on Testing of Communicating Systems (IWTCS'99), Budapest, Hungary, 01.09.1999-03.09.1999. Amsterdam: Springer Verlag, pp. 131-147. http://www.springer.com/computer/communications/book/978-0-7923-8581-3?detailsPage=toc

Conference Proceeding

Specification and Verification of Synchronous Hardware using LOTOS

He J & Turner KJ (1999) Specification and Verification of Synchronous Hardware using LOTOS. In: Wu J, Chanson ST & Gao Q (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IFIP International Federation for Information Processing, Vol. 28. FORTE XII /PSTV XIX '99 IFIP TC6/WG 6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, Beijing, China, 05.10.1999-08.10.1999. Amsterdam: Springer Verlag, pp. 295-312. http://www.springer.com/computer/artificial/book/978-0-7923-8646-9?detailsPage=toc

Article

Silicon cellular morphology

Breslin C & Smith L (1999) Silicon cellular morphology. International Journal of Neural Systems, 9 (5), pp. 491-495. https://doi.org/10.1142/S0129065799000538

Conference Proceeding

Service and feature interactions in TINA

Kolberg M & Magill E (1998) Service and feature interactions in TINA. In: Kimbler K & Bouma L (eds.) Feature Interactions in Telecommunications and Software Systems V. Feature Interactions in Telecommunications and Software Systems V, Lund, Sweden, 29.09.1998-01.10.1998. Amsterdam: IOS Press, pp. 78-84. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-v/

Conference Proceeding

Business-Oriented Development of Telecommunication Services

Sinnott R & Kolberg M (1998) Business-Oriented Development of Telecommunication Services. In: OOPSLA '98 Conference Proceedings. OOPSLA '98 Conference: Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, British Columbia, 18.10.1998-22.10.1998. New York: ACM Press Books, pp. 237-246.

Book Chapter

On the Verification of VDM Specification and Refinement with PVS

Agerholm S, Bicarregui J & Maharaj S (1998) On the Verification of VDM Specification and Refinement with PVS. In: Bicarregui J (ed.) Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT). London: Springer, pp. 157-189. http://link.springer.com/chapter/10.1007/978-1-4471-1532-8_6#

Conference Proceeding

Reinforcement Landmark Learning

Toombs SP, Phillips W & Smith L (1998) Reinforcement Landmark Learning. In: Pfeifer R, Blumberg B, Meyer J & Wilson S (eds.) From Animals to Animats 5: Proceedings of the Fifth International Conference on Simulation of Adaptive Behavior. Fifth International Conference on Adaptive Behavior (SAB98), Zurich, Switzerland, 17.08.1998-21.08.1998. Cambridge, MA, USA: MIT, pp. 205-212.

Conference Proceeding

A One-dimensional Frequency Map Implemented using a Network of Integrate-and-fire Neurons

Smith L (1998) A One-dimensional Frequency Map Implemented using a Network of Integrate-and-fire Neurons. In: Niklasson L, Boden M & Ziemke T (eds.) ICANN 98: Proceedings of the 8th International Conference on Artificial Neural Networks, Skövde, Sweden, 2–4 September 1998. Perspectives in Neural Computing. ICANN 98: 8th International Conference on Artificial Neural Networks, Skovde, Sweden, 02.09.1998-04.09.1998. London: Springer, pp. 991-996. http://link.springer.com/chapter/10.1007/978-1-4471-1599-1_155#; https://doi.org/10.1007/978-1-4471-1599-1_155

Conference Proceeding

A Comparison of a Hardware and a Software Integrate and Fire Neural Network for Clustering Onsets in Cochlear Filtered Sound

Smith L, Glover MA & Hamilton A (1998) A Comparison of a Hardware and a Software Integrate and Fire Neural Network for Clustering Onsets in Cochlear Filtered Sound. In: Proceedings of the 1998 IEEE Signal Processing Society Workshop Neural Networks for Signal Processing VIII, 1998. 1998 IEEE Signal Processing Society Workshop Neural Networks for Signal Processing VIII, Cambridge, 31.08.1998-02.09.1998. Los Alamitos, CA, USA: IEEE, pp. 516-523. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=710682&refinements%3D4281615493%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A15338%29; https://doi.org/10.1109/NNSP.1998.710682

Conference Proceeding

Extracting Features from the Short-term Time Structure of Cochlear Filtered Sound

Smith L (1998) Extracting Features from the Short-term Time Structure of Cochlear Filtered Sound. In: Bullinaria J, Glasspool D & Houghton G (eds.) 4th Neural Computation and Psychology Workshop, London, 9–11 April 1997: Connectionist Representations. Perspectives in Neural Computing. Fourth Neural Computation and Psychology Workshop, London, 09.04.1997-11.04.1997. London: Springer, pp. 113-125. http://link.springer.com/chapter/10.1007/978-1-4471-1546-5_10; https://doi.org/10.1007/978-1-4471-1546-5_10

Conference Proceeding

On genetic algorithms and lindenmayer systems

Ochoa G (1998) On genetic algorithms and lindenmayer systems. In: Eiben A, Back T, Schoenauer M & Schwefel H (eds.) Parallel Problem Solving from Nature — PPSN V: 5th International Conference Amsterdam, The Netherlands September 27–30, 1998 Proceedings. Lecture Notes in Computer Science, 1498. 5th International Conference on Parallel Problem Solving from Nature — PPSN 1998, Amsterdam, The Netherlands, 27.09.1998-30.09.1998. Berlin Heidelberg: Springer, pp. 335-344. http://link.springer.com/chapter/10.1007/BFb0056876#

Conference Proceeding

The Tree Identification Protocol of P1394

Shankland C (1998) The Tree Identification Protocol of P1394. In: Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, The Netherlands, 25.05.1998-26.05.1998. Amsterdam, The Netherlands: CWI, pp. 299-319.

Conference Proceeding

Validating Architectural Feature Descriptions using LOTOS

Turner KJ (1998) Validating Architectural Feature Descriptions using LOTOS. In: Kimbler K & Bouma LG (eds.) Feature Interactions in Telecommunications and Software Systems V. FIW 1998: Feature Interactions in Telecommunications and Software Systems V, Malmo, Sweden, 29.09.1998-01.10.1998. Amsterdam: IOS Press, pp. 247-261. http://books.google.co.uk/books?id=q7BSGKJrWxsC&dq

Conference Proceeding

The Invoicing Case Study in (E-)LOTOS

Turner KJ (1998) The Invoicing Case Study in (E-)LOTOS. In: Allemand M, Attiogbé C & Habrias H (eds.) International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?": March 26-27, 1998, Nantes, France : proceedings [of the 9th Meeting] in the series. Putting into practice methods and tools for information system design. International Workshop on: Comparing Systems Specification Techniques "What questions are prompted by ones particular method of specification?", Nantes, France, 26.03.1998-27.03.1998. Nantes, France: IRIN (Institut de Recherche en Informatique de Nantes, Universite de Nantes & Ecole Centrale de Nantes), pp. 83-98.

Conference Paper (unpublished)

An analog VLSI integrate-and-fire neural network for sound segmentation

Glover MA, Hamilton A & Smith L (1998) An analog VLSI integrate-and-fire neural network for sound segmentation. The International ICSC/IFAC Symposium on Neural Computation (NC'98), Vienna, Austria, 23.09.1998-25.09.1998. http://www.cs.stir.ac.uk/~lss/oldftpmaterial/nc98_paper.pdf

Edited Book

Neuromorphic Systems: Engineering Silicon from Neurobiology

Smith L & Hamilton A (eds.) (1998) Neuromorphic Systems: Engineering Silicon from Neurobiology. Progress in Neural Processing, 10. Singapore, New Jersey, London, Hong Kong: World Scientific. http://www.worldscientific.com/worldscibooks/10.1142/3702

Book Chapter

Analog VLSI integrate and fire neural network for clustering onset and offset signals in a sound segmentation system

Glover MA, Hamilton A & Smith L (1998) Analog VLSI integrate and fire neural network for clustering onset and offset signals in a sound segmentation system. In: Smith L & Hamilton A (eds.) Neuromorphic Systems: Engineering Silicon from Neurobiology. Progress in Neural Processing, 10. Singapore, New Jersey, London, Hong Kong: World Scientific, pp. 238-250. http://www.worldscientific.com/worldscibooks/10.1142/3702

Book Chapter

Neuromorphic systems, neural models and silicon

Smith L & Hamilton A (1998) Neuromorphic systems, neural models and silicon. In: Smith L & Hamilton A (eds.) in Neuromorphic Systems: Engineering Silicon from Neurobiology. Progress in Neural Processing, 10. Singapore, New Jersey, London, Hong Kong: World Scientific, pp. 5-11. http://www.worldscientific.com/worldscibooks/10.1142/3702

Conference Proceeding

On the verification of VDM specification and refinement with PVS

Maharaj S & Bicarregui J (1997) On the verification of VDM specification and refinement with PVS. In: 12th IEEE International Conference Automated Software Engineering, 1997. Proceedings. 12th IEEE International Conference Automated Software Engineering, 1997, Incline Village, NV, USA, 01.11.1997-05.11.1997. Piscataway, NJ, USA: IEEE, pp. 280-289. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=632849&abstractAccess=no&userType=inst; https://doi.org/10.1109/ASE.1997.632849

Conference Proceeding

Multi-sensor sub-band adaptive noise cancellation for speech enhancement in an automobile environment

Hussain A, Campbell DR & Moir TJ (1997) Multi-sensor sub-band adaptive noise cancellation for speech enhancement in an automobile environment. In: IEE Colloquium on Adaptive Signal Processing for Mobile Communication Systems. IEE Colloquium, Ref. No. 1997/383. IEE Colloquium on Adaptive Signal Processing for Mobile Communication Systems, London, 29.10.1997-29.10.1997. Piscataway, NJ: IEEE, pp. 5/1-5/6. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=668616&abstractAccess=no&userType=; https://doi.org/10.1049/ic%3A19971311

Conference Proceeding

A multi-microphone sub-band adaptive speech enhancement system employing artificial neural network based non-linear filters

Hussain A & Campbell DR (1997) A multi-microphone sub-band adaptive speech enhancement system employing artificial neural network based non-linear filters. In: 1st European Workshop on Neuromorphic Systems (EWNS'97). 1st European Workshop on Neuromorphic Systems (EWNS'97), Stirling, Scotland, 29.08.1997-31.08.1997. http://www.cs.stir.ac.uk/~lss/Neuromorphic/ProvProg.html

Conference Proceeding

A Multi-microphone Sub-band Adaptive Speech Enhancement System employing diverse sub-band processing

Hussain A, Campbell DR & Moir TJ (1997) A Multi-microphone Sub-band Adaptive Speech Enhancement System employing diverse sub-band processing. In: ESCA-NATO Tutorial and research workshop on Robust speech recognition for unknown communication channels: Pont-à-Mousson, France : 17-18 April 1997 : proceedings. ESCA-NATO Tutorial and Research Workshop on Robust Speech Recognition for Unknown Communication Channels, Pont-a-Mousson, France, 17.04.1997-18.04.1997. Pont-a-Mousson, France: ESCA-NATO.

Conference Proceeding

Artificial Neural Network Based Processing in Cochlear Spaced Sub-bands for Adaptive Speech Enhancement

Hussain A & Campbell DR (1997) Artificial Neural Network Based Processing in Cochlear Spaced Sub-bands for Adaptive Speech Enhancement. In: Proceedings IEEE International Workshop on Acoustics, Echo and Noise Cancellation (IWAENC’97). The International Workshop on Acoustic Echo and Noise Control (IWAENC'97), London, 11.09.1997-12.09.1997. London: IWAENC, pp. 172-175. http://www.gbv.de/dms/tib-ub-hannover/241876060.pdf

Conference Proceeding

Adaptive Speech Enhancement Using Diverse Processing in Non-Linearly Distributed Sub-bands

Hussain A, Campbell DR & Moir TJ (1997) Adaptive Speech Enhancement Using Diverse Processing in Non-Linearly Distributed Sub-bands. In: Proceedings IEEE International Workshop on Acoustics, Echo and Noise Cancellation (IWAENC’97). The International Workshop on Acoustic Echo and Noise Control (IWAENC'97), London, 11.09.1997-12.09.1997. London: IWAENC, pp. 108-111.

Conference Proceeding

A new neural network structure for temporal signal processing

Hussain A (1997) A new neural network structure for temporal signal processing. In: 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing, 1997. ICASSP-97, Volume 4. IEEE International Conferences. 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing, 1997. ICASSP-97, Munich, Germany, 21.04.1997-24.04.1997. Piscataway, NJ: IEEE, pp. 3341-3344. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=595509&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICASSP.1997.595509

Conference Proceeding

A New Metric For Selecting Sub-Band Processing In Adaptive Speech Enhancement Systems

Hussain A, Campbell DR & Moir TJ (1997) A New Metric For Selecting Sub-Band Processing In Adaptive Speech Enhancement Systems. In: Proceedings 5th European Conference on Speech Communication and Technology (EUROSPEECH’97). 5th European Conference on Speech Communication and Technology (EUROSPEECH’97), Rhodes, Greece, 22.09.1997-25.09.1997. Baixas, France: European Speech Communication Association. http://www.mirlab.org/conference_papers/International_Conference/Eurospeech%201997/pdf/thaa/a0788.pdf

Conference Proceeding

A Noise-robust Auditory Modelling Front End for Voiced Speech

Smith L (1997) A Noise-robust Auditory Modelling Front End for Voiced Speech. In: Gerstner W, Germond A, Hasler M & Nicoud J (eds.) Artificial Neural Networks — ICANN'97: 7th International Conference Lausanne, Switzerland, October 8–10, 1997 Proceeedings. Lecture Notes in Computer Science, 1327. Artificial Neural Networks — ICANN'97, Lausanne, Switzerland, 08.10.1997-10.10.1997. Berlin Heidelberg: Springer, pp. 97-102. http://link.springer.com/chapter/10.1007/BFb0020139#; https://doi.org/10.1007/BFb0020139

Conference Proceeding

Towards a Symbolic Temporal Logic for Full LOTOS

Shankland C & Thomas M (1997) Towards a Symbolic Temporal Logic for Full LOTOS. In: Duke DJ D & Evans A (eds.) 2nd BCS-FACS Northern Formal Methods Workshop. Electronic Workshops in Computing. 2nd BCS-FACS Northern Formal Methods Workshop, eWiC 97, Ilkley, UK, 14.07.1997-15.07.1997. Berlin Heidelberg: Springer.

Conference Proceeding

Symbolic Bisimulation for Full LOTOS

Shankland C & Thomas M (1997) Symbolic Bisimulation for Full LOTOS. In: Johnson M (ed.) Algebraic Methodology and Software Technology: 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings. Lecture Notes in Computer Science, 1349. 6th International Conference, AMAST'97, Sydney, Australia, 13.12.1997-17.12.1997. Berlin Heidelberg: Springer, pp. 479-493. http://link.springer.com/chapter/10.1007/BFb0000491#; https://doi.org/10.1007/BFb0000491

Conference Proceeding

A model of clipped hebbian learning in a neocortical pyramidal cell

Graham B & Willshaw DJ (1997) A model of clipped hebbian learning in a neocortical pyramidal cell. In: Gerstner W, Germond A, Hasler M & Nicoud J (eds.) Artificial Neural Networks — ICANN'97: 7th International Conference Lausanne, Switzerland, October 8–10, 1997 Proceeedings. Lecture Notes in Computer Science, 1327. ICANN'97: 7th International Conference on Artificial Neural Networks, Lausanne, Switzerland, 08.10.1997-10.10.1997. Berlin Heidelberg: Springer, pp. 151-156. http://link.springer.com/chapter/10.1007/BFb0020148; https://doi.org/10.1007/BFb0020148

Conference Proceeding

An associative memory model with probabilistic synaptic transmission

Graham B & Willshaw DJ (1997) An associative memory model with probabilistic synaptic transmission. In: Bower J (ed.) Computational Neuroscience: Trends in Research, 1997. Annual Computational Neuroscience Conference, Boston, MA, USA, 14.07.1996-17.07.1996. New York: Springer, pp. 315-319. http://link.springer.com/chapter/10.1007/978-1-4757-9800-5_51; https://doi.org/10.1007/978-1-4757-9800-5_51

Conference Proceeding

Modelling Digital Logic in SDL

Csopaki G & Turner KJ (1997) Modelling Digital Logic in SDL. In: Mizuno T, Shiratori N, Higashino T & Togashi A (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification. FORTE X / PSTV XVII '97. IFIP International Federation for Information Processing. FORTE/PSTV'97 - 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques (X) for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (XVII), Osaka, Japan, 18.11.1997-21.11.1997. Amsterdam: Springer Verlag, pp. 367-382. http://www.springer.com/computer/communications/book/978-0-412-82060-1?detailsPage=toc

Conference Proceeding

Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version)

Reed DA & Turner KJ (1997) Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version). In: Campbell A & Nahrstedt K (eds.) Building QoS into Distributed Systems. IFIP International Federation for Information Processing. IFIP Fifth International Workshop on Quality of Service (IWQOS '97) - Building QoS into Distributed Systems, Center for Telecommunications Research, Columbia University, New York, USA, 21.05.1997-23.05.1997. USA: Springer, pp. 255-258. http://www.springer.com/computer/communications/book/978-0-412-80940-8

Conference Proceeding

Requirements for Service Creation Environments

Kosmas N & Turner KJ (1997) Requirements for Service Creation Environments. In: Lovrek I (ed.) 2nd International Workshop on Applied Formal Methods in System Design. 2nd International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, 18.06.1997-19.06.1997. Zagreb: Faculty of Electrical Engineering and Computing, Department of Telecommunications. University of Zagreb. pp. 133-137. http://www.contel.hr/work97/

Meeting Abstract

A neurally motivated technique for voicing detection in speech

Smith L (1997) A neurally motivated technique for voicing detection in speech. British Society of Audiology Short Papers Meeting on Experimental Studies of Hearing and Deafness, Cambridge, 22/09/1996 - 23/09/1996. British Journal of Audiology, 31 (2), p. 112. http://informahealthcare.com/doi/abs/10.3109/03005364000000012

Conference Proceeding

Relating Services and Features in the Intelligent Network

Turner KJ (1997) Relating Services and Features in the Intelligent Network. In: Kunstic M (ed.) ConTEL 97: 4th International Conference on Telecommunications : Proceedings, June 18-20, 1997, Zagreb, Croatia. 4th International Conference on Telecommunications ConTEL 97, Zagreb, Croatia, 18.06.1997-20.06.1997. Zagreb, Croatia: Faculty of Electrical Engineering and Computing, Dept. of Telecommunications, University of Zagreb, pp. 235-243. http://www.contel.hr/1997/

Conference Proceeding

An Architectural Foundation for Relating Features

Turner KJ (1997) An Architectural Foundation for Relating Features. In: Dini Petre P, Boutaba R & Logrippo L (eds.) Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montreal, Canada. Feature Interactions in Telecommunications Networks IV, Montreal, Canada, 17.06.1997-19.06.1997. Amsterdam, The Netherlands: IOS Press, pp. 226-241.

Book Chapter

Computationally Efficient Locally Recurrent Neural Networks For On-Line Signal Processing

Hussain A, Soraghan JJ, Durrani T & Campbell DR (1997) Computationally Efficient Locally Recurrent Neural Networks For On-Line Signal Processing. In: Morabito C (ed.) Advances in Intelligent Systems. Frontiers in Artificial Intelligence and Applications, 41. Amsterdam: IOS Press, pp. 87-91. http://www.iospress.nl/book/advances-in-intelligent-systems/

Book Chapter

A new Neural Network Structure for Modelling Non-linear Dynamical Systems

Hussain A, Soraghan JJ, Durrani T & Campbell DR (1996) A new Neural Network Structure for Modelling Non-linear Dynamical Systems. In: Mertzios B & Liatsis (eds.) Proceedings IWISP '96: 4-7 November 1996 Manchester, UK: Third International Workshop on Image and Signal Processing on the Theme of Advances in Computational Intelligence. Amsterdam: Elsevier Science, pp. 119-122. http://store.elsevier.com/Proceedings-IWISP-96-4andndash7-November-1996-Manchester-UK/isbn-9780444825872/

Conference Proceeding

Adaptive Functional-Link neural network based non-linear equalizers for overcoming co-channel interference

Hussain A, Soraghan JJ & Durrani T (1996) Adaptive Functional-Link neural network based non-linear equalizers for overcoming co-channel interference. In: Proceedings of IEEE/IEE International Workshop on Signal Processing Methods in Multi-path Environments. IEEE/IEE International Workshop on Signal Processing Methods in Multi-path Environments, Glasgow, UK, 20.04.1996-21.04.1996. New York: Institute of Electrical and Electronics Engineers.

Conference Proceeding

Hybrid Higher Order Cepstrum and Functional Link Network (HOCFLN) based blind equalizer

Alkulaibi A, Soraghan JJ & Hussain A (1996) Hybrid Higher Order Cepstrum and Functional Link Network (HOCFLN) based blind equalizer. In: IEEE Digital Signal Processing Workshop Proceedings, 1996. IEEE Digital Signal Processing Workshop, 1996, Loen, Norway, 01.09.1996-04.09.1996. Piscataway, NJ: IEEE, pp. 446-449. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=555558&abstractAccess=no&userType=inst; https://doi.org/10.1109/DSPWS.1996.555558

Conference Proceeding

A new artificial neural network based adaptive non-linear equalizer for overcoming co-channel interference

Hussain A, Soraghan JJ & Durrani T (1996) A new artificial neural network based adaptive non-linear equalizer for overcoming co-channel interference. In: 'Communications: The Key to Global Prosperity: Global Telecommunications Conference, 1996. GLOBECOM '96, Volume 2. 'Communications: The Key to Global Prosperity': Global Telecommunications Conference, 1996. GLOBECOM '96, London, UK, 18.11.1996-22.11.1996. Piscataway, NJ: IEEE, pp. 1422-1426. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=587680&abstractAccess=no&userType=inst; https://doi.org/10.1109/GLOCOM.1996.587680

Conference Proceeding

New adaptive non-linear FIR filters for sub-band processing in speech enhancement systems

Hussain A, Campbell DR & Moir TJ (1996) New adaptive non-linear FIR filters for sub-band processing in speech enhancement systems. In: IEE Sixteenth Saraga Colloquium on Digital and Analogue Filters and Filtering Systems. IEE Colloquium, 238. IEE Sixteenth Saraga Colloquium on Digital and Analogue Filters and Filtering Systems, London, UK, 09.12.1996-09.12.1996. The Institution of Engineering and Technology, pp. 6/1-6/6. http://digital-library.theiet.org/content/conferences/10.1049/ic_19961267

Conference Proceeding

Real-Time Adaptive Non-linear Prediction of Non-stationary Signals

Hussain A & Campbell DR (1996) Real-Time Adaptive Non-linear Prediction of Non-stationary Signals. In: IMA International Conference on Mathematics in Signal Processing. IMA International Conference on Mathematics in Signal Processing, Warwick, UK, 15.12.1996-17.12.1996. Southend: Institute of Mathematics & its Applications.