Bibliografi : hlm. 247-248
Bibliografi : hlm. 141
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…
This book constitutes the thoroughly refereed, selected papers on Cyber Security and Privacy EU Forum 2013, held in Belgium, in April 2013. The 14 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on cloud computing, security and privacy management, security and privacy technology, security and privacy policy.
This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied. The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detai…
In recent years, searching for source code on the web has become increasingly common among professional software developers and is emerging as an area of academic research. This volume surveys past research and presents the state of the art in the area of "code retrieval on the web." This work is concerned with the algorithms, systems, and tools to allow programmers to search for source code o…
No Inv.: 133778/PSM/Perp/13/1c
Bibliografi : hlm. 224-225