Author: Pavel B. Brazdil
Publisher: Springer Science & Business Media
ISBN: 9783540566021
Category : Computers
Languages : en
Pages : 492
Get Book Here
Book Description
This volume contains the proceedings of the Eurpoean Conference on Machine Learning (ECML-93), continuing the tradition of the five earlier EWSLs (European Working Sessions on Learning). The aim of these conferences is to provide a platform for presenting the latest results in the area of machine learning. The ECML-93 programme included invited talks, selected papers, and the presentation of ongoing work in poster sessions. The programme was completed by several workshops on specific topics. The volume contains papers related to all these activities. The first chapter of the proceedings contains two invited papers, one by Ross Quinlan and one by Stephen Muggleton on inductive logic programming. The second chapter contains 18 scientific papers accepted for the main sessions of the conference. The third chapter contains 18 shorter position papers. The final chapter includes three overview papers related to the ECML-93 workshops.
Author: Francesco Bergadano
Publisher: Springer Science & Business Media
ISBN: 9783540578680
Category : Computers
Languages : en
Pages : 460
Get Book Here
Book Description
This volume contains the proceedings of the European Conference on Machine Learning 1994, which continues the tradition of earlier meetings and which is a major forum for the presentation of the latest and most significant results in machine learning. Machine learning is one of the most important subfields of artificial intelligence and computer science, as it is concerned with the automation of learning processes. This volume contains two invited papers, 19 regular papers, and 25 short papers carefully reviewed and selected from in total 88 submissions. The papers describe techniques, algorithms, implementations, and experiments in the area of machine learning.
Author:
Publisher:
ISBN:
Category : Induction (Logic)
Languages : en
Pages : 464
Get Book Here
Book Description
Author: Lawrence A. Birnbaum
Publisher: Morgan Kaufmann
ISBN: 1483298620
Category : Computers
Languages : en
Pages : 361
Get Book Here
Book Description
Machine Learning Proceedings 1993
Author: Thomas Lengauer
Publisher: Springer Science & Business Media
ISBN: 9783540572732
Category : Computers
Languages : en
Pages : 434
Get Book Here
Book Description
Symposium on Algorithms (ESA '93), held in Bad Honnef, near Boon, in Germany, September 30 - October 2, 1993. The symposium is intended to launchan annual series of international conferences, held in early fall, covering the field of algorithms. Within the scope of the symposium lies all research on algorithms, theoretical as well as applied, that is carried out in the fields of computer science and discrete applied mathematics. The symposium aims to cater to both of these research communities and to intensify the exchange between them. The volume contains 35 contributed papers selected from 101 proposals submitted in response to the call for papers, as well as three invited lectures: "Evolution of an algorithm" by Michael Paterson, "Complexity of disjoint paths problems in planar graphs" by Alexander Schrijver, and "Sequence comparison and statistical significance in molecular biology" by Michael S. Waterman.
Author: Du Zhang
Publisher: World Scientific
ISBN: 9814481424
Category : Computers
Languages : en
Pages : 367
Get Book Here
Book Description
Machine learning deals with the issue of how to build computer programs that improve their performance at some tasks through experience. Machine learning algorithms have proven to be of great practical value in a variety of application domains. Not surprisingly, the field of software engineering turns out to be a fertile ground where many software development and maintenance tasks could be formulated as learning problems and approached in terms of learning algorithms. This book deals with the subject of machine learning applications in software engineering. It provides an overview of machine learning, summarizes the state-of-the-practice in this niche area, gives a classification of the existing work, and offers some application guidelines. Also included in the book is a collection of previously published papers in this research area.
Author: Petra Perner
Publisher: Springer
ISBN: 3540734996
Category : Computers
Languages : en
Pages : 927
Get Book Here
Book Description
Ever wondered what the state of the art is in machine learning and data mining? Well, now you can find out. This book constitutes the refereed proceedings of the 5th International Conference on Machine Learning and Data Mining in Pattern Recognition, held in Leipzig, Germany, in July 2007. The 66 revised full papers presented together with 1 invited talk were carefully reviewed and selected from more than 250 submissions. The papers are organized in topical sections.
Author: Stefan Wrobel
Publisher: Springer Science & Business Media
ISBN: 1475723172
Category : Computers
Languages : en
Pages : 250
Get Book Here
Book Description
A fundamental assumption of work in artificial intelligence and machine learning is that knowledge is expressed in a computer with the help of knowledge representations. Since the proper choice of such representations is a difficult task that fundamentally affects the capabilities of a system, the problem of automatic representation change is an important topic in current research. Concept Formation and Knowledge Revision focuses on representation change as a concept formation task, regarding concepts as the elementary representational vocabulary from which further statements are constructed. Taking an interdisciplinary approach from psychological foundations to computer implementations, the book draws on existing psychological results about the nature of human concepts and concept formation to determine the scope of concept formation phenomena, and to identify potential components of computational concept formation models. The central idea of this work is that computational concept formation can usefully be understood as a process that is triggered in a demand-driven fashion by the representational needs of the learning system, and identify the knowledge revision activities of a system as a particular context for such a process. The book presents a detailed analysis of the revision problem for first-order clausal theories, and develops a set of postulates that any such operation should satisfy. It shows how a minimum theory revision operator can be realized by using exception sets, and that this operator is indeed maximally general. The book then shows that concept formation can be triggered from within the knowledge revision process whenever the existing representation does not permit the plausible reformulation of an exception set, demonstrating the usefulness of the approach both theoretically and empirically within the learning knowledge acquisition system MOBAL. In using a first-order representation, this book is part of the rapidly developing field of Inductive Logic Programming (ILP). By integrating the computational issues with psychological and fundamental discussions of concept formation phenomena, the book will be of interest to readers both theoretically and psychologically inclined. From the foreword by Katharina Morik: ` The ideal to combine the three sources of artificial intelligence research has almost never been reached. Such a combined and integrated research requires the researcher to master different ways of thinking, different work styles, different sets of literature, and different research procedures. It requires capabilities in software engineering for the application part, in theoretical computer science for the theory part, and in psychology for the cognitive part. The most important capability for artificial intelligence is to keep the integrative view and to create a true original work that goes beyond the collection of pieces from different fields. This book achieves such an integrative view of concept formation and knowledge revision by presenting the way from psychological investigations that indicate that concepts are theories and point at the important role of a demand for learning. to an implemented system which supports users in their tasks when working with a knowledge base and its theoretical foundation. '
Author: Jim Woodcock
Publisher: Springer Science & Business Media
ISBN: 9783540566625
Category : Business & Economics
Languages : en
Pages : 712
Get Book Here
Book Description
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.
Author: Warren A. Hunt
Publisher: Springer Science & Business Media
ISBN: 9783540579601
Category : Computers
Languages : en
Pages : 356
Get Book Here
Book Description
This book, written for a wide readership with some background in the natural sciences, addresses the very old problem of the mind-brain-relationship. The authors, all well-known scientists, approach the subject in different stages. The first part addresses some general principles based on physics, computer science, and theoretical biology. The two following parts deal with the problem at different organizational levels, from the microscopic to the macroscopic. The fourth part addresses the subjective level founded on the findings of psychologists and neurophysiologists.
