This book constitutes the proceedings of the 14th International Conference on Principles and Practice in Multi-Agent systems, PRIMA 2011, held in Wollongong, Australia, in November 2011.;The 39 papers presented t...
详细信息
ISBN:
(数字)9783642250446
ISBN:
(纸本)9783642250439
This book constitutes the proceedings of the 14th International Conference on Principles and Practice in Multi-Agent systems, PRIMA 2011, held in Wollongong, Australia, in November 2011.;The 39 papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. They focus on practical aspects of multiagent systems and are organised in topical sections on coalitions and teamwork, learning, mechanisms and voting, modeling and simulation, negotiation and coalitions, optimization, sustainability, agent societies and frameworks, argumentation, and applications.
Computational collective intelligence (CCI) is most often understood as a subfield of artificial intelligence (AI) dealing with soft computing methods that enable group decisions to be made or knowledge to be processe...
详细信息
ISBN:
(数字)9783642044410
ISBN:
(纸本)9783642044403
Computational collective intelligence (CCI) is most often understood as a subfield of artificial intelligence (AI) dealing with soft computing methods that enable group decisions to be made or knowledge to be processed among autonomous units acting in distributed environments. The needs for CCI techniques and tools have grown signi- cantly recently as many information systems work in distributed environments and use distributed resources. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. Therefore, CCI is of great importance for today’s and future distributed systems. Methodological, theoretical and practical aspects of computational collective int- ligence, such as group decision making, collective action coordination, and knowledge integration, are considered as the form of intelligence that emerges from the collabo- tion and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc. , can support human and other collective intelligence and create new forms of CCI in natural and/or artificial s- tems.
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capita...
详细信息
ISBN:
(数字)9783540478843
ISBN:
(纸本)9783540437031
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and softwareengineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in softwareengineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.
This book constitutes the refereed proceedings of the 8th International Conference on Active Media Technology, AMT 2012, held in Macau, China, in December 2012. The 65 revised full papers were carefully reviewed and s...
详细信息
ISBN:
(数字)9783642352362
ISBN:
(纸本)9783642352355
This book constitutes the refereed proceedings of the 8th International Conference on Active Media Technology, AMT 2012, held in Macau, China, in December 2012.
The 65 revised full papers were carefully reviewed and selected from a numerous submissions. The papers are organized in topical sections on awareness multi-agent systems, data mining, ontology mining, web reasoning, social applications of active media, human-centered computing, personalization and adaptation, smart digital art and e-learning.
Microservice architectures are increasingly used to modularize IoT applications and deploy them in distributed and heterogeneous edge computing environments. Over time, these microservice-based IoT applications are su...
详细信息
Microservice architectures are increasingly used to modularize IoT applications and deploy them in distributed and heterogeneous edge computing environments. Over time, these microservice-based IoT applications are susceptible to performance anomalies caused by resource hogging (e.g., CPU or memory), resource contention, etc., which can negatively impact their Quality of Service and violate their Service Level Agreements. Existing research on performance anomaly detection for edge computing environments focuses on model training approaches that either achieve high accuracy at the expense of a time-consuming and resource-intensive training process or prioritize training efficiency at the cost of lower accuracy. To address this gap, while considering the resource constraints and the large number of devices in modern edge platforms, we propose two clustering-based model training approaches: (1) intra-cluster parameter transfer learning-based model training (ICPTL) and (2) cluster-level model training (CM). These approaches aim to find a trade-off between the training efficiency of anomaly detection models and their accuracy. We compared the models trained under ICPTL and CM to models trained for specific devices (most accurate, least efficient) and a single general model trained for all devices (least accurate, most efficient). Our findings show that ICPTL’s model accuracy is comparable to that of the model per device approach while requiring only 40% of the training time. In addition, CM further improves training efficiency by requiring 23% less training time and reducing the number of trained models by approximately 66% compared to ICPTL, yet achieving a higher accuracy than a single general model.
Professional knowledge management is imperative for the success of enterprises. One decisive factor for the success of knowledge management projects is the coordination of elements such as corporate culture, enterpris...
详细信息
ISBN:
(数字)9783540316206
ISBN:
(纸本)9783540304654
Professional knowledge management is imperative for the success of enterprises. One decisive factor for the success of knowledge management projects is the coordination of elements such as corporate culture, enterprise organization, - man resource management, as well as information and communication techn- ogy. The proper alignment and balancing of these factors are currently little understood—especially the role of information technology, which is often - garded only as an implementation tool, though it can be a catalyst by making new knowledge management solutions possible. This conference brought together representativesfrom practical and research ?elds for discussing experiences, professional applications, and visions through presentations, workshops, tutorials, and an accompanying industry exhibition. The main focus of the conference was the realization of knowledge mana- ment strategies with the aid of innovative information technology solutions, such as intelligent access to organizational memories, or integration of business processes and knowledge management. Also of interest were holistic/integrative approaches to knowledge management that deal with issues raised by the in- gration of people, organizations, and information technology.
The two-volume set LNAI 7802 and LNAI 7803 constitutes the refereed proceedings of the 5th Asian Conference on Intelligent Information and Database systems, ACIIDS 2013, held in Kuala Lumpur, Malaysia in March 2013.;T...
详细信息
ISBN:
(数字)9783642365430
ISBN:
(纸本)9783642365423
The two-volume set LNAI 7802 and LNAI 7803 constitutes the refereed proceedings of the 5th Asian Conference on Intelligent Information and Database systems, ACIIDS 2013, held in Kuala Lumpur, Malaysia in March 2013.;The 108 revised papers presented were carefully reviewed and selected from numerous submissions. The papers included are grouped into topical sections on: innovations in intelligent computation and applications; intelligent database systems; intelligent information systems; tools and applications; intelligent recommender systems; multiple modal approach to machine learning; engineering knowledge and semantic systems; computational biology and bioinformatics; computational intelligence; modeling and optimization techniques in information systems, database systems and industrial systems; intelligent supply chains; applied data mining for semantic Web; semantic Web and ontology; integration of information systems; and conceptual modeling in advanced database systems.
The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systemsengineering...
详细信息
ISBN:
(数字)9783642161292
ISBN:
(纸本)9783642161285
The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systemsengineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systemsengineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.
暂无评论