34002226
Constructible Falsity and Inexact Predicates
6896612
Twenty-Fifth Annual Meeting of the Association for Symbolic Logic
29108592
Automated semantic analysis of design models
Based on several years of experience in generating code from large SDL and UML models in the telecommunications domain, it has become apparent that model analysis must be used to augment more traditional validation and testing techniques. While model correctness is extremely important, the difficulty of use and non-scalability of most formal verification techniques when applied to large-scale design models renders them insufficient for most applications. We have also repeatedly seen that even the most complete test coverage fails to find many problems. In contrast, sophisticated model analysis techniques can be applied without human interaction to large-scale models. A discussion of the model analysis techniques and the model defects that they can detect is provided, along with some real-world examples of defects that have been caught.
15514852
The Architecture and Applications of the Apollo Domain
The Domain system's objective is to integrate mainframe capability with local area networking and raster graphics capabilities at a cost appropriate to engineering and graphics applications.
44549777
SIGGRAPH public policy committee activity detailed
We start this column with the results of our third on-line opinion survey on public policy issues affecting computer graphics. Next we provide an introduction to and a copy of the definition paper for a prospective study of computer graphics research to be conducted by the National Research Council with partial funding from SIGGRAPH. This is followed by an update on our activities in proposing a course on public policy and a panel on digital rights management of intellectual property for SIGGRAPH 2001. Myles Losch provides an update on the issues related to the slow pace of adoption of Digital TV. Finally, we close with another set of comments from a reader.
128780900
Expert system classification of urban land use/cover for Delhi, India
This study presents the results of classifying land use/land cover for Delhi, India using an expert system approach. For this study Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) data of 22 September 2003 were used. The research goals of this project are two‐fold. In one respect, the research goal is to report on the extent covered by urbanization using the classified image. Thirteen different land‐cover categories were identified with an 85.55% overall classification accuracy based on 256 random points for validation and 50 on the ground observations. Secondly, we report on our efforts to duplicate an expert system model previously developed for Phoenix Arizona as a generalized approach for urban land use classification. Results suggest that while some of the methodology could be duplicated, there are local factors (e.g. data availability and specific land features) that required the approach to be modified.
7726004
Ideas in Teaching, Learning and Assessment of Databases: A Communication of the 7thInternational Workshop on Teaching, Learning and Assessment of Databases (TLAD 2009)
This paper is a record of the Seventh International Workshop on the Teaching, Learning and Assessment of Databases (TLAD 2009). Based on the contributions received, the paper describes the efforts that academics based in the UK and elsewhere around the world have made towards finding and disseminating new and interesting ways to enhance the teaching and learning of the database subject area. This year most of the submissions centred around the following areas: issues in teaching for databases and how to resolve these; methods for teaching enterprise systems development and the relevance of databases; interactive and collaborative learning support environments; and tools to aid learning in the database area.