The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms ...
Latent relational search (LRS) is a novel approach for mapping knowledge across two domains. Given a source domain knowledge concerning the Moon, “The Moon is a satellite of the...
This paper gives an overview of the error sources in the solution of DAEs and discusses how different algorithms use tolerances to control these errors. The tolerance models of th...