Ditapis dengan
Machine learning dan reasoning Fuzzy Logic : algoritma, manual, Matlab, dan R…
Bibliografi : hlm. 181-184
- Edisi
- Cet. 1
- ISBN/ISSN
- 9786230206313
- Deskripsi Fisik
- xxii, 216 hlm. : il. ; 25 cm.
- Judul Seri
- -
- No. Panggil
- 006.31 SAN m
Reactive kripke semantics
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the propert…
- Edisi
- -
- ISBN/ISSN
- 9783642413896
- Deskripsi Fisik
- xii, 442 hlm. ; il. warna
- Judul Seri
- Cognitive Technologies
- No. Panggil
- E1319
Knowledge engineering and the semantic web
This book constitutes the refereed proceedings of the 4th Conference on Knowledge Engineering and the Semantic Web, KESW 2013, held in St. Petersburg, Russia, in October 2013. The 18 revised full papers presented together with 7 short system descriptions were carefully reviewed and selected from 52 submissions. The papers address research issues related to knowledge representation, semantic web…
- Edisi
- -
- ISBN/ISSN
- 9783642413605
- Deskripsi Fisik
- xiv, 299 hlm. ; il. warna
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1317
Massively parallel evolutionary computation on GPGPUs
Evolutionary algorithms (EAs) are metaheuristics that learn from natural collective behavior and are applied to solve optimization problems in domains such as scheduling, engineering, bioinformatics, and finance. Such applications demand acceptable solutions with high-speed execution using finite computational resources. Therefore, there have been many attempts to develop platforms for running …
- Edisi
- -
- ISBN/ISSN
- 9783642379598
- Deskripsi Fisik
- xii, 453 hlm. ; il. warna
- Judul Seri
- Natural Computing Series
- No. Panggil
- E1227
Advances in heuristic signal processing and applications
There have been significant developments in the design and application of algorithms for both one-dimensional signal processing and multidimensional signal processing, namely image and video processing, with the recent focus changing from a step-by-step procedure of designing the algorithm first and following up with in-depth analysis and performance improvement to instead applying heuristic-ba…
- Edisi
- -
- ISBN/ISSN
- 9783642378805
- Deskripsi Fisik
- xv, 387 hlm. ; il. warna.
- Judul Seri
- -
- No. Panggil
- E1223
The Deductive Spreadsheet
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they curre…
- Edisi
- -
- ISBN/ISSN
- 9783642377471
- Deskripsi Fisik
- xxi, 406 hlm. ; il.
- Judul Seri
- -
- No. Panggil
- E1221
Intelligent interactive technologies and multimedia : Second International Co…
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Interactive Technologies and Multimedia, IITM 2013, held in Allahabad, India, in March 2013. The 15 revised full papers and the 12 revised short papers were carefully reviewed and selected from more than 90 submissions. The papers present the latest research and development in the areas of intel…
- Edisi
- -
- ISBN/ISSN
- 9783642374630
- Deskripsi Fisik
- xvi, 349 hlm. ; il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1216
SemProM : foundations of semantic product memories for the internet of things
The development of low-cost, compact digital storage, sensors and radio modules allows us to embed digital memories into products to record key events. Such computationally enhanced products can perceive and control their environment, analyze their observations, and communicate with other smart objects and human users. Digital product memories (DPMs) will play a key role in the upcoming fourth …
- Edisi
- -
- ISBN/ISSN
- 9783642373770
- Deskripsi Fisik
- xv, 400 hlm. : il warna.
- Judul Seri
- Cognitive Technologies
- No. Panggil
- E1212
Technological innovation for the internet of things : 4th IFIP WG 5.5/SOCOLNE…
This book constitutes the refereed proceedings of the 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, held in Costa de Caparica, Portugal, in April 2013. The 69 revised full papers were carefully reviewed and selected from numerous submissions. They cover a wide spectrum of topics ranging from collaborative enterprise networks to microe…
- Edisi
- -
- ISBN/ISSN
- 9783642372919
- Deskripsi Fisik
- xviii, 657 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1210
Knowledge discovery, knowledge engineering and knowledge management : Third I…
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2011, held in Paris, France, in October 2011. This book includes revised and extended versions of a strict selection of the best papers presented at the conference; 39 revised full papers together with…
- Edisi
- -
- ISBN/ISSN
- 9783642371868
- Deskripsi Fisik
- xviii, 472 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1207
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah