Ditemukan 7 dokumen yang sesuai dengan query
Juan Manuel Dodero, editor
This book constitutes the refereed proceedings of the 6th Metadata and Semantics Research Conference, MTSR 2012, held in Cádiz, Spain, in November 2012. The 33 revised papers presented were carefully reviewed and selected from 85 submissions. The papers are organized in a general, main track and several others: a track...
Berlin: Springer, 2012
e20406451
eBooks Universitas Indonesia Library
Cremers, Cas, author
The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data....
Berlin: Springer-Verlag, 2012
e20407791
eBooks Universitas Indonesia Library
Dickson Lukose, editor
This book constitutes the refereed proceedings of the Third Knowledge Technology Week, KTW 2011, held in Kajang, Malaysia, in July 2011. The 29 revised full papers presented together with 9 short papers were carefully reviewed and selected from 105 submissions. KTW 2011 consisted of a number of co-located events. This...
Berlin: [Springer-Verlag, ], 2012
e20410024
eBooks Universitas Indonesia Library
Cambria, Erik, author
In this book common sense computing techniques are further developed and applied to bridge the semantic gap between word-level natural language data and the concept-level opinions conveyed by these. In particular, the ensemble application of graph mining and multi-dimensionality reduction techniques is exploited on two common sense knowledge bases to...
Dordrecht: [Springer, ], 2012
e20410716
eBooks Universitas Indonesia Library
This volume contains the lecture notes of the 8th Reasoning Web Summer School 2012, held in Vienna, Austria, in September 2012, in the form of worked out tutorial papers on the various topics that have been covered in that school. The 2012 summer school program had been put together under...
Berlin: Springer-Verlag, 2012
e20410004
eBooks Universitas Indonesia Library
Roberto De Virgilio, editor
In this book, present an extensive overview of the work done in Semantic Search and other related areas. They explore different technologies and solutions in depth, making their collection a valuable and stimulating reading for both academic and industrial researchers.
The book is divided into three parts. The first introduces the...
Berlin: Springer-Verlag, 2012
e20408106
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the workshops held at the 11th International Conference on Web Engineering, ICWE 2011, in Paphos, Cyprus, in June 2011. The 42 revised full papers presented were carefully reviewed and selected from numerous submissions . The papers are organized in sections on...
Berlin: Springer-Verlag, 2012
e20409099
eBooks Universitas Indonesia Library
