12540236
Map generalization in the Web age
Geographic information represents our understanding of the association of phenomena with their location on and near the Earth’s surface. When presented in map form, an essential aspect of that information is that it may be adapted in semantic abstraction and level of geometric detail according to the purpose of the map and the extent of the Earth that is being considered at any one time. Representations of small areas in detail result in so-called large-scale maps, while representations of large regions in lesser detail are referred to as small-scale maps. Traditionally, cartographers have performed the task of adapting the content and the level of detail of a map to suit its scale and purpose, and this process is called map generalization. The widespread use of geographic information in computers in the context of geographical information systems (GIS) has brought with it the demand for automation of map generalization. Ideally, when accessing geographic information in a GIS, it would be possible to be able to modify the level of generalization of the available geo-data entirely automatically. At present, no such automatic facilities are readily available in commercial GIS. Some commercial GIS do provide mapgeneralization tools that the user may apply in a somewhat ad hoc manner to selected geometric data. These tools appear, however, to be targeted at cartographic specialists wanting to derive a generalized dataset from a more detailed one. There are some notable examples of the way in which automated map-generalization tools have been exploited for purposes of professional map production. For example, the Institut Géographique National of France have used GALBE (this issue) to generalize the entire French road network to produce 1 : 250 000 scale maps from their BDCarto database (approximately 1 :50 000). More recently, the demand for automated map generalization, which has been longstanding in the context of conventional GIS, has been reinforced by the prevalence of geographical information access on the Internet. There are several types of public access map-based Web sites that allow a user to zoom in and out of a particular region, but at present this is usually based on stepping between independent pre-generalized datasets which may differ markedly in their degree of generalization. It would be desirable to be able to change the level of detail on such systems in a smooth and progressive manner rather than the quantum-leap changes that often characterize the current approach. Hand-held computers and mobile phones with small screens can now support the display of small maps, but the size
42189866
Episodes in Space: Qualitative Representation and Reasoning Over Spatio-Temporal Objects
There is growing interest in many application domains for the temporal treatment and manipulation of spatially referenced objects. Handling the time dimension in spatial databases can greatly enhance and extend their functionality and usability by offering means of understanding the spatial behaviour in time. Few works, to date, have been directed towards the development of formalisms for representation and reasoning in this domain. In this paper, a new approach is presented for the representation and reasoning over spatio-temporal relationships. The approach is simple and aims to satisfy the requirements of coherency, expressiveness and reasoning power. Consistent behaviours of spatial objects in time are denoted episodes. The topology of the domain is defined by decomposing episodes into representative components and relationships are defined between those components. Spatio-temporal reasoning is achieved by composing the relationships between the object components using constraint networks. New composition tables between simple spatio-temporal regions and between regions and volumes are also derived and used in the reasoning process.
7423994
Computational Perspectives on Map Generalization
13190855
Conflict resolution in cartographic name placement
Abstract The increasing application of computer cartography in geographical information systems and in professional map production has highlighted the requirement for automatic positioning of cartographic text in a manner that ensures legibility. An important aspect of the implementation of automated name placement is the avoidance of conflict, in particular due to overlap between names, and between names and map features. This paper reviews the automated strategies that have been adopted for conflict resolution. The majority of these may be classified as either iterative or graph-search procedures. In general the problem may be seen as one in which initially trial positions are generated for each of a selected set of names. These trial positions should obey rules relating to text characteristics and to the relationships between names and other map features. Conflict resolution then consists in finding, for each name, a trial position that obeys the cartographic rules governing the relationships between names.
9300744
Matching and aligning features in overlayed coverages
1. ABSTRACT The problems caused by locational error when overlaying spatial data from different sources have been recognised for some time, and much research has been directed towards finding solutions. In this paper we present a solution in the form of an algorithm that seeks to match and align semantically equivalent features prior to overlay. It is assumed that, because of locational error, semantically equivalent features will not always be geometrically equivalent. The technique has been developed to assist in the detection of change between multi-date vector-defined data sets. Initial results, obtained by applying our algorithm to land cover data, are presented. 1.1
205571678
A Prolog Rule-Based System for Cartographic Name Placement
Manual name placement is an extremely time consuming task and has been one of the most difficult aspects of the map production process to automate. It is complicated by the large number of rules required for the selection and placement of names. A hybrid Prolog/Fortrau rule-based system is described for placing names on a variety of map types. It uses a set of Prolog primitives for spatial search and name placement operations. The Ordnance Survey's 1:625000 scale digital dataset has been used to illustrate the application of rules for the selection of labels as well as for controlling their size and orientation. The application to other types of maps and diagrams is also briefly described.
6818472
Some Practical Problems and Their Influence on Semantics
This paper offers an assessment of what has been achieved in three decades of work on the semantics of programming languages and pinpoints some practical problems in computing which might stimulate further research. The examples sketched in this paper come from the author's own research on concurrent object oriented languages, from database practice, and from more speculative research on Internet issues.
11309996
Automated methods of predicting the function of biological sequences using GO and BLAST
BackgroundWith the exponential increase in genomic sequence data there is a need to develop automated approaches to deducing the biological functions of novel sequences with high accuracy. Our aim is to demonstrate how accuracy benchmarking can be used in a decision-making process evaluating competing designs of biological function predictors. We utilise the Gene Ontology, GO, a directed acyclic graph of functional terms, to annotate sequences with functional information describing their biological context. Initially we examine the effect on accuracy scores of increasing the allowed distance between predicted and a test set of curator assigned terms. Next we evaluate several annotator methods using accuracy benchmarking. Given an unannotated sequence we use the Basic Local Alignment Search Tool, BLAST, to find similar sequences that have already been assigned GO terms by curators. A number of methods were developed that utilise terms associated with the best five matching sequences. These methods were compared against a benchmark method of simply using terms associated with the best BLAST-matched sequence (best BLAST approach).ResultsThe precision and recall of estimates increases rapidly as the amount of distance permitted between a predicted term and a correct term assignment increases. Accuracy benchmarking allows a comparison of annotation methods. A covering graph approach performs poorly, except where the term assignment rate is high. A term distance concordance approach has a similar accuracy to the best BLAST approach, demonstrating lower precision but higher recall. However, a discriminant function method has higher precision and recall than the best BLAST approach and other methods shown here.ConclusionAllowing term predictions to be counted correct if closely related to a correct term decreases the reliability of the accuracy score. As such we recommend using accuracy measures that require exact matching of predicted terms with curator assigned terms. Furthermore, we conclude that competing designs of BLAST-based GO term annotators can be effectively compared using an accuracy benchmarking approach. The most accurate annotation method was developed using data mining techniques. As such we recommend that designers of term annotators utilise accuracy benchmarking and data mining to ensure newly developed annotators are of high quality.
11004522
Program Specifications and Formal Development
39386761
Reasoning about Interference in an Object-Based Design Method
The property of a (formal) development method which gives the development process the potential for productivity is compositionality, compositional development methods for concurrent systems are elusive because of interference. A companion paper shows how object-based concepts can be used to provide a designer with control over interference and proposes a transformational style of development in which concurrency is introduced only in the final stages of design. That approach relies on restrictions to the object graphs which can arise and works for systems which involve limited interference. The current paper discusses the problems of interference and shows how a suitable logic can be used to reason — during design — about those systems where interference plays an essential role. Here again, concepts are used in the design notation which are taken from object-oriented languages since they offer control of granularity and ways of pinpointing interference. A further paper is in preparation which discusses the semantics of the object-based design notation.
45828501
Formal Definition in Program Development
The intent of the current paper is to show how a large problem like compiler development can be divided in a way which provides a structure for arguments of correctness. Although mechanically checked proofs are not envisaged, the use of formal notation is recommended so that the basis for correctness arguments exists.