Ditapis dengan
Intelligent multimedia surveillance
Intelligent multimedia surveillance concerns the analysis of multiple sensing inputs including video and audio streams, radio-frequency identification (RFID), and depth data. These data are processed for the automated detection and tracking of people, vehicles, and other objects. The goal is to locate moving targets, to understand their behavior, and to detect suspicious or abnormal activities …
- Edisi
- -
- ISBN/ISSN
- 9783642415128
- Deskripsi Fisik
- ix, 192 hlm. ; il. warna
- Judul Seri
- -
- No. Panggil
- E1324
Product lifecycle management for society
This book constitutes the refereed proceedings of the 10th IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2013, held in Nantes, France, in July 2013. The 63 full papers presented together with 2 keynote talks were carefully reviewed and selected from 91 submissions. They are organized in the following topical sections: PLM for sustainability, traceability and performa…
- Edisi
- -
- ISBN/ISSN
- 9783642415012
- Deskripsi Fisik
- xx, 725 hlm. ; il. warna
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1323
Combinatorial search: From algorithms to systems
Although they are believed to be unsolvable in general, tractability results suggest that some practical NP-hard problems can be efficiently solved. Combinatorial search algorithms are designed to efficiently explore the usually large solution space of these instances by reducing the search space to feasible regions and using heuristics to efficiently explore these regions. Various mathematical…
- Edisi
- -
- ISBN/ISSN
- 9783642414824
- Deskripsi Fisik
- xiii, 139 hlm. ; il. warna
- Judul Seri
- -
- No. Panggil
- E1322
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
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah