Hosted articles 1999

• A new look at old bread: ancient Egyptian baking (1999-11-22)
• Early Islamic manufacture of crucible steel at Merv, Turkmenistan (1999-11-22)
• Pilgrims past and present: the ritual landscape of Raqchi, southern Peru (1999-11-22)
• A Scheme for Defining Partial Higher-Order Functions by Recursion (1999-07-01)
• Tests Derivation from Model Based Formal Specifications (1999-07-01)
• Stochastic Specification and Verification (1999-07-01)
• The Role of Proof in a Formal Specification of the Speedway Rulebook (1999-07-01)
• Predicate Transformers for Infinite-State Automata in NuPRL Type Theory (1999-07-01)
• Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases (1999-07-01)
• Some optimisation problems revisited (1999-07-01)
• Proof and Refutation in Formal Software Development (1999-07-01)
• On the Integration of Formal Methods: Events and Scenarios in PVS and VDM (1999-07-01)
• Modular Composition of Language Features through Extensions of Semantic Language Models (1999-07-01)
• A Logic to Specify and Verify Synchronous Transitions (1999-07-01)
• Formal Specifications of Software Design Methods (1999-07-01)
• Valuations revisited (1999-07-01)
• 3rd Irish Workshop on Formal Methods - Index (1999-07-01)
• Four Logics and a Protocol (1999-07-01)
• Checking Formal Specifications by Testing (1999-07-01)
• Teaching and Learning Formal Methods, Improving Productivity (1999-07-01)
• The Place of Jeremy Bentham’s Theory of Fictions in Eighteenth-century Linguistic Thought (1999-06-01)
• Potemkin and the Panopticon: Samuel Bentham and the Architecture of Absolutism in Eighteenth Century Russia (1999-06-01)
• VirtualWWW Documents: a Concept to Explicit the Structure of WWWSites (1999-04-01)
• How Do People Organise Their Photographs? (1999-04-01)
• MIRA - Index (1999-04-01)
• The word association methodology - a gateway to work-task based retrieval (1999-04-01)
• Can Rule-Based Indexing Support Concept-BasedMultimedia Retrieval in Digital Libraries? Some Experimental Results ∗ (1999-04-01)
• Sequence Models for Automatic Highlighting and Surface Information Extraction (1999-04-01)
• The Application of Work Tasks in connection with the Evaluation of Interactive Information Retrieval Systems: Empirical Results (1999-04-01)
• The Automatic Generation of Templates for Automatic Abstracting (1999-04-01)
• Information Seeking as Explorative Learning (1999-04-01)
• Knowledge Management and Information Retrieval: Some New Challenges (1999-04-01)
• Toward a theoretical framework for information retrieval (IR) evaluation in an information seeking context (1999-04-01)
• Normalization and Matching in the DORO System (1999-04-01)
• Process and outcome: On the evaluation of IR systems in the age of interaction, GUIs and multimedia (1999-04-01)
• A Two-time Model for Video Content Representation and Retrieval (1999-04-01)
• IR and the Dialectic of Meaning (1999-04-01)
• Negotiating a Multidimensional Framework for Relevance Space (1999-04-01)
• 21st Annual BCS-IRSG Colloquium on IR - Index (1999-04-01)
• User Interface Issues for Browsing Digital Video (1999-04-01)
• Reassessing and extending the Precision and Recall concepts (1999-04-01)
• Clustering Information Retrieval Search Outputs (1999-04-01)
• Document Clustering for Mediated Information Access (1999-04-01)
• The Perceived Similarity of Photos - A Test-Collection Based Evaluation Framework for the Content-Based Image Retrieval Algorithms 1 (1999-04-01)
• Measuring the Agreement Among Relevance Judges (1999-04-01)
• Improving Index Structures for Structured Document Retrieval (1999-04-01)
• An Empirical Study of Memory and Information Retrieval with a Spatial User Interface (1999-04-01)
• Trademark Image Retrieval Using Multiple Features (1999-02-01)
• Image Browsing and Navigation Using Hierarchical Classification (1999-02-01)
• Spatial Colour Matching for Content Based Retrieval and Navigation (1999-02-01)
• Metadata for images: emerging practice and standards (1999-02-01)
• Robustness of Shape Similarity Retrieval under Affine Transformation (1999-02-01)
• The Informedia Digital Video Library System at the Open University (1999-02-01)
• Global Semantic Classification of Scenes using Power Spectrum Templates (1999-02-01)
• Colour Indexing Across Illumination (1999-02-01)
• Image and Video Searching on the World Wide Web (1999-02-01)
• A Flexible Architecture for Content and Concept Based Multimedia Information Exploration (1999-02-01)
• Evaluation of Automatic Shot Boundary Detection on a Large Video Test Suite (1999-02-01)
• Building systems to block pornography (1999-02-01)
• Content-Based Retrieval for European Image Libraries (1999-02-01)
• Challenge of Image Retrieval - Index (1999-02-01)