Filter by
Constraint solving and planning with Picat
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling. The book is useful for und…
- Edition
- -
- ISBN/ISSN
- 9783319258836
- Collation
- xi, 148 pages
- Series Title
- -
- Call Number
- 006.3
Unconventional Computation and Natural Computation 14th International Confer…
This book constitutes the refereed proceedings of the 14th International Conference on Unconventional Computation and Natural Computation, UCNC 2015, held in Auckland, New Zealand, in August/September 2015. The 16 revised full papers were carefully reviewed and selected from 38 submissions. The papers cover a wide range of topics including among others molecular (DNA) computing; quantum computi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21819-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Principles of Noology; Toward a Theory and Science of Intelligence
(1). Memberikan wawasan baru dan mendalam tentang sistem cerdas. (2). Berisi materi pelengkap yang mendemonstrasikan contoh dan proses. (3). Menawarkan kesempatan untuk mempelajari teknik dan metodologi. (3). Membawa pemahaman kuantitatif dan resolusi tinggi kepada pembaca tentang proses nologis Terlepas dari kemajuan luar biasa yang dicapai dalam beberapa tahun terakhir dalam ilmu kognitif…
- Edition
- 3
- ISBN/ISSN
- 978-3-319-32113-4
- Collation
- -
- Series Title
- Komputasi Sosio-Afektif
- Call Number
- 006.3 BEN p
Ultra Low Bit-Rate Speech Coding
Ultra Low Bit-Rate Speech Coding" focuses on the specialized topic of speech coding at very low bit-rates of 1 Kbits/sec and less, particularly at the lower ends of this range, down to 100 bps. The authors set forth the fundamental results and trends that form the basis for such ultra low bit-rates to be viable and provide a comprehensive overview of various techniques and systems in literature…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-1341-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Ubiquitous Computing in the Workplace What Ethical Issues? An Interdisciplin…
This book provides an interdisciplinary collection of views on the ethical challenges and opportunities of workplaces in the Internet of things. Current developments within Ubiquitous computing (ubicomp) systems designed for the workplace are introduced and philosophical, organizational and socio-ethical considerations of ubicomp in workplaces are provided. Suggestions regarding the rules that …
- Edition
- -
- ISBN/ISSN
- 978-3-319-13452-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using…
This book constitutes the refereed proceedings of the 9th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2015, held in Puerto Varas, Chile, in December 2015. The 36 full papers presented together with 11 short papers were carefully reviewed and selected from 62 submissions. The papers are grouped in topical sections on adding intelligence for environment adapt…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26401-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Type-2 Fuzzy Graphical Models for Pattern Recognition
This book discusses how to combine type-2 fuzzy sets and graphical models to solve a range of real-world pattern recognition problems such as speech recognition, handwritten Chinese character recognition, topic modeling as well as human action recognition. It covers these recent developments while also providing a comprehensive introduction to the fields of type-2 fuzzy sets and graphical model…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44690-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Turing Machine Universality of the Game of Life
This book presents a proof of universal computation in the Game of Life cellular automaton by using a Turing machine construction. It provides an introduction including background information and an extended review of the literature for Turing Machines, Counter Machines and the relevant patterns in Conway's Game of Life so that the subject matter is accessibly to non specialists. The book co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19842-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Cooperative design, visualization, and engineering
This book constitutes the refereed proceedings of the 12th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2015, held in Mallorca, Spain, in September 2015. The 30 full papers presented together with 4 short papers were carefully reviewed and selected from numerous submissions. There is a group of papers dressing the big data related to the cooperative work.…
- Edition
- -
- ISBN/ISSN
- 9783319241326
- Collation
- xii, 273 pages
- Series Title
- -
- Call Number
- 004.8
Cooperative Robots and Sensor Networks 2015
This book compiles some of the latest research in cooperation between robots and sensor networks. Structured in twelve chapters, this book addresses fundamental, theoretical, implementation and experimentation issues. The chapters are organized into four parts namely multi-robots systems, data fusion and localization, security and dependability, and mobility
- Edition
- -
- ISBN/ISSN
- 9783319182995
- Collation
- vii, 278 pages
- Series Title
- -
- Call Number
- 004.8
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography