"This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computing, ICIC 2013, held in Nanning, China, in July 2013. The 192 revised full papers presented in the three volumes LNCS 7995, LNAI 7996, and CCIS 375 were carefully reviewed and selected from 561 submissions. The papers in this volume (CCIS 375) are organized in topical sections on Neural Netw…
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 …
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…
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…
Bibliografi : hlm. 181-184
This book presents the new development of computation intelligence for traffic, transportation and mobility, the main contents include traffic safety, mobility analysis, intelligent transportation system, smart vehicle, transportation behavior, driver modeling and assistance, transportation risk analysis and reliability system analysis, vehicle operation and active safety, urban traffic managem…
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…
This book presents recent developments is the field of human aspects in Ambient Intelligence. This field, and the associated workshop series, addresses multidisciplinary aspects of AmI with human-directed disciplines such as psychology, social science, neuroscience and biomedical sciences. The aim of the workshop series is to get researchers together from these human-directed disciplines or wor…
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…
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 …