Filter by
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
- -
Mechanizing proof :computing, risk, and trust
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over…
- Edition
- -
- ISBN/ISSN
- 9780262278829
- Collation
- 1 online resource (xi, 427 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
- -
Me++ :the cyborg self and the networked city
"With Me++ the author of City of Bits and e-topia completes an informal trilogy examining the ramifications of information technology in everyday life. William Mitchell describes the transformation of wireless technology in the hundred years since Marconi: the scaling up of networks and the scaling down of the apparatus for transmission and reception. He examines the effects of wireless linkage…
- Edition
- -
- ISBN/ISSN
- 9780262280020
- Collation
- 1 online resource (259 pages)
- 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
- -
The Massively parallel processor
The development of parallel processing, with the attendant technology of advanced software engineering, VLSI circuits, and artificial intelligence, now allows high-performance computer systems to reach the speeds necessary to meet the challenge of future complex scientific and commercial applications. This collection of articles documents the design of one such computer, a single instruction mu…
- Edition
- -
- ISBN/ISSN
- 0262256827
- Collation
- 1 online resource (vii, 304 pages, 1 unnumbered leaf of plates) :illustrations.
- Series Title
- -
- Call Number
- -
Making use :scenario-based design of human-computer interactions
"Difficult to learn and awkward to use, today's information systems often change our activities in ways that we do not need or want. The problem lies in the software development process. In this book John Carroll shows how a pervasive but underused element of design practice, the scenario, can transform information systems design.Traditional textbook approaches manage the complexity of the desi…
- Edition
- -
- ISBN/ISSN
- 9780262269926
- Collation
- 1 online resource (xiv, 368 pages) :illustrations
- Series Title
- -
- Call Number
- -
Making microchips :policy, globalization, and economic restructuring in the s…
In Making Microchips, Jan Mazurek examines the environmental and economic implications of the computer microchip industry's exodus from California's Silicon Valley to New Mexico, Virginia, Ireland, and Taiwan. Globalization, economic restructuring, and changing manufacturing processes in this rapidly growing industry present difficult new questions for environmental policy. Mazurek challenges t…
- Edition
- -
- ISBN/ISSN
- 0585002797
- Collation
- 1 online resource (xiv, 245 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography