我要吃瓜

Computing Science

See full organisation overview

Outputs related to Computing Science

Showing 1501 to 1536 of 1536

Conference Paper (published)

Second Feature Interaction Contest (Contest Instructions)

Kolberg M, Magill E, Marples D & Reiff-Marganiec S (2000) Second Feature Interaction Contest (Contest Instructions). In: Calder M & Magill E (eds.) Feature Interactions in Telecommunications and Software Systems VI. Feature Interaction in Telecommunications and Software Systems VI, Glasgow, Scotland, 17.05.2000-19.05.2000. Amsterdam: IOS Press, pp. 293-310. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-vi/

Conference Paper (published)

Engineering Telecommunication Services with SDL

Sinnott R & Kolberg M (1999) Engineering Telecommunication Services with SDL. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy. IFIP Advances in Information and Communication Technology, 10. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.02.1999. Berlin Heidelberg: Springer, pp. 187-204. http://www.springer.com/computer/communication+networks/book/978-0-7923-8429-8

Conference Paper (published)

The pros and cons of using SDL for creation of distributed services

Olsen A, Demany D, Cardoso E, Lodge F, Kolberg M, Bjorkander M & Sinnott R (1999) The pros and cons of using SDL for creation of distributed services. In: Zuidweg H, Campolargo M & Delgado J J (eds.) Intelligence in Services and Networks Paving the Way for an Open Service Market: 6th International Conference on Intelligence and Services in Networks, IS&N’99 Barcelona, Spain, April 27–29, 1999 Proceedings. Lecture Notes in Computer Science, 1597. 6th International Conference on Intelligence and Services in Networks, IS&N’99, Barcelona, Spain, 27.04.1999-29.04.1999. Berlin Heidelberg: Springer, pp. 342-354. http://link.springer.com/chapter/10.1007/3-540-48888-X_33#; https://doi.org/10.1007/3-540-48888-X_33

Conference Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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

Conference Paper (published)

Experiences modelling and using formal object-oriented telecommunication service frameworks

Kolberg M, Sinnott R & Magill E (1999) Experiences modelling and using formal object-oriented telecommunication service frameworks. In: volume 31. RAID '98 workshop: First International Workshop on the Recent Advances in Intrusion Detection, Louvain-la-Neuve, Belgium, 14.09.1998-16.09.1998. Elsevier, pp. 2577-2592. https://doi.org/10.1016/S1389-1286%2899%2900121-8

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

Article

SPIKEII: an integrate-and-fire aVLSI chip

Smith L, Eriksson BE, Hamilton A & Glover MA (1999) SPIKEII: an integrate-and-fire aVLSI chip. International Journal of Neural Systems, 9 (5), pp. 479-484. https://doi.org/10.1142/S0129065799000514

Article

On Sex, Mate Selection and the Red Queen

Ochoa G & Jaffe K (1999) On Sex, Mate Selection and the Red Queen. Journal of Theoretical Biology, 199 (1), pp. 1-9. https://doi.org/10.1006/jtbi.1999.0931

Conference Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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 Paper (published)

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/

Conference 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 Paper (published)

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 Paper (published)

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/