3686 search results - page 162 / 738 » Comprehensive comprehensions |
GI
2005
Springer
14 years 2 months ago
2005
Springer
: Market research draws a coherent picture of the market based on extensive observations of sales acts from numerous data sources. As the data sources refer to the products sold al...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and ...
TABLEAUX
2005
Springer
14 years 2 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
ZUM
2005
Springer
14 years 2 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...