18 search results - page 1 / 4 » fois 2010 |
FOIS
2010
15 years 5 days ago
2010
FOIS
2010
14 years 11 months ago
2010
FOIS
2010
14 years 11 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
15 years 5 days 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
15 years 5 days 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...