Utilising semantic technologies for intelligent indexing and retrieval of digital images

The proliferation of digital media has led to a huge interest in classifying and indexing media objects for generic search and usage. In particular, we are witnessing colossal growth in digital image repositories that are difficult to navigate using free-text search mechanisms, which often return inaccurate matches as they in principle rely on statistical analysis of query keyword recurrence in the image annotation or surrounding text. In this paper we present a semantically-enabled image annotation and retrieval engine that is designed to satisfy the requirements of the commercial image collections market in terms of both accuracy and efficiency of the retrieval process. Our search engine relies on methodically structured ontologies for image annotation, thus allowing for more intelligent reasoning about the image content and subsequently obtaining a more accurate set of results and a richer set of alternatives matchmaking the original query. We also show how our well-analysed and designed domain ontology contributes to the implicit expansion of user queries as well as the exploitation of lexical databases for explicit semantic-based query expansion

Aspect-Oriented Programming with Type Classes

We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can model an AOP style of programming via a simple syntax-directed transformation scheme where AOP programming idioms are mapped to type classes. The drawback of this approach is that we cannot easily advise functions in programs which carry type annotations. We sketch a more principled approach which is free of such problems by combining ideas from intentional type analysis with advanced overloading resolution strategies. Our results show that type-directed static weaving is closely related to type class resolution -- the process of typing and translating type class programs

A study of information & knowledge generated during engineering design meetings

During the design process, there is a wealth of information generated, and although it may not be obvious at the time, this information can be extremely useful at a later instance when it may be no longer available. Many information capture solutions utilise tools such as video and media capture, incorporating the idea that if you capture all information then you will not miss anything. However, this creates another problem. Not all the information captured will be useful, therefore how can you distinguish the information that is useful from information that is not? The challenge many organisations face is how to capture and store valuable informal information in a way that is both simple and efficient, whilst remaining unobtrusive to the designers involved and without inhibiting the design activities. Through the undertaking of a series of case studies and test scenarios, it is possible to observe, identify and evaluate the various degrees of information and knowledge being generated and passed amongst design engineering teams whilst performing design activities in meeting situations. Using multi-media recording equipment and observation techniques, insight can be gained into the decision making process design engineering teams encounter during the course of a design project, and thus it is possible to evaluate where improved techniques can be applied to enhance the recording of information for re-use

Animism rather than Shamanism: new approaches to what shamans do (for other animists)

What shamans do is sometimes said to involve possession by spirits. However, shamanism has also been defined in opposition to spirit possession. This chapter proposes that approaching shamans and their activities, ideas and communities via the perspective provided by recent re-examination and re-definition of "animism" may improve and and enrich scholarly understanding and analysis of the activities and unvolvements of shamans

Reify Your Collection Queries for Modularity and Speed!

Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating on collections. Performance-critical code using collections need often to be hand-optimized, leading to non-modular, brittle, and redundant code. In principle, this dilemma could be avoided by automatic collection-specific optimizations, such as fusion of collection traversals, usage of indexing, or reordering of filters. Unfortunately, it is not obvious how to encode such optimizations in terms of ordinary collection APIs, because the program operating on the collections is not reified and hence cannot be analyzed. We propose SQuOpt, the Scala Query Optimizer--a deep embedding of the Scala collections API that allows such analyses and optimizations to be defined and executed within Scala, without relying on external tools or compiler extensions. SQuOpt provides the same "look and feel" (syntax and static typing guarantees) as the standard collections API. We evaluate SQuOpt by re-implementing several code analyses of the Findbugs tool using SQuOpt, show average speedups of 12x with a maximum of 12800x and hence demonstrate that SQuOpt can reconcile modularity and efficiency in real-world applications.Comment: 20 page