Strona główna: Kategoria: > książki: Teoria informatyki > Teoria maszyn

A comprehensive review of an area of machine learning that deals with the use of unlabeled data in classification problems: state-of-the-art algorithms, a taxonomy of the field, applications, benchmark experiments, and directions for future research.

A new edition of an introductory text in machine learning that gives a unified treatment of machine learning problems and solutions.

Clustering Stability: An Overview provides a high-level overview about the existing literature on clustering stability. It reviews different protocols for how clustering stability is computed and used for model selection. The main body of the text goes on to examine theoretical results for the K-means algorithm and discuss their various relations. Finally, it looks at results for more general clus...

Suitable for those who need tips on creating that eye-catching resume, or for anyone who simply needs a format to follow, this collection of resumes covers a range of formats, personal situations, and careers.

An overview of recent efforts in the machine learning community to deal with dataset and covariate shift, which occurs when test and training inputs and outputs have different distributions.

Thoroughly updated, the new Third Edition of Discrete Structures, Logic, and Computability introduces beginning computer science and computer engineering students to the fundamental techniques and ideas used by computer scientists today, focusing on topics from the fields of mathematics, logic, and computer science itself. Dr. Hein provides elementary introductions to those ideas and techniques th...

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2009, held in Kuopio, Finland, in April 2009. The 63 revised full papers presented were carefully reviewed and selected from a total of 112 submissions. The papers are organized in topical sections on neutral networks, evolutionary computation, le...

This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems.

Compiled from the proceedings of the Third International Conference on Integrated Formal Methods in May 2002, this volume contains 21 papers. They are organized in topicalsections on integration, simulation, and animation from specification to verification statcharts.