Author: Peter R. King
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 320
Book Description
Proceedings of an International Conference on ALGOL 68 Implementation
Author: Peter R. King
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 320
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 320
Book Description
Proceedings International Conference on ALGOL 68
Author: J. C. van Vliet
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 258
Book Description
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 258
Book Description
The Proceedings of the 4th International Conference on the Design and Implementation of Algorithmic Languages, Held at Courant Institute of Mathematical Sciences, New York University, New York City, June 14th-16th, 1976
Author: Robert B. K. Dewar
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 284
Book Description
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 284
Book Description
国立国会図書館所蔵科学技術関係欧文会議錄目錄
Author: 国立国会図書館 (Japan)
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 672
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 672
Book Description
Proceedings
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 266
Book Description
Proceedings of the June 1994 workshop. The 38 papers from 23 countries cover scheduling; synchronization; timing analysis; object-oriented systems; advanced applications; robot programming; and mobile robots. The keynote address is on flexibility versus predictability in real- time systems. Lacks an index. Annotation copyright by Book News, Inc., Portland, OR.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 266
Book Description
Proceedings of the June 1994 workshop. The 38 papers from 23 countries cover scheduling; synchronization; timing analysis; object-oriented systems; advanced applications; robot programming; and mobile robots. The keynote address is on flexibility versus predictability in real- time systems. Lacks an index. Annotation copyright by Book News, Inc., Portland, OR.
Revised Report on the Algorithmic Language Algol 68
Author: A. van Wijngaarden
Publisher: Springer Science & Business Media
ISBN: 3642952798
Category : Mathematics
Languages : en
Pages : 241
Book Description
The report gives a complete defining description of the international algorithmic language Algol 60.
Publisher: Springer Science & Business Media
ISBN: 3642952798
Category : Mathematics
Languages : en
Pages : 241
Book Description
The report gives a complete defining description of the international algorithmic language Algol 60.
Mathematical Centre Tracts
Proceedings of the Fourth International Workshop on MACHINE LEARNING
Author: Pat Langley
Publisher: Morgan Kaufmann
ISBN: 1483282856
Category : Computers
Languages : en
Pages : 410
Book Description
Proceedings of the Fourth International Workshop on Machine Learning provides careful theoretical analyses that make clear contact with traditional problems in machine learning. This book discusses the key role of learning in cognition. Organized into 39 chapters, this book begins with an overview of pattern recognition systems of necessity that incorporate an approximate-matching process to determine the degree of similarity between an unknown input and all stored references. This text then describes the rationale in the Protos system for relegating inductive learning and deductive problem solving to minor roles in support of retaining, indexing and matching exemplars. Other chapters consider the power as well as the appropriateness of exemplar-based representations and their associated acquisition methods. This book discusses as well the extensions to the way a case is classified by a decision tree that address shortcomings. The final chapter deals with the advances in machine learning research. This book is a valuable resource for psychologists, scientists, theorists, and research workers.
Publisher: Morgan Kaufmann
ISBN: 1483282856
Category : Computers
Languages : en
Pages : 410
Book Description
Proceedings of the Fourth International Workshop on Machine Learning provides careful theoretical analyses that make clear contact with traditional problems in machine learning. This book discusses the key role of learning in cognition. Organized into 39 chapters, this book begins with an overview of pattern recognition systems of necessity that incorporate an approximate-matching process to determine the degree of similarity between an unknown input and all stored references. This text then describes the rationale in the Protos system for relegating inductive learning and deductive problem solving to minor roles in support of retaining, indexing and matching exemplars. Other chapters consider the power as well as the appropriateness of exemplar-based representations and their associated acquisition methods. This book discusses as well the extensions to the way a case is classified by a decision tree that address shortcomings. The final chapter deals with the advances in machine learning research. This book is a valuable resource for psychologists, scientists, theorists, and research workers.
Ada: The Design Choice
Author: Angel Alvarez
Publisher: Cambridge University Press
ISBN: 9780521381307
Category : Computers
Languages : en
Pages : 290
Book Description
This book contains the proceedings of the 1989 Ada-Europe conference. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world. The theme of this year's conference is design methods; this is of major importance since both Ada compilers and the applications built with Ada are huge. Papers in this volume, which have all been carefully refereed, study the design methods within Ada, and how they may need to be augmented with additional methods and tools where necessary. They make informed and essential reading for all involved in the use of Ada in industry and research.
Publisher: Cambridge University Press
ISBN: 9780521381307
Category : Computers
Languages : en
Pages : 290
Book Description
This book contains the proceedings of the 1989 Ada-Europe conference. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world. The theme of this year's conference is design methods; this is of major importance since both Ada compilers and the applications built with Ada are huge. Papers in this volume, which have all been carefully refereed, study the design methods within Ada, and how they may need to be augmented with additional methods and tools where necessary. They make informed and essential reading for all involved in the use of Ada in industry and research.
Handbook of Practical Logic and Automated Reasoning
Author: John Harrison
Publisher: Cambridge University Press
ISBN: 0521899575
Category : Computers
Languages : en
Pages : 703
Book Description
A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Publisher: Cambridge University Press
ISBN: 0521899575
Category : Computers
Languages : en
Pages : 703
Book Description
A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.