Informatik (14.430 Artikel)

8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The...

Automated Design of Machine Learning and Search Algorithms

Automated Design of Machine Learning and Search Algorithms

This book provides a comprehensive and in-depth study of automated firewall policy analysis for designing, configuring and managing distributed firewalls in large-scale enterpriser networks. It pre...

This book provides a comprehensive and in-depth study of automated firewall policy analysis for designing, configuring and managing distributed firewalls in large-scale enterpriser networks. It pre...

This book constitutes the refereed proceedings of the 18th International TRIZ Future Conference on Automated Invention for Smart Industries, held in Strasbourg, France, in October 2018 and sponsore...

This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and disc...

This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions.This monograph investigates the problem o...

10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria...

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated L...

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition establ...

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Invited Talks.- Program Termination Analysis by Size-Change Graphs (Abstract).- SET Cardholder Registration: The Secrecy Proofs.- SET Cardholder Registration: The Secrecy Proofs.- Algorithms, Datas...