Abstract. We study the convergence properties of the cascadic conjugategradient method (CCG-method), which can be considered as a multilevel method without coarse-grid correction. ...
Abstract In this paper, Radial Basis Function (RBF) method for interpolating two dimensional functions with localized features defined on irregular domain is presented. RBF points ...
Abstract. The massive amount of textual data on the Web raises numerous classification problems. Although the notion of domain is widely acknowledged in the IR field, the applica...
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike ...