the proceedings contain 67 papers. the topics discussed include: natural computation for business intelligence from web usage mining;membrane computing as a framework for modeling economic processes;theory and practic...
详细信息
ISBN:
(纸本)0769524532
the proceedings contain 67 papers. the topics discussed include: natural computation for business intelligence from web usage mining;membrane computing as a framework for modeling economic processes;theory and practice of programming applied to membrane systems;checking RSC criteria for extended dixon resultant by interpolation method;a connectivity analysis in geometric constraint solving;symbolic modeling of database representations;integrating role activity diagrams and hybrid IDEF for business process modeling using MDA;cryptanalysis of an authentication protocol;general secret sharing based on determinants;an algorithm for automated generation of invariants for loops with conditionals;specifications and verification of network protocols by process algebra;specification of coordinated objects and verification of their temporal properties;and a reinforcement learning algorithm for spiking neural networks.
A graph partitioning-based heuristic load-balancing algorithm known as the Largest-task- rst-with-minimum- nish-time-and-available-communication-costs from EVAH package [3] is modied in order to be dynamically adapted...
详细信息
ISBN:
(纸本)0769524532
A graph partitioning-based heuristic load-balancing algorithm known as the Largest-task- rst-with-minimum- nish-time-and-available-communication-costs from EVAH package [3] is modied in order to be dynamically adapted to heterogeneous computing environments like a grid An example is given to show the improvement.
Web usage mining attempts to discover useful knowledge from the secondary data obtained from the interactions of the users withthe Web. Web usage mining has become very critical for effective Web site management, cre...
详细信息
ISBN:
(纸本)0769524532
Web usage mining attempts to discover useful knowledge from the secondary data obtained from the interactions of the users withthe Web. Web usage mining has become very critical for effective Web site management, creating adaptive Web sites, business and support services, personalization, network traffic flow analysis and so on. this paper introduces the various ingredients of natural computation and further presents the important concepts of Web usage mining and its various practical applications.
In this paper we consider P systems with membrane creation working with symbol objects. As a result of a halting computation we do not take the set of numbers generated in a designated output membrane, instead we take...
详细信息
ISBN:
(纸本)0769524532
In this paper we consider P systems with membrane creation working with symbol objects. As a result of a halting computation we do not take the set of numbers generated in a designated output membrane, instead we take the resulting tree representing the membrane structure of the final configuration. We prove that each recursively enumerable tree language can be obtained by this system.
the paper proposes a symbolic model for tackling the theoretical basis of the transformations between the relational database form and its XML representation. the model we propose aims at proving the consistency of su...
详细信息
ISBN:
(纸本)0769524532
the paper proposes a symbolic model for tackling the theoretical basis of the transformations between the relational database form and its XML representation. the model we propose aims at proving the consistency of such transformations, which are often used in software applications that process databases. On a more abstract level, our aim is to show that the categorial theory developed in symbolic computation can offer tools for systematically tackling the basis of fairly complex problems which rise in software design.
暂无评论