Filter by
Machine models of music
"Machine Models of Music brings together representative models ranging from Mozart's "Musical Dice Game" to a classic article by Marvin Minsky and current research to illustrate the rich impact that artificial intelligence has had on the understanding and composition of traditional music and to demonstrate the ways in which music can push the boundaries of traditional Al research. Major section…
- Edition
- -
- ISBN/ISSN
- 9780262290982
- Collation
- 1 online resource (ix, 544 pages) :illustrations
- Series Title
- -
- Call Number
- -
Low-density parity-check codes
"MIT Press.""This is a complete presentation of all important theoretical and experimental work done on low-density codes. Low-density coding is one of the three techniques thus far developed for efficient communication over noisy channels with an arbitrarily low probability of error. A principal result of information theory is that if properly coded information is transmitted over a noisy chan…
- Edition
- -
- ISBN/ISSN
- 9780262256216
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
A logical journey :from G?odel to philosophy
Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Kurt Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the na…
- Edition
- -
- ISBN/ISSN
- 058502054X
- Collation
- 1 online resource (xiv, 391 pages).
- Series Title
- -
- Call Number
- -
Logic testing and design for testability
"Today's computers must perform with increasing reliability, which in turn depends on the problem of determining whether a circuit has been manufactured properly or behaves correctly. However, the greater circuit density of VLSI circuits and systems has made testing more difficult and costly. This book notes that one solution is to develop faster and more efficient algorithms to generate test p…
- Edition
- -
- ISBN/ISSN
- 0262256185
- Collation
- 1 online resource (x, 284 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming languages :constraints, functions, and objects
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…
- Edition
- -
- ISBN/ISSN
- 9780262255646
- Collation
- 1 online resource (xiv, 204 pages).
- Series Title
- -
- Call Number
- -
Logic programming and non-monotonic reasoning :proceedings of the second inte…
Papers presented during the workshop held in Lisbon in June 1993."This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is…
- Edition
- -
- ISBN/ISSN
- 9780262291378
- Collation
- 1 online resource (vii, 494 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the Tenth International Conference on Logic…
"Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface."The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of t…
- Edition
- -
- ISBN/ISSN
- 9780262291460
- Collation
- 1 online resource (xx, 854 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1999 International Conference on Logic …
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes t…
- Edition
- -
- ISBN/ISSN
- 9780262291118
- Collation
- 1 online resource (xx, 450 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the Fourteenth International Conference on …
"July 8-12, 1997, Leuven, Belgium"--Page 4 of cover."The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programm…
- Edition
- -
- ISBN/ISSN
- 0262291355
- Collation
- 1 online resource (xvii, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1996 Joint International Conference and…
Includes index.September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Con…
- Edition
- -
- ISBN/ISSN
- 9780262291309
- Collation
- 1 online resource (xix, 554 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