2152 search results - page 317 / 431 » On Automating the Calculus of Relations |
107
click to vote
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
105
Voted
WISE
2003
Springer
15 years 6 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
108
Voted
ICCBR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...
117
click to vote
ICCBR
2003
Springer
15 years 6 months ago
2003
Springer
Case-based reasoning is a flexible methodology to manage software development related tasks. However, when the reasoner’s task is prediction, there are a number of different CBR ...
111
Voted
MSR
2009
ACM
15 years 5 months ago
2009
ACM
Software repositories provide abundance of valuable information about open source projects. With the increase in the size of the data maintained by the repositories, automated ext...