Artificial Intelligence Applications and Innovations
This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...
اقرأ المزيد
Artificial Intelligence Techniques for Satellite Image Analysis
The main objective of this book is to provide a common platform for diverse concepts in satellite image processing. In particular ...
اقرأ المزيد
Artificial Intelligence and Soft Computing
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
اقرأ المزيد
Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
اقرأ المزيد
Artificial Intelligence in HCI
This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...
اقرأ المزيد
Artificial Intelligence in Mechatronics and Civil Engineering : Bridging the Gap / Ehsan Momeni, Danial Jahed Armaghani, Aydin Azizi
Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Artificial Life Models in Software
Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and ...
اقرأ المزيد
Aspects of Physical Biology : Biological Water, Protein Solutions, Transport and Replication
The present volume focuses on three main subtopics (biological water, protein solutions as well as transport and replication), ...
اقرأ المزيد
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيد
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيد
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
اقرأ المزيد
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيد
Automated Machine Learning
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
اقرأ المزيد
Automated Nanohandling by Microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...
اقرأ المزيد
Automated Reasoning with Analytic Tableaux and Related Methods
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
Automatic Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
اقرأ المزيد
Automatic Quantum Computer Programming
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
اقرأ المزيد
