— We contrast the current paradigm of information education for the general public with that of mathematics and of foreign languages. This contrast exposes the questionable menta...
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
In our effort to elucidate the systems biology of the model organism, Escherichia coli, we have developed a mathematical model that simulates the allosteric regulation for threoni...
Tarek S. Najdi, Chin-Rang Yang, Bruce E. Shapiro, ...