Sökt på: Sökresultat
totalt 47 träffar
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new …
Emergent Computing Methods in Engineering Design
This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods in Engineering Design, held in Nafplio, Greece, August 25-27, …
Deductive Program Design
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical …
Intelligent Systems: Safety, Reliability and Maintainability Issues
This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "Intelligent Systems: Safety, Reliability and Maintainability …
Mathematical Problem Solving and New Information Technologies
A strong and fluent competency in mathematics is a necessary condition for scientific, technological and economic progress. However, it is widely recognized that problem solving, …
Speechreading by Humans and Machines
This book is one outcome of the NATO Advanced Studies Institute (ASI) Workshop, "Speechreading by Man and Machine," held at the Chateau de Bonas, Castera-Verduzan (near Auch, …
Computational Logic
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in …
Computer Integrated Production Systems and Organizations
The Background to the Institute The NATO Advanced Study Institute (ASI) 'People and Computers - Applying an Anthropocentric Approach to Integrated Production Systems and …
Collaborative Dialogue Technologies in Distance Learning
In April 1993, an interdisciplinary NATO Advanced Research Workshop on "Collaborative dialogue technologies in distance learning" was held in Segovia, Spain. The workshop brought …
Computational and Conversational Discourse
People engage in discourse every day - from writing letters and presenting papers to simple discussions. Yet discourse is a complex and fascinating phenomenon that is not well …
Verification and Validation of Complex Systems: Human Factors Issues
Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Although much …
Knowledge Acquisition, Organization, and Use in Biology
Biology education, like science education in general, is in the midst of a revolution that is worldwide in scope. The changes in the ways science education researchers think about …