633 search results - page 126 / 127 » A Semantic Basis for Quest |
BMCBI
2005
13 years 5 months ago
2005
Chemical information is now seen as critical for most areas of life sciences. But unlike Bioinformatics, where data is Openly available and freely re-usable, most chemical informa...
ACTA
1998
13 years 5 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
INFSOF
2010
13 years 4 months ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
JOCN
2010
13 years 4 months ago
2010
■ There are two views about morphology, the aspect of language concerned with the internal structure of words. One view holds that morphology is a domain of knowledge with a spe...
DLOG
2010
13 years 4 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...