Organizations have to integrate multiple, distributed data sources and repositories for making their business decisions. These data sources include (but are not limited to) databases, object stores, knowledge bases, files systems, digital libraries and legacy systems. Data and/or system integration has become increasing important for enterprise computing. An agent-based mediate-wrapper software...

With the goal of making exclusive-OR formulations of switching functions more readily available to designers for implementation in L S I and VLSI technologies, we introduce the concept of an exclusive-OR space in which an exclusive-OR normal form is deJined to correspond to the conventional disjunctive normal form. A geometrical representation of exclusive-OR space is described, and its variou...

The high-quality modeling experiences embedded in the more mature graphical OO methods (OOMs) makes their application to complex systems attractive, but the lack of rm semantic bases for the model-ing notations can signiicantly hamper the development of such systems. One approach to making OOMs more precise and amenable to rigorous analysis is to integrate them with suitable formal modeling tec...

Decision makers often must pool probability estimates from multiple experts before making a choice. Such pooling sometimes improves accuracy and other times diagnosticity. This article uses a cognitive model of the judge and the decision maker’s classification of the information to explain why. Given a very weak model of the judge, the important factor is the degree to which their information b...

Based on insights from research in information systems, information science, business strategy and organization science, this paper develops the bases for advancing the paradigm of AI and expert systems technologies to account for two related issues: (a) dynamic radical discontinuous change impacting organizational performance; and (b) human sense-making processes that can complement the machin...

This paper is concerned with the interplay of the expressiveness of model and graph transformation languages, of assertion formalisms making correctness statements about transformations, and the decidability of the resulting verification problems. We put a particular focus on transformations arising in graph-based knowledge bases and model-driven engineering. We then identify requirements that ...

one of the main concerns of lawyers is that on what basis a responsible person to be identified. legal thought with respect to its defined objectives represented different bases. it looks that in judicial system of iran the “negligence rule” make the primary responsibility. in unilateral and bilateral events the “negligence rule” leads to performance, although it should be noted that in cases w...

Based on insights from research in information systems, information science, business strategy and organization science, this paper develops the bases for advancing the paradigm of AI and expert systems technologies to account for two related issues: (a) dynamic radical discontinuous change impacting organizational performance; and (b) human sense-making processes that can complement the machin...

Before surveying the results of the paper, we introduce path algebras. Path algebras play a central role in the representation theory of finite-dimensional algebras (Gabriel, 1980; Auslander et al., 1995; Bardzell, 1997) and the theory of Gröbner bases (Bergman, 1978; Mora, 1986; Farkas et al., 1993) has been an important tool in some results (Feustel et al., 1993; Green and Huang, 1995; Bardze...

Given a positive integer M and real number x∈(0,1], we call q∈(1,M+1] univoque simply normal base of x if there exists unique sequence (di)∈{0,1,…,M}N such that x=∑i=1∞diq−i. Similarly, is called irregular x=∑i=1∞diq−i the (di) has no digit frequency. Let USN(x) UIr(x) be sets bases x, respectively. In this paper show for any x∈(0,1] both have full Hausdorff dimension. Furthermore, given finite...