Download or read book Proceedings 2015 IEEE 27th International Conference on Tools with Artificial Intelligence written by and published by . This book was released on 2015 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings of the 5th International Conference on Big Data and Internet of Things written by Mohamed Lazaar and published by Springer Nature. This book was released on 2022-07-03 with total page 600 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a collection of papers in the research area of big data, cloud computing, cybersecurity, machine learning, deep learning, e-learning, Internet of Things, reinforcement learning, information system, social media and natural language processing. This book includes papers presented at the 5th International Conference on Big Data Cloud and Internet of Things, BDIoT 2021 during March 17–18, 2021, at ENSIAS, Mohammed V University in Rabat, Morocco.
Download or read book Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication IMCOM 2019 written by Sukhan Lee and published by Springer. This book was released on 2019-05-22 with total page 1134 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over past few years, technologies have experienced boundaries getting blurred and concept of convergence to gain prominence. Harnessing from this, two main tracks for information processing management and communication are held, covering both research and application works of information management, intelligent information processing, interaction management, networking/ telecommunications, and social interaction. This book creates unique opportunity for research convergence among truly diverse technology domains of computer science. Leveraging from this diversity of topics, researchers get to generate novel research ideas by seeking application of their research in a different technology domain. This volume represents the collection of papers presented at the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM 2019), held on 4-6 January 2019 in Phuket, Thailand. Out of 228 papers submitted from all around the world 88 papers were accepted for presentations. The 88 contributions to this volume are organized into 5 chapters: Chapter 1. Network Evolution, Chapter 2. Intelligent and Secure Network, Chapter 3. Image and Video Processing, Chapter 4. Information Technology and Society, and Chapter 5. Data Mining and Learning. Our editors wish readers to find this volume informative and enjoyable.
Download or read book Proceedings of 3rd 2023 International Conference on Autonomous Unmanned Systems 3rd ICAUS 2023 written by Yi Qu and published by Springer Nature. This book was released on with total page 478 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book International Joint Conference 12th International Conference on Computational Intelligence in Security for Information Systems CISIS 2019 and 10th International Conference on EUropean Transnational Education ICEUTE 2019 written by Francisco Martínez Álvarez and published by Springer. This book was released on 2019-04-27 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents papers presented at CISIS 2019 and ICEUTE 2019, held in the beautiful and historic city of Seville (Spain) in May 2019. The 12th CISIS 2019 conference offered a meeting opportunity for academic and industry-related researchers form the various communities of computational intelligence, information security and data mining, and the need for intelligent, flexible behaviour by large, complex systems, especially in mission-critical domains, was the catalyst and the aggregation stimulus for the event. The book covers current topics such as cryptographic and data analytics solutions to fulfil least minimum privilege and endorse least minimum effort in information systems. The book also includes 15 papers from the 10th ICEUTE 2019, covering topics like new approaches to assess competencies and innovation in computer science education.
Download or read book Intelligent Decision Technologies 2017 written by Ireneusz Czarnowski and published by Springer. This book was released on 2017-05-25 with total page 337 pages. Available in PDF, EPUB and Kindle. Book excerpt: The volume presents a collection of peer-reviewed articles from the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT-17), held in Vilamoura, Algarve, Portugal on 21–23 June 2017. The conference addressed critical areas of computer science, as well as promoting knowledge transfer and the generation of new ideas in the field of intelligent decision making, project management and data analysis. The range of topics addressed includes methods of classification, prediction, data analysis, decision support, modeling, social media and many more in such diverse areas as finance, linguistics, management and transportation.
Download or read book Artificial Intelligence and Soft Computing written by Leszek Rutkowski and published by Springer. This book was released on 2018-05-24 with total page 832 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set LNAI 10841 and LNAI 10842 constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2018, held in Zakopane, Poland in June 2018. The 140 revised full papers presented were carefully reviewed and selected from 242 submissions. The papers included in the second volume are organized in the following five parts: computer vision, image and speech analysis; bioinformatics, biometrics, and medical applications; data mining; artificial intelligence in modeling, simulation and control; and various problems of artificial intelligence.
Download or read book Analysis of Experimental Algorithms written by Ilias Kotsireas and published by Springer Nature. This book was released on 2019-11-14 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA2 2019, held in Kalamata, Greece, in June 2019. The 35 revised full papers presented were carefully reviewed and selected from 45 submissions. The papers cover a wide range of topics in both computer science and operations research/mathematical programming. They focus on the role of experimentation and engineering techniques in the design and evaluation of algorithms, data structures, and computational optimization methods.
Download or read book Evolutionary Multi Criterion Optimization written by Heike Trautmann and published by Springer. This book was released on 2017-02-17 with total page 717 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2017 held in Münster, Germany in March 2017. The 33 revised full papers presented together with 13 poster presentations were carefully reviewed and selected from 72 submissions. The EMO 2017 aims to discuss all aspects of EMO development and deployment, including theoretical foundations; constraint handling techniques; preference handling techniques; handling of continuous, combinatorial or mixed-integer problems; local search techniques; hybrid approaches; stopping criteria; parallel EMO models; performance evaluation; test functions and benchmark problems; algorithm selection approaches; many-objective optimization; large scale optimization; real-world applications; EMO algorithm implementations.
Download or read book Handbook of Satisfiability written by A. Biere and published by IOS Press. This book was released on 2021-05-05 with total page 1486 pages. Available in PDF, EPUB and Kindle. Book excerpt: Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science." Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems." Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?"
Download or read book ECAI 2023 written by K. Gal and published by IOS Press. This book was released on 2023-10-18 with total page 3328 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.
Download or read book Big Data Analytics and Knowledge Discovery written by Ladjel Bellatreche and published by Springer. This book was released on 2017-08-11 with total page 489 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2017, held in Lyon, France, in August 2017. The 24 revised full papers and 11 short papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in the following topical sections: new generation data warehouses design; cloud and NoSQL databases; advanced programming paradigms; non-functional requirements satisfaction; machine learning; social media and twitter analysis; sentiment analysis and user influence; knowledge discovery; and data flow management and optimization.
Download or read book Intelligent Imaging and Analysis written by DaeEun Kim and published by MDPI. This book was released on 2020-03-05 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: Imaging and analysis are widely involved in various research fields, including biomedical applications, medical imaging and diagnosis, computer vision, autonomous driving, and robot controls. Imaging and analysis are now facing big changes regarding intelligence, due to the breakthroughs of artificial intelligence techniques, including deep learning. Many difficulties in image generation, reconstruction, de-noising skills, artifact removal, segmentation, detection, and control tasks are being overcome with the help of advanced artificial intelligence approaches. This Special Issue focuses on the latest developments of learning-based intelligent imaging techniques and subsequent analyses, which include photographic imaging, medical imaging, detection, segmentation, medical diagnosis, computer vision, and vision-based robot control. These latest technological developments will be shared through this Special Issue for the various researchers who are involved with imaging itself, or are using image data and analysis for their own specific purposes.
Download or read book Artificial Intelligence and Legal Analytics written by Kevin D. Ashley and published by Cambridge University Press. This book was released on 2017-07-10 with total page 451 pages. Available in PDF, EPUB and Kindle. Book excerpt: The field of artificial intelligence (AI) and the law is on the cusp of a revolution that began with text analytic programs like IBM's Watson and Debater and the open-source information management architectures on which they are based. Today, new legal applications are beginning to appear and this book - designed to explain computational processes to non-programmers - describes how they will change the practice of law, specifically by connecting computational models of legal reasoning directly with legal text, generating arguments for and against particular outcomes, predicting outcomes and explaining these predictions with reasons that legal professionals will be able to evaluate for themselves. These legal applications will support conceptual legal information retrieval and allow cognitive computing, enabling a collaboration between humans and computers in which each does what it can do best. Anyone interested in how AI is changing the practice of law should read this illuminating work.
Download or read book Artificial Intelligence in Education written by Ido Roll and published by Springer Nature. This book was released on 2021-06-10 with total page 545 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set LNAI 12748 and 12749 constitutes the refereed proceedings of the 22nd International Conference on Artificial Intelligence in Education, AIED 2021, held in Utrecht, The Netherlands, in June 2021.* The 40 full papers presented together with 76 short papers, 2 panels papers, 4 industry papers, 4 doctoral consortium, and 6 workshop papers were carefully reviewed and selected from 209 submissions. The conference provides opportunities for the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology, linguistics as well as many domain-specific areas. *The conference was held virtually due to the COVID-19 pandemic.
Download or read book Intelligent Systems Design and Applications written by Ajith Abraham and published by Springer Nature. This book was released on with total page 511 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN FMCAD 2022 written by Alberto Griggio and published by TU Wien Academic Press. This book was released on 2022-10-12 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
