3D object recognition is a challenging problem with important applications such as robotic perception. The most promising approach to solving 3D object recognition is through solving the correspondence problem. The goal of the correspondence problem in the context of 3D object recognition is to find correspondences between the objects to be recognized and the scene. If correspondences exist bet...

ExPosition is a new comprehensive R package providing crisp graphics and implementing multivariate analysis methods based on the singular value decomposition (svd). The core techniques implemented in ExPosition are: principal components analysis, (metric) multidimensional scaling, correspondence analysis, and several of their recent extensions such as barycentric discriminant analyses (e.g., di...

State of the art ontology matching techniques are limited to detect simple correspondences between atomic concepts and properties. Nevertheless, for many concepts and properties atomic counterparts will not exist, while it is possible to construct equivalent complex concept and property descriptions. We define a correspondence where at least one of the linked entities is non-atomic as complex c...

We describe a database named MIC database containing 2-dimensional structures of synthesized compounds/antibiotics, IUPAC name, smiles notation and the MIC values / zone of inhibition against a particular organism, strain and culture conditions. The data was collected from various literature sources such as Arkivoc, Bioorganic Medicinal Chemistry Letters, Antimicrobial Agents and Chemotherapy, ...

This paper describes a version of Martin-Löf’s dependent type theory extended with names and constructs for freshness and name-abstraction derived from the theory of nominal sets. We aim for a type theory for computing and proving (via a Curry-Howard correspondence) with syntactic structures which captures familiar, but informal, ‘nameful’ practices when dealing with binders.

Letters, and speech acts in general, provide little feedback about their success or failure, which makes it difficult for generators to improve their planning knowledge. Informal observation indicates that humans may learn better writing techniques through discovery rather than failure, however. I present a bottom-up, case-based planner that was developed to overcome some shortcomings of classi...

The paper presents the results of the development and implementation of an expert system that automatically generates doctors' letters based on the results of laboratory tests. Medical knowledge is expressed using a first order predictate logic based language. The system was implemented and evaluated in the Helix laboratory service.

The cytoskeleton is a complex structure within the cellular corpus that is responsible for the main structural properties and motilities of cells. A wide range of models have been utilized to understand cytoskeletal rheology and mechanics (see e.g. [Mofrad, M., Kamm, R., 2006. Cytoskeletal Mechanics: Models and Measurements. Cambridge University Press, Cambridge]). From this large collection of...

Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. With currently-available desktop computers, systems that incorporate these techniques can effectively reason in description logics with intractable inference. Because of the correspondence between description logics and propositional mod...

The purpose of this paper was to investigate the authenticity of IELTS academic tests. Bachman and Palmer (1996, p. 23) define authenticity as “the degree of correspondence of the characteristics of a given language test task to the features of a target language task”. Authenticity is then an important aspect of testing since it describes the relationship between the test and the real world. Th...