DOGMA-MESS (Meaning Evolution Support System) is a system and methodology for supporting scalable, community-grounded ontology engineering. It uses a socio-technical process of meaning negotiation to tackle the scalability problems in ontology engineering. In order to improve the effectiveness of DOGMA-MESS, we adopt Semantic Decision Tables (SDT). An SDT contains semantically rich decision rul...

................................................................................................................................................ 4 Introduction ........................................................................................................................................... 4 Literature Review ................................................................................

Historically, both clinicians and cognitive scientists have used visual object naming measures to study naming, and lesion-type studies have implicated the left posterior, temporo-parietal region as a critical component of naming circuitry. However, recent results from behavioral and cortical stimulation studies using auditory description naming as well as visual object naming in left temporal ...

In some dialogue systems, the design of dialogue strategy is bound tightly to the domain by straightforwardly hard-coding the response actions into the system. Such a paradigm is quite easy to build up a prototype system, but makes it difficult to port the system across different domains. This paper presents a domain-transparent design of dialogue management to increase system portability. The ...

This paper describes the prototype implementation of a retargetable vector code generator which applies recent advances in automatic (scalar) code generation techniques to the task of generating code for a vector source language. The source language is a subset of Fortran 8X, the proposed successor to the Fortran 77 standard. The target machine is an attached vector processor. This work extends...

FOCUS is a mathematics-based methodology for the development of distributed reactive systems. This paper sketches the expressiveness and the usefulness of the well-tuned concepts of FOCUS by its application of the requirements specification of a steam boiler, see [Abr96]. We demonstrate the support for non-specialists in formal methods by using userfriendly description techniques, here the stat...

This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical objects and their respective views in a scene. Interpretations consist of instantiations of aggregate concepts supported by evidence from a scene. It is shown that flexible interpretation strategies are possible which ar...

This paper presents a rational Haar wavelet operational method for solving the inverse Laplace transform problem and improves inherent errors from irrational Haar wavelet. The approach is thus straightforward, rather simple and suitable for computer programming. We define that $P$ is the operational matrix for integration of the orthogonal Haar wavelet. Simultaneously, simplify the formulaes of...