Informatik (15.821 Artikel)

The idea about this book has evolved during the process of its preparation as some of the results have been achieved in parallel with its writing. One reason for this is that in this area of resear...

This book is intended for all those interested in software engineering, and more particularly, software maintenance and evolution. Researchers and software practitioners alike will find in the cont...

This book is intended for all those interested in software engineering, and more particularly, software maintenance and evolution. Researchers and software practitioners alike will find in the cont...

Invited Papers.- Experimental Study of Resilient Algorithms and Data Structures.- Computational Challenges with Cliques, Quasi-cliques and Clique Partitions in Graphs.- Contributed Regular Papers.-...

In operations research and computer science it is common practice to evaluate the performance of optimization algorithms on the basis of computational results, and the experimental approach should ...

Invited Talks.- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory.- Using an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization.- High-P...

While expert systems technology originated in the United States, its development has become an international concern. Since the start of the DENDRAL project at Stanford University over 15 years ago...

The areas of intelligent machines or robotic systems is of enormous technological and economic interest as competition in productivity intensifies. This volume gives the proceedings of the 1990 Adv...

Expert system technology is receiving increasing popularity and acceptance in the engineering community. This is due to the fact that there actually exists a close match between the capabilities of...

The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering", held in Spa, Belgium, in 1986. Introductory p...

Structural safety of industrial systems and components raises a steadily growing public, scientific and engineering interest, and causes permanent development of methods and techniques used for its...

Explainable AI: Interpreting, Explaining and Visualizing Deep Learning

Theory & Practice

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks wer...

This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage r...