Adding Dimensions to Unimodal Cardiac Images

Adding dimensions to unimodal cardiac images.

Simulation of Two Dimensions in Unimodal Logics

In this paper, we prove undecidability and the lack of finite model property for a certain class of unimodal logics. To do this, we adapt the technique from [7], where products of transitive modal logics were investigated, for the unimodal case. As a particular corollary, we present an undecidable unimodal fragment of Halpern and Shoham’s Interval Temporal Logic.

Adding Dimensions and Facts to ADF Representation of Legal Cases

Previous work has shown that theories representing a body of case law can be represented as Abstract Dialectical Frameworks (ADF) but that it is desirable to represent degrees of presence of factors, rather than as simply considering factors as present or absent, as is currently standard. This requires consideration not only of factors, but also of the facts on which their attribution to cases ...

Empirical Calibration Method for Adding Colour to Range Images

This paper describes a cheap and easy method of capturing colour images in order to map textures accurately onto range data. By using an empirical mapping algorithm it avoids systematic errors arising from the use of incomplete parametric camera models.

Adding Value to Biodiversity Images Through Community Annotation

Morphbank users are actively collaborating on the creation of information that represents the associations among images and related biodiversity data objects. This demo will explain the Morphbank annotation tool and data models and give examples of how users create structured information in the system. Schematized annotation provides biologists with a flexible framework to create semantically-r...