18 search results - page 1 / 4 » fois 2010 |
FOIS
2010
13 years 10 months ago
2010
FOIS
2010
13 years 10 months ago
2010
FOIS
2010
13 years 9 months ago
2010
Software measurement is a relatively young discipline. As a consequence, it is not well defined yet, making the terminology used diverse. In order to establish a basic conceptualiz...
FOIS
2010
13 years 10 months ago
2010
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
FOIS
2010
13 years 10 months ago
2010
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...