of monolithic arrays: (1) the overhead of scheduling and synchronization for recursively defined arrays; (2) the copying of the many intermediate arrays during array construction. Our array constructor allows an index domain to be constructed from a set of rectangular index regions and combinations of these

of data of dominant planes. This tool is integrated inside the software platform UvaCad. The constructor of urban geometric primitives is given as a generator of 3D chains corresponding to the grouping of maximal planar quadrilaterals with ”similar properties ” for the normal unit vector. As a byproduct

New tools are presented for reasoning about properties of recursively defined domains. We work within a general, category-theoretic framework for various notions of `relation' on domains and for actions of domain constructors on relations. Freyd's analysis of recursive types in terms of a

depends on solving a large amount of classification problems and each has its own characteristics which may or may not fit a particular learning method. The task of semantic parser acquisition in two different domains was attempted and preliminary results demonstrated that such an approach is promising.

for a set of constructor functions that contains their domains, ranges and properties. The algorithm produces as output a set of generated features that can be used by standard concept learners to create improved classifiers. The algorithm maintains a set of its best generated features and improves

In construction projects there are a number of information exchange and sharing interfaces between the designers and the contractors. This paper explores the evolution of these interfaces during a project and identifies the critical success factors for knowledge management in this domain

than through constructors they might be built of. Extensional, contextual, behavioural, observational or bisimilarity relations model object equality and the suitable domains are final structures that are conservative with respect to visible subtypes. Consequently, a collection of data types

self-regulation skills? This work describes a blueprint of an innovative intelligent tutoring system called Cognitive Constructor, to be used as a self-regulated-learning assistant to students in mathematical problem solving paradigms. Cognitive Constructor will enable parallel acquisition of domain

A domain constructor that generalizes the product is defined. It is shown that with this constructor exactly the prime-algebraic coherent Scott-domains and the empty set can be generated from two-chains and boolean flat domains. 3 List of Symbols I am identifying the symbols by the corresponding

We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a