The annual Neural Information Processing Systems (NIPS) conference is the flagship meeting on neural computation and machine learning. This volume contains the papers presented at the December 2006 meeting, held in Vancouver.OCLC-licensed vendor bibliographic record.
New technology has brought with it new tools for learning, and research has shown that the educational potential of video games resonates with teachers and pupils alike. Klopfer here describes the largely untapped potential of mobile learning games to make a substantial impact on education.OCLC-licensed vendor bibliographic record.
Much of the difficulty in creating information technology systems that truly meet people's needs lies in the problem of pinning down system requirements. This book offers a new approach to the requirements challenge, based on modeling and analyzing the relationships among stakeholders. Although the importance of the system-environment relationship has long been recognized in the requirements en…
In this book, Josh Lerner and Mark Schankerman, drawing on a new, large-scale database, show that open source and proprietary software interact in sometimes unexpected ways, and discuss the policy implications of these findings.OCLC-licensed vendor bibliographic record.
Wendy Hui Kyong Chun argues that cycles of obsolescence & renewal result in part from the ways in which new media encapsulates a logic of programmability. In seeking to embody a future based on past data, new media becomes a metaphor for metaphor itself.OCLC-licensed vendor bibliographic record.
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.OCLC-licensed vendor bibliographic record.
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
"A Bradford book.""This book explores a central issue in artificial intelligence, cognitive science, and artificial life: how to design information structures and processes that create and adapt intelligent agents through evolution and learning." "The book is organized around four topics: the power of evolution to determine effective solutions to complex tasks, mechanisms to make evolutionary d…
A Small Matter of Programming asks why it has been so difficult for end users to command programming power and explores the problems of end user-driven application development that must be solved to afford end users greater computational power.Drawing on empirical research on existing end user systems, A Small Matter of Programming analyzes cognitive, social, and technical issues of end user pr…
A comprehensive account of the decades-long, multiple antitrust actions against Microsoft and an assessment of the effectiveness of antitrust law in the digital age.OCLC-licensed vendor bibliographic record.