Coarse grained parallel (CGP) computing models such as the coarse grained multicomputer (CGM), bulk synchronous parallel (BSP), and LogP models have received considerable attention recently from the parallel computing...
详细信息
We present a treecode algorithm for efficiently computing the real space part of Ewald summation in periodic dipolar systems. The algorithm uses multipole expansion in Cartesian coordinates to approximate the real spa...
详细信息
We present a treecode algorithm for efficiently computing the real space part of Ewald summation in periodic dipolar systems. The algorithm uses multipole expansion in Cartesian coordinates to approximate the real space interaction between a dipole and a distant cluster of dipoles. The necessary Taylor coefficients are computed efficiently using recurrence relations. Two divide-and-conquer evaluation procedures are described. Test results are presented for systems of randomly generated dipoles.
Mobile computing is a component that will be included in many future computing environments. This paper presents a scheme that will allow the addition of a mobile component to an existing distributed deductive databas...
详细信息
Existing commercial software reengineering systems were mostly developed for centralized environments. With the advent and widespread use of object-oriented and client-server technologies, customers are expecting the ...
详细信息
This paper proposes a computational framework to reason with conflicting and gradual evidence. The framework is a synthesis of Dung's seminal work in argumentation semantics with multivalued logic. Abstract ground...
详细信息
ISBN:
(纸本)9781450344869
This paper proposes a computational framework to reason with conflicting and gradual evidence. The framework is a synthesis of Dung's seminal work in argumentation semantics with multivalued logic. Abstract grounded semantics is used to identify the conditions under which a conclusion can be accepted, while multivalued logic operators are used to quantify the degree of truth of such conditions. We propose a truth-compositional recursive computation based on the notion of irrelevant arguments, and we discuss examples using the major multi-valued logics: Godel's, Zadeh's and Lukasiewicz's logic. Copyright 2017 acm.
The method is proposed to self-organize a task model for realizing a multi-modal interface system. The method self-organizes the task model from word sequences and their responses using 6 basic rules and two kinds of ...
详细信息
Cloud computing is a paradigm that focuses on sharing data and computing resources over a scalable network of nodes, so it is becoming a preferred environment for those applications with large scalability, dynamic col...
详细信息
Microcomputers running data acquisition, analysis, and communication software have helped scientists automate their laboratories, improve the quality of research, enhance productivity, and facilitate collaboration. De...
详细信息
ISBN:
(纸本)9780897916585
Microcomputers running data acquisition, analysis, and communication software have helped scientists automate their laboratories, improve the quality of research, enhance productivity, and facilitate collaboration. Despite the growing use of these and other software tools, reliance on the traditional pen and laboratory notebook for recording and organizing experimental data remains commonplace. This paper presents a data model of scientific experimentation for designing database systems that chronicle the empirical study of natural processes.
This paper presents a binary partitioning method for fractal image compression. The method makes use of self-similarities existing in an image and applies a simple block splitting strategy to generate more rectangular...
详细信息
The HiMAT model is introduced for the design and development of mobile agent applications. HiMAT derives from two models for mobile agents, MA and TuCSoN. By extending and integrating these two models, HiMAT provides ...
详细信息
ISBN:
(纸本)1581130864
The HiMAT model is introduced for the design and development of mobile agent applications. HiMAT derives from two models for mobile agents, MA and TuCSoN. By extending and integrating these two models, HiMAT provides a unique, coherent framework enabling mobile agent system designers to effectively deal with topology, authentication, authorization and coordination.
暂无评论