We consider high dimensional integration in a broad class of functions where all elements have maximum effective dimension. We show that there exists an exact cubature with only t...
Learning from examples is an important characteristic feature of intelligence in both natural and artificial intelligent agents. In this paper, we study learnability of term rewri...
Abstract The most difficult and time consuming activity to perform during view integration is to find correspondences between different view specifications. Such correspondences...
Ernst Ellmer, Christian Huemer, Dieter Merkl, G&uu...
Abstract. We describe implementations for solving the discrete logarithm problem in the class group of an imaginary quadratic field and in the infrastructure of a real quadratic fi...
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...