| Abberley, D. (1995) Connectionist Combination Of Evidence Sources In Automatic Speech Recognition |
| Abdel Kader, Y. (2007) A Performance Analysis of a Hybrid Relational-XML Approach To Store Partially-Structured Data |
| Abdel-Haleem, Y. (2007) Conditional Random Fields for Continuous Speech Recognition |
| Abouzakhar, N. (2005) Intelligent Agents-based Networks Security |
| Abulkhair, M. (2004) A Multilingual automate Web Usability Evaluation Agent |
| Achour, S. (1990) The Use Of Formal Description Techniques For The Design Of High Level Protocol Conversion |
| Aguado, J. (2004) Conformance testing of Distributed Systems: an X-machine based approach |
| Al-Badawi, M. (2010) A Performance Evaluation of a New Bitmap-based XML Processing Approach |
| Al-Johar, B. (1999) A Portable Natural Language Interface from Arabic to SQL |
| Alghamdi, A. (1997) A Generic Information Architecture For A Metacase Environment |
| Allan, J. D. (2009) Statistical and Structured Optimisation Methods for the Approximate GCD Problem |
| Allison, B. (2010) An Improved Hierarchial Bayesian Model of Language for Document Classification |
| Alneami, A. (1996) Design And Implementation Of An English To Arabic Machine Translation (Meana Mt) |
| Askew, A. (2011) Robot Survival Strategies |
| Azad, A. (1994) Recognition Of Traffic Congestion Using Neural Networks |
| Barker, J. (1998) The relationship between speech perception and auditory organisation: Studies with spectrally reduced speech |
| Belis, D. (2006) Behaviour-based techniques for the minimisation of the partitions in mobile ad hoc networks |
| Bell, A. (1998) Formal Computational Models Of Biological Systems |
| Benharrats, L. (1993) Deep And Qualitative Reasoning Experimenting With Qualitative Simulation |
| Bernardini, F. (2006) Membrane Systems for Molecular Computing and Biological Modelling |
| Bicak, M. (2011) Agent-based modelling of Decentralized Ant Behaviour Using High Performance Computing |
| BinSubaih, A. (2008) Creating a Virtual Training Environment for Traffic Accident Investigation for the Dubai Police Force |
| Bird, P. (2005) Unifying Programming Paradigms: Logic programming \& finite state automata |
| Birkinshaw, C. (1995) Engineering Communicative Distributed Safety-Critical |
| Bogdanov, K. (2000) Automated testing of Harels statecharts |
| Bontcheva, K. (2001) Generating Adaptive Hypertext |
| Boudour, O. (1992) Intelligent Matching Of Structured Objects: Application To Automatic Speech Recognition |
| Brewster, C. (2008) Mind the Gap: Bridging from text to ontological Knowledge |
| Brown, G.J. (1992) Computational Auditory Scene Analysis: A Representational Approach |
| Brown, S. (1999) The Semantics of Database Query Languages |
| Bujang Masli, A.B. (2011) Refinement of Formal Specifications |
| Bunting, J. (2001) An Expert System Version of a Textbook of General Practice Medicine |
| Burkitt, M.A. (2012) Computational Modelling of Sperm Behaviour in a 3D Virtual Oviduct |
| By, T. (2001) Tears in the Rain |
| Cachia, E. (1993) Methodologies To Overcome Problems In Automating Parallel System Implementation |
| Camargo, R. (2004) Mining the Evolutionary and Functional Relationships of Protein Hetrogenous Biological Databases |
| Carmichael, J. (2007) Introducing Objective Acoustic Metrics for the Frenchay Dysarthria Assessment Procedure |
| Carreira-Perpinan, M. (2001) Continuous latent variable models for dimensionality reduction and sequential data reconstruction |
| Carvalho, R. (2011) Automatic Annotation of Personal Photographs |
| Chakravarthy, A. (2011) Towards Cross Media Document Annotation |
| Chambers, C. (2000) Industrial Strength Techniques for the Development of Plc-Based Safety-Related Control and Protection Systems |
| Chambers, S. (2000) Applying X-machines in the Retrospective Testing of Software |
| Chantatub, W. (1995) The Integration Of Software Specification\_ Verification And Testing Techniques With Software Requirements And Design Processes |
| Chapman, SJ (2010) Similarity approaches for information integration |
| Chiu, F. (1994) Formal Specification Of VLSI |
| Chutimaskul, W. (1994) Data Engineering In Occam3 |
| Clarke, S. (1991) Modelling And Evaluation Of The Human-Computer Interface |
| Clough, P. (2003) Measuring Text Reuse |
| Coakley, S. (2008) Formal Software Architecture for Agent-Based Modelling in Biology |
| Collier, R. (1998) Automatic Template Creation for Information Extraction |
| Conway, M. (2007) Approaches to Automatic Biographical Sentence Classification: An Empirical Study |
| Cooke, M. (1991) Modelling Auditory Processing And Organisation |
| Cooper, L. (1998) Physically Based Modelling Of Human Limbs |
| Cooper, M. (1987) Visual Occlusion And The Interpretation Of Ambiguous Pictures |
| Coy, A. (2008) Exploiting Primitive Grouping Constraints for Noise Robust Automatic Speech Recognition: Studies with Simultaneous Speech |
| Creer, S. (2010) Personalising Synthetic Voices for Individuals with Severe Speech Impairment |
| Croll, P. (1989) Configuring Occam Programs To Meet Real-Time Constraints In A Multitransputer Workstation |
| Cunningham, H. (2000) Software Architecture for Language Engineering |
| Cunningham, S. (2003) Modelling the recognition of band-pass filtered speech |
| Dahlan, N. (2000) An Interactive English-Malay Translation Tool for Monolinual Users |
| Dalli, A. (2011) Timeline Extraction From Hyperlinked Text Corpora |
| Damljanovic, D. (2011) Natural Language Interfaces to Conceptual Models |
| De geus, K. (1992) Visualization in radiotherapy planning |
| Dempster, G. (1995) A Large Scale Analysis Of The Acoustic-Phonetic Markers Of Speaker Sex |
| Dingli, A. (2004) Annotating the Semantic Web |
| Duan, Z. (1996) Modelling Of Hybrid Systems |
| Dunning, T. (1998) Finding Structure In Text\_ Genome And Other Symbolic Sequences |
| Eastlick, M. (2006) Discrete Differential Geometry and an Application in Multiresolution Analysis |
| Edge, J. (2005) Techniques for the Synthesis of Visual Speech |
| Eggink, J. (2006) Instrument recognition and melody estimation in polyphonic music based on limited time-frequency representations |
| Elamvazuthi, C. (1995) The Evolution Of The Pcsc Methodology And Its Toolset |
| Eleftherakis, G. (2003) Formal verification of x-machine models:Towards formal development of computer-based systems |
| Eriksson, R. (2004) Dynamic Environments: A free lunch for evolutionary algorithm life time adaptation? |
| Fontenele Carvalho, Rodrigo (2008) Metadata goes where Metadata is: contextual networks in the photographic domain |
| Foster, S.D. (2010) A Compositional Semantic Theory for Service Composition |
| Fuller, M. (1993) Surface Reconstruction\_ Volume Rendering And Animation Techniques For Visualisation In Scientific Computing |
| Gamito, M. (2008) Techniques for Stochastic Implicit Surface Modelling and Rendering |
| Gani, A. (2009) Intelligent Network Bandwith Control Using Reinforcement Learning Approach |
| Gerecke, U. (2001) Accuracy Reliability and Speed of SOM Ensemble Architectures for a Quick and Dirty Robot Localization Method |
| Gibson, M. T. (2009) Minimum Bayes Risk Acoustic Mofdel Estimation and Adaptation |
| Godsmark, D. (1998) A Computational Model of the Perceptual Organisation of Polyphonic Music |
| Goslin, J. (2002) A Comparison of Theoretical and Human Syllabification |
| Greenwood, M.A. (2006) Open-Domain Question Answering |
| Grondoudis, A. (2000) X-Machine based specification and design for testing of the CATV protocol |
| Gunnarsson, O. (2011) Sketching 3D faces |
| Gupta, S. (2010) Generating politeness for conversational systems aimed to teach English as a second language |
| Guthrie, DV (2008) Unsupervised Detection of Anomalous Text |
| Hall, P. (1992) Four New Algorithms For Visualisation |
| Hasan, M. (2011) The Computation of Multiple Roots of a Polynomial Using Structure Preservince Matrix Methods |
| Hatzis, A. (1999) Optical Logo-Therapy (OLT) Computer-Based Audio-Visual Feedback Using Interactive Displays for Speech Training |
| Hofe, R. (2011) Biometric Vocal Tract Modelling: An Artificial Speaker to Investigate the Energetics of Speech Production |
| Huang, F. (2005) Multi-Document Summarization with Latent Semantic Analysis |
| Huang, H. (1999) Interoperable Query Processing For Heterogeneous Applications In A Mixed Object And Relational Database Environment |
| Huang, L. (2007) Analysis and Quantification of Test First Programming |
| Hughes, A.J. (2010) DynamiTE: A 21st Century framework for concurrent component- based design |
| Hung, K. (1999) A Dynamic Business Object Architecture for Supporting Strategic Management Planning |
| Ipate, F. (1995) Theory Of X-Machines And Applications In Specification And Testing |
| Jabbari, Sanaz (2010) A Statistical Model of Lexical Context |
| Jackson, D. (2006) The Shortest Path is the One You Know: A behavioural\_ chemical and computational investigation of ant pheromone |
| Jacobsson, H. (2006) Rule Extraction from Recurrent Neural Networks |
| Javaid, M. (2011) An Empirical Framework for Verifying Swarm Based Systems |
| Josifovski, L. (2003) Robust Automatic Speech Recognition With Misssing and Unreliable Data |
| Karn, J. (2006) Empirical Software Engineering: Developing Behaviour and Preferences |
| Khosravi, H. (1999) Extracting Pragmatic Content From Email |
| King, N. (2008) Fast Variational Methods for Non-Gaussian Likelihoods |
| Kiran, (2010) Investigating the Coevolutionary Algorithm in Agent-Based Economic Systems |
| Kit, C. (2000) Unsupervised Lexical Learning as Inductive Inference |
| Kolluru, B. (2007) Processing Broadcast News: Classification\_ Summerisation and Evaluation |
| Koumpis, K. (2002) Automatic Voicemail Summarisation for Mobile Messaging |
| Krisanathamakul, T. (2005) Discriminant Training of Hidden Markov Model for Protein Classification |
| Krotov, A. (2001) Parsing with a Compacted Treebank Grammar |
| Kuah, A. (1996) An Object-Oriented Framework for CAD\_ CAE and Animation |
| Lao, X. (2011) Structured Matrix Methods For A Polynomial Root Solver Using Approximate Greatest Common Divisor Computations And Approximate Polynomial Factorisations |
| Laycock, G. (1992) The Theory And Practice Of Specification Based Software Testing |
| Lee, M. (1998) Belief\_ Rationality and Inference |
| Lewis Kelham, E. (2007) Multi-level Lax Logic Introducing Proof Terms for Handling Multiple Constraints |
| Li, H. (2007) A Machine Learning Approach to Filtering Spam E-Mail |
| Linaker, F. (2003) Unsupervised On-line Data Reduction for Memorisation and Learning in Mobile Robotics |
| Loftsson, H. (2008) Tagging and Parsing Icelandic Text |
| Loh, B. (1997) Incorporating Software Reuse Into A Parallel Case Environment |
| Lu, G. (2008) A New Environment-Aware Framework For The Research of Mobile Ad hoc Networks |
| Lu, Y-C (2010) Active hearing strategies for binautal sound localisation in azimuth and distance by mobile listerners |
| Ma, Ning (2009) Informing Multisource Decoding in Robust Automatic Speech Recognition |
| Macias, F. (2004) Empirical Assessment of Extreme Programming |
| Maddock, S. (1998) An Investigation Of The Modelling-Animation Relationship In Computer Graphics |
| Maier, V. (2010) Temporal Episodic Memory Model: Towards Proactive Case-based Automatic Speech Recognition |
| Mairesse, F. (2008) Learning to Adapt in Dialogue Systems: Data-driven Models for Personality Recognition and Generation |
| Makin, S. (2006) The Role of Static and Dynamic F0 Cues in Concurrent Vowel Segregation |
| Mansour, A. (1998) A Framework For The Design Of A Medical Tutoring System For The Instruction Of Undergraduates In General Practice |
| Marriott, D. (1996) Analysis of Safety-Critical Parallel Software Systems |
| Martinez Lazalde, O.M. (2010) Analyzing and Evaluating the Use of Visemes in an Interpolative Synthesizer for Visual Speech |
| Mccarroll, N. (1995) Semantic Integrity Enforement In Parallel Datebase Machines |
| McMinn, P. (2005) Evolutionary Search for Test Data in the Presence of State Behaviour |
| Meredith, M. (2006) Adapting and Reconfiguring Human Motion Capture Data through the Application of Inverse Kinematics and Biomechanics-Based Optimisation |
| Mill, R. W. (2009) The Application of Auditory Signal Processing Principles to the Detection,Tracking and Association of Tonal Components in Sonar |
| Mitchell, B. (2004) Prepositional Phase Attachment using Machine Learning Algorithms |
| Mitchell, D. (1992) Fast Algorithms And Hardware For 3d Computer Graphics |
| Moore, J. (2001) On the performance of unaligned packed encoding rules when applied to a non-optimised protocol specification |
| Morris, D. (1995) The Use Of Feed-Forward Back-Propagation Neural Network Models In Road Traffic Parameter Prediction |
| Mouratidis, H. (2004) A Security Oriented Approach in the Development of Multiagent Systems: Applied to the Management of the Health and Social Care Needs of Older People in England |
| Murray, P. (1993) Semantic Correctness In The Specification\textit{ Translation} And Parallel Implementation Of Sql Queries |
| Nike, M. (2000) Using Dataflow Algebra as a Specification Method |
| Nixon, P. (1994) The Paisley Specification Of Real-Time Occam Programs |
| North, S. (1980) Incremental Compliation in a Block Structured Environment |
| Norton, B. (2010) A Theory for Flow-Oriented Software Processes |
| Oates, R. (1991) Transaction Recovery Architectures For Parallel Database Machines |
| Ogunshile, E. K. A. (2011) A Machine with Class: A FRamework for Object Generation, Intergration and Language Authentication (FROGILA) |
| Opalach, A. (1996) Implicit Surfaces for Modelling and Character Animation |
| Parveen, S. (2003) Connectionist Approaches to the Deployment of Prior Knowledge for Improving Robustness in Automatic Speech Recognition |
| Pastra, E. (2005) Vision -- Language Integration: a Double-Grounding Case |
| Payne, D. (2010) Digitsation and 3D Shape analysis of drosophila sperm curves |
| Peersman, G. (2003) On the design and evaluation of a gateway architecture for the GSM Short Message Service |
| Pena Centeno, T. (2006) A Strategy for parameter specification in the Context of Discriminant Analysis |
| Peters, W. (2004) Detection and Characterization of Figurative Language Use WordNet |
| Pogson, M. (2007) Modelling the Intracellular NF-KB Signalling Pathway |
| Polifroni, JH (2008) Enabling Browsing in Interactive Systems |
| Poulsen, T. (2009) The use of computational simulations to investigate neural models of acoustic signalling and hearing |
| Rabhi, F. (1990) Designing A Parallel Graph Reduction Machine With Dynamic Granularity Control |
| Rathbone, K. (2000) Evolving Visually Guided Neural Network Robot Arm Controllers for Lifetime Learning |
| Refoufi, A. (1990) Design Of A Natural Language Interface Using User Models To Drive The Performance Of The System |
| Richmond, P. (2010) High performance agent based modelling on graphics card hardware |
| Rodriguez Mota, A. (2010) Towards extreme design |
| Rowe, M. (2010) Disambiguating Identity Web References Using Social Data |
| Rudram, C. (2003) A method for generating test cases from UML for use with hyper-sequential programming |
| Salahuddin, Sarah (2009) Analysing the Impact of Change on Finite State Machine Test Sets |
| Salas Zuniga, M. (2010) Extracting skull faced models from MRI datasets for use in Craniofacial reconstruction |
| Samani, A. (2006) Automatic Face Recognition Using Stereo Images |
| Sanchez, M. (2006) Techniques for Performance-based\_ real-time Facial Animation |
| Sardjono, W. (2005) A Hybrid Approach for Partitioning Distributed Object Applications |
| Sdralia, V. (2002) Fault Recovery of Broadband Cable Networks |
| Setzer, A. (2002) Temporal information in newswrite articles: An annotation scheme and corpus study |
| Shou, X. (2000) Handling Collaborative Diagram Databases on the WWW |
| Simons, A. (1995) A Language with Class: the Theory of Classification Exemplified in an Object-Oriented Language |
| Stamatopoulou, I. (2008) A Formal Framework for the Modelling of Multi-Agent Systems with Dynamic Structure |
| Stannett, M. (1986) Internal Topology |
| Steinacher, A. (2012) Self-Organisation of Auxin Transport in Plant Cells |
| Stergiou, I. (1999) Novel Computer-Network Traffic Modelling Techniques for Analysis and Simulation |
| Suwannaroj, S. (2005) Mining Biological Literature |
| Swampillai, K.B. (2012) Information Extraction Across Sentences |
| Syed-Abdullah, S. (2005) Empirical Study on Extreme Programming |
| Tablan, V.M. (2010) Toward Portable Information Extraction |
| Teece, D. (1998) Three-Dimensional Interactive Non-Photorealistic Rendering |
| Thomson, C. (2007) Defining and Describing Change Events in Software Development Projects |
| Tucker, S. (2004) An ecological approach to the classification of transient underwater acoustic events: Perceptual experiments and auditory models |
| Unwalla, M. (1993) A Mixed Transaction Cost Model For Coarse Grained Multi-Column Partitioning In A Shared-Nothing Database Machine |
| Uribe, D. (2004) LEEP: Learning Event Extraction Patterns |
| Vanak, S. (2002) Complete functional testing of VHDL descriptions |
| Varma, S. (2010) Hybrid Hierarchical Computational Models Of Cardiac Cells And Tissues |
| Waithe, S. (1994) A Concurrency Control Architecture For Scalable Massively Parallel Shared-Nothing Database Machines |
| Walton, M. (1998) First-Order Lax Logic: A Framework For Abstraction Constraints And Refinement |
| Wan, V. (2003) Speaker Verification using support vector machines discriminative methods for speech recognition |
| Weatherley, S. (1999) A Meta-Modelling Environment for a Metacase Tool |
| Webb, N. (2010) Cue-based dialogue act classification |
| Williams, G. (1999) Knowing What You Dont Know: Roles for Confidence Measures in Automatics Speech Recognition |
| Woods, P. (1999) Cognitive Schemas for Chinese Noun Classifiers: A Corpus-Based Investigation |
| Wrigley, S. N. (2002) A Theory and Computational Model of Auditory Selective Attention |
| Yankova, M. (2010) Terms: Text Extraction From Redundant And Multiple Sources |
| Yap, C. (1999) Visual-Z: A Methodology and Environment for Developing Visual Formal Z Specifications |
| Yap, Chern Nam (2008) Real Time Application Roaming Performance Over Wireless Local Area Network (IEE 802.11) |
| Yu, L. (2010) Production and perceptual analysis of speech produced in noise |
| Ziemke, T. (2000) Situated Neuro-Robotics and Interactive Cognition |
