الصفحة 16
الصفحة 16
Artificial intelligence and soft computing – ICAISC 2006 ; 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2006, held in Zakopane, Poland, in June 2006. The 128 revised contributed papers presented are organized in topical sections on neural networks and their applications, fuzzy systems and their applications, evolutionary algorithms and their applications, rough sets, classification and clustering, image analysis and robotics, bioinformatics and medical applications, various problems of artificial intelligence.
Artificial intelligence and simulation ; 13th international conference on AI, simulation, and planning in high autonomy systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
This volume is the proceedings of AIS 2004. The AI, Simulation and Planning in High Autonomy Systems (AIS) 2004 C- ference was held on Korea, AIS 2004 was the thirteenth in the series ofbiennial conferences on AI and simulation. The conf- enceprovidedthemajorforumforresearchers ,scientistsandengineerstopresent the state-of-the-art research results in the theory and applications of AI, si- lation and their fusion. This volume includes the invited speakers’ papers, along with thepapers presented in the conference.In addition to the scientific tracks presented.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II
This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 142 full papers presented in this two-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: Artificial intelligence and internet of things. Part II: Internet of things, information security, big data and cloud computing, and information processing.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part I
This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 142 full papers presented in this two-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: Artificial intelligence and internet of things. Part II: Internet of things, information security, big data and cloud computing, and information processing.
Artificial intelligence and neural networks ; 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers
The Turkish Artificial Intelligence and Neural Network Symposium (TAINN) is an annual meeting where scientists present their new ideas and algorithms on artificial intelligence and neural networks with either oral or poster presentation. The TAINN- Turkish Conference on AI and NN Series started in 1992 at Bilkent University in Ankara, envisioned by various researchers in AI and NN then at the Bilkent, Middle East Technical, Bo aziçi and Ege universities as a forum for local researchers to get together and communicate. Since then, TAINN has been held annually around early summer. This year the 14th TAINN conference was organized by the EE and CE departments of the zmir Institute of Technology with an emphasis on international contributions.
Artificial intelligence and data mining approaches in security frameworks
Offers solutions to the problems of security, outlining the concepts behind allowing computers to learn from experience and understand the world in terms of a hierarchy of concepts, with each concept defined through its relation to simpler concepts. provides state of the art approaches of artificial intelligence and data mining in these areas. It includes areas of detection, prediction, as well as future framework identification, development, building service systems and analytical aspects. In all these topics, applications of AI and data mining, such as artificial neural networks, fuzzy logic, genetic algorithm and hybrid mechanisms, are explained and explored. This book is aimed at the modeling and performance prediction of efficient security framework systems, bringing to light a new dimension in the theory and practice. This groundbreaking new volume presents these topics and trends, bridging the research gap on AI and data mining to enable wide-scale implementation. Whether for the veteran engineer or the student, this is a must-have for any library. This groundbreaking new volume: Clarifies the understanding of certain key mechanisms of technology helpful in the use of artificial intelligence and data mining in security frameworks ; Covers practical approaches to the problems engineers face in working in this field, focusing on the applications used every day ; Contains numerous examples, offering critical solutions to engineers and scientists ; Presents these new applications of AI and data mining that are of prime importance to human civilization as a whole
Artificial intelligence : Theories, models and applications ; 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.
Artificial intelligence : Methodology, systems, and applications ; 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008.
Artificial intelligence : Methodology, systems, and applications ; 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006. The 28 revised full papers presented together with the abstracts of 2 invited lectures were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on agents, constraints and optimization, user concerns, decision support, models and ontologies, machine learning, ontology manipulation, natural language processing, and applications.
Artificial intelligence : Methodology, systems, and applications ; 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings
The AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central Europe.Sincethenthecon- rence has followed a biennial schedule of meetings in Bulgaria, attracting parti- pantsfrom awidergeographicalarea.The AIMSA organizers are delighted to present you with another exciting program, coveringmostareasof Artifcial Intelligence.Inkeepingwithitsm- sion to inform the research community and excite the commercial sector, AIMSA presents this year two invited contributions from world-leading European rese- chersworkingoncutting-edgeAIresearch: Prof.CaroleGoble, ontheSemantic Web.
Artificial intelligence : A modern approach ; global ed.
Explores the full breadth and depth of the field of artificial intelligence (AI). The 4th edition brings readers up to date on the latest technologies, presents concepts in a more unified manner, and offers new or expanded coverage of machine learning, deep learning, transfer learning, multi agent systems, robotics, natural language processing, causality, probabilistic programming, privacy, fairness, and safe AI
Artifical intelligence for human computing ; ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006 Hyderabad, India, January 6, 2007 Revised Selceted Papers
This book contains the thoroughly refereed post-proceedings of two events discussing AI for Human Computing.It presented a vision of the future of computing technology in which AI, in particular machine learning and agent technology, plays an essential role.
Arithmetic of finite fields ; 1st International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.
Argumentation in multi-agent systems ; Vol. 4049 ; 2nd International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, revised selected and invited papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent Systems held in Utrecht, Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 10 revised full papers presented together with an invited paper were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections on foundations, negotiation, protocols, deliberation and coalition formation, and consensus formation.
Argumentation in multi-agent systems ; Vol. 3366 ; 1st International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, revised selected and invited papers
The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, linguistics, and psychology (at least). Its techniques and results have found a wide range of applications in both t- oretical and practical branches of arti'cial intelligence and computer science. Several theories of argumentation with various semantics have been proposed in the literature. Multi-agent systems theory has picked up argument-inspired approaches and speci'cally argumentation-theoretic results from many di'erent areas. The community of researchers in argumentation and multi-agent systems is currently presented with a unique opportunity to integrate the various und- standings of argument into a coherent and core part of the functioning of - tonomouscompu...
Argumentation in multi-agent systems ; 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, revised selected and invited papers
This volume presents the latest developments in the growing area of research at the interface of argumentation theory and multiagent systems. Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents.
Architecture of computing systems - ARCS 2007 ; 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings
The ARCS is reporting hi- quality results in computer architecture and operating systems research.It is also represent a - namic, evolving community that closely follows new research trends and topics. ARCS has evolved towards a strong focus on s- tem aspects of pervasive computing and self-organization techniques (organic and autonomic computing).
Architecture description languages ; IFIP TC-2 workshop on architecture description languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
These proceedings record the papers presented at the Workshop onArchitecture Description Languages held in the city of Toulouse in thesouth of France.The aim of an ADL (Architecture Description Language) is to formallydescribe software and hardware architectures. Usually, an ADL describescomponents, their interfaces, their structures, their interactions (structureof data flow and control flow) and the mappings to hardware systems. Amajor goal of such descriptions is to allow analysis with respect to severalaspects like timing, safety, reliability, ...
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
Arakelov Geometry and Diophantine Applications
Bridging the gap between novice and expert, the aim of this book is to present in a self-contained way a number of striking examples of current diophantine problems to which Arakelov geometry has been or may be applied. Arakelov geometry can be seen as a link between algebraic geometry and diophantine geometry.The first chapters provide some background and introduction to the subject. These are followed by a presentation of different applications to arithmetic geometry. The final part describes the recent application of Arakelov geometry to Shimura varieties and the proof of an averaged version of Colmez's conjecture. This book thus blends initiation to fundamental tools of Arakelov geometry with original material corresponding to current research.
