Descripción completa.

In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…

Associating the pattern in text data with the pattern with time series data is a novel task. In this paper, an approach that utilizes the features of the time series data and domain knowledge is proposed and used to identify…

Conversational interfaces have received much attention as a promising natural communication channel between humans and computers. A typical conversational interface consists of three major systems: speech understanding, dialog management and spoken language generation. In such a conversational interface, speech recognition…

With the implementation of financial and management audit CIDAP seeks to implement theoretical knowledge audit, in order to identify the internal weaknesses of the institution through a four-phase process that includes their programs and schedules of activities, preparation of working…

Descripción completa.

by Robert J. Grochowski., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1988., Includes bibliographical references.

2007

There are three kinds of uncertainty in the process of fish-disease diagnosis, such as randomicity, fuzzy and imperfection, which affect the veracity of fish-disease diagnostic conclusion. So, it is important to construct a fish-disease diagnostic model to effectively deal with…

Descripción completa.