Hosted articles 1998

• Staff and Students of the Institute in 1998-1999 (1998-11-23)
• A Principled Methodology for the Specification and Design of Non-Visual Widgets (1998-11-01)
• Data Collection and Analysis Techniques for Evaluating the Perceptual Qualities of Auditory Stimuli (1998-11-01)
• An Investigation of Using Music to Provide Navigation Cues (1998-11-01)
• Sound Retrieval with Intuitive Verbal Expressions (1998-11-01)
• Audible Information Design in the New York City Subway System: A Case Study (1998-11-01)
• A Spatial Auditory Display for the CyberStage (1998-11-01)
• LiteFoot - Auditory Display of Footwork (1998-11-01)
• Case Study of a Software Structure for a 3D-Audio-Device (1998-11-01)
• Using Sonic Hyperlinks in Web-TV (1998-11-01)
• ‘Observing’ the Workplace Soundscape: Ethnography and Auditory Interface Design (1998-11-01)
• International Conference on Auditory Display - Index (1998-11-01)
• Acoustic Rendering as Support for Sustained Attention during Biomedical Procedures (1998-11-01)
• Sonically-Enhanced Drag and Drop (1998-11-01)
• The Use of Non-Speech Sounds in Non-Visual Interfaces to the MS-Windows GUI for Blind Computer Users (1998-11-01)
• Surgical Navigation System and Method Using Audio Feedback (1998-11-01)
• After Direct Manipulation - Direct Sonification (1998-11-01)
• Using Earcons and Icons in Categorisation Tasks to Improve Multimedia Interfaces (1998-11-01)
• A Simulation Approach to the Design and Evaluation of Auditory Interfaces in a High Speed Train Driving Cab. (1998-11-01)
• Effect of 2D versus 3D spatialisation on the identification of everyday sounds : a preliminary study (1998-11-01)
• Do Localised Auditory Cues in Group Drawing Environments matter? (1998-11-01)
• Synthesising Moving Sounds (1998-11-01)
• Ad-hoc synthesis of auditory icons (1998-11-01)
• Sound Traffic Control: An Interactive 3-D Audio System for Live Musical Performance (1998-11-01)
• ‘The Sound of Silence’: A Preliminary Experiment Investigating Non-Verbal Auditory Representations in Telephone-Based Automated Spoken Dialogues (1998-11-01)
• Towards some Organising Principles for Musical Program Auralisations (1998-11-01)
• N » 2: Multi-speaker Display Systems for Virtual Reality and Spatial Audio Projection (1998-11-01)
• Speech Intelligibility in Adverse Conditions in Recorded Virtual Auditory Environments (1998-11-01)
• Sound + Image in Computer-Based Design: Learning from Sound in the Arts (1998-11-01)
• Musical Grammars as the Basis of Non-Speech Audio Communication (1998-11-01)
• A Pedagogy of Creative Thinking based on Sonification of Visual Structures and Visualization of Aural Structures (1998-11-01)
• AB – Web : Active audio browser for visually impaired and blind users (1998-11-01)
• Making Progress With Sounds - The Design & Evaluation Of An Audio Progress Bar (1998-11-01)
• The formal development of a Windows interface (1998-09-01)
• A Formal Theory for the Views-a Relationship (1998-09-01)
• Computers and the Sociology of Mathematical Proof (1998-09-01)
• A Tale of Two Proofs (1998-09-01)
• Dimensions and Dichotomy in Metamodeling (1998-09-01)
• An object-oriented formal specification of a configuration language for railway interlockings (1998-09-01)
• Investigating Miraculous Specifications (1998-09-01)
• Specification and Refinement in General Correctness (1998-09-01)
• IO-refinement in Z (1998-09-01)
• A CSP Model for Hybrid Automata (1998-09-01)
• A tactic language for reasoning about Z specifications (1998-09-01)
• 3rd BCS-FACS Northern Formal Methods Workshop - Index (1998-09-01)
• Extending the Test Template Framework (1998-09-01)
• Recursion Diagrams: ideas for a Geometry of Formal Methods (1998-09-01)
• On Partial-Function Application in Z (1998-09-01)
• A Semantics for Object-Oriented Systems (1998-09-01)
• Modular Semantics for Object-Oriented Models (1998-09-01)
• Mathematics for Formal Methods, a proposal for education reform (1998-07-01)
• Strictly Level-Decreasing Logic Programs (1998-07-01)
• TEACHING FORMAL METHODS: Lessons To Learn (1998-07-01)
• A Case Study on Proving Transformations Correct: Data-Parallel Conversion (1998-07-01)
• Formal engineering of the bitonic sort using PVS (1998-07-01)
• Translating Structured Database Schemas into Abstract Machines (1998-07-01)
• Towards an Override in Topoi (1998-07-01)
• Motivation for a New Semantics for Vagueness (1998-07-01)
• Declarative View of Imperative Programs (1998-07-01)
• A Use Case Interpretation of B AMN (1998-07-01)
• 2nd Irish Workshop on Formal Methods - Index (1998-07-01)
• An Unbounded Nondeterministic Model for CSP-like Languages (1998-07-01)
• Facilitating Modular Property-Preserving Extensions of Programming Languages (1998-07-01)
• Applications of the TAMPR Transformation System (1998-07-01)
• NHS: A Tool for the Automatic Construction of News Hypertext (1998-03-01)
• Independence of Contributing Retrieval Strategies in Data Fusion for Effective Information Retrieval (1998-03-01)
• Coupled Hierarchical IR and Stochastic Models for Surface Information Extraction. (1998-03-01)
• The Relationship between IR and Multimedia Databases (1998-03-01)
• Text-Image Interaction for Image Retrieval and Semi-Automatic Indexing (1998-03-01)
• User-Chosen Phrases in Interactive Query Formulation for Information Retrieval (1998-03-01)
• Combining Information Retrieval with Information Extraction for Efficient Retrieval of Calls for Papers (1998-03-01)
• 20th Annual BCS-IRSG Colloquium on IR - Index (1998-03-01)
• Social and Cognitive Factors in the Design and Evaluation of Multimedia Systems (1998-03-01)
• Agents in Cyberspace – Towards a Framework for Multi-Agent Systems in Information Discovery (1998-03-01)
• A Dempster-ShaferModel for Document Retrieval using Noun Phrases (1998-03-01)
• An Architecture for Efficient Document Clustering and Retrieval on a Dynamic Collection of Newspaper Texts (1998-03-01)
• German Indexing and Retrieval Test Data Base (GIRT) Some Results of the Pre-test (1998-03-01)
• Modeling Information Retrieval with Probabilistic Argumentation Systems (1998-03-01)
• Effective and Efficient Relational Query Processing Using Conceptual Graphs (1998-03-01)
• Content Based Annotation and Retrieval in RAIDER (1998-03-01)
• Evaluation of Interfaces for IRS: Modelling End-User Searching Behaviour (1998-03-01)
• Supporting Image Search on the Web (1998-02-01)
• A Rotation Invariant Shape Representation based on Wavelet Transform (1998-02-01)
• Search Techniques Within a Multiple Database Environment (1998-02-01)
• Using Colour for Image Indexing (1998-02-01)
• Text-based Hierarchical Image Classification and Retrieval of Stock Photography (1998-02-01)
• Towards automatic recognition of plant varieties (1998-02-01)
• A Novel Architecture for Trademark Image Retrieval Systems (1998-02-01)
• Searching for Photos - Journalists’ Practices in Pictorial IR (1998-02-01)
• A Model for Content Representation of Multimedia Information (1998-02-01)
• A Client-Server Extension to PICSearch system (1998-02-01)
• Multiple Inverted Array Index Structure for Asymmetric Similarity Measure (1998-02-01)
• Challenge of Image Retrieval - Index (1998-02-01)