152 search results - page 2 / 31 » On the Integration of Recursive ALN-Theories |
AI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
ICANN
2011
Springer
12 years 10 months ago
2011
Springer
This paper is concerned with estimation of learning curves for Gaussian process regression with multidimensional numerical integration. We propose an approach where the recursion e...
ICPR
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper develops a recursive method for computing moments of 2D objects described by elliptic Fourier descriptors (EFD). Green's theorem is utilized to transform 2D surfac...
IDEAS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we study the problem of deciding whether a regular path query over views in data-integration systems can be re-expressed without recursion. The problem becomes chall...