Filter by
The art of the metaobject protocol
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, intr…
- Edition
- -
- ISBN/ISSN
- 0585358125
- Collation
- 1 online resource (viii, 335 pages)
- Series Title
- -
- Call Number
- -
Knowledge in action :logical foundations for specifying and implementing dyna…
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment …
- Edition
- -
- ISBN/ISSN
- 9780262282314
- Collation
- 1 online resource (xvi, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Knowledge engineering and management :the CommonKADS methodology
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262283236
- Collation
- 1 online resource (xiv, 455 pages) :illustrations
- Series Title
- -
- Call Number
- -
Knowledge-based neurocomputing
Looking at ways to encode prior knowledge and to extract, refine, and revise knowledge within a neurocomputing system.Neurocomputing methods are loosely based on a model of the brain as a network of simple interconnected processing elements corresponding to neurons. These methods derive their power from the collective processing of artificial neurons, the chief advantage being that such systems…
- Edition
- -
- ISBN/ISSN
- 9780262270496
- Collation
- 1 online resource (xiv, 486 pages) :illustrations
- Series Title
- -
- Call Number
- -
Mechanisms of implicit learning :connectionist models of sequence processing
"Axel Cleeremans is a Senior Research Assistant at the National Fund for Scientific Research, Belgium.""A Bradford book.""What do people learn when they do not know that they are learning? Until recently all of the work in the area of implicit learning focused on empirical questions and methods. In this book, Axel Cleeremans explores unintentional learning from an information-processing perspec…
- Edition
- -
- ISBN/ISSN
- 0585020388
- Collation
- 1 online resource (xii, 227 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Materialized views :techniques, implementations, and applications
"When an application is built, an underlying data model is chosen to make that application effective. Frequently, other applications need the same data, only modeled differently. The solution of copying the underlying data and modeling is costly in terms of storage and makes data maintenance and evolution impossible. View mechanisms are a technique to model data differently for various applicat…
- Edition
- -
- ISBN/ISSN
- 9780262287500
- Collation
- 1 online resource (xix, 589 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic and information flow
"The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system. The logic of information flow has applications in both computer science and natural language processi…
- Edition
- -
- ISBN/ISSN
- 0585358451
- Collation
- 1 online resource (233 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Pulsed neural networks
"A Bradford book."Presents a spectrum of current research in pulsed neural networks and includes work from some of the key scientists in the field.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262278768
- Collation
- 1 online resource (xxix, 377 pages) :illustrations
- Series Title
- -
- Call Number
- -
Proof, language, and interaction :essays in honour of Robin Milner
This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.…
- Edition
- -
- ISBN/ISSN
- 0585388903
- Collation
- 1 online resource (xiv, 722 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Programming with constraints :an introduction
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programmin…
- Edition
- -
- ISBN/ISSN
- 0262279169
- Collation
- 1 online resource (488 pages).
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography