Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 8 dokumen yang sesuai dengan query
cover
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented...
Berlin: Springer-Verlag, 2012
e20409701
eBooks  Universitas Indonesia Library
cover
Md. Saidur Rahman, editor
This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms and Computation, WALCOM 2012, held in Dhaka, Bangladesh, in February 2012. The 20 full papers presented together with 3 invited papers were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on...
Berlin: [, Springer-Verlag], 2012
e20409082
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the 20th Annual European Symposium on Algorithms, ESA 2012, held in Ljubljana, Slovenia, in September 2012 in the context of the combined conference ALGO 2012. The 69 revised full papers presented were carefully reviewed and selected from 285 initial submissions: 56 out of...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410014
eBooks  Universitas Indonesia Library
cover
Ricardo Pena, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad...
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks  Universitas Indonesia Library
cover
Christian Chiarcos, editor
The contributions assembled in this volume illustrate the band-width of applications of the Linked Data paradigm for representative types of language resources. They cover lexical-semantic resources, annotated corpora, typological databases as well as terminology and metadata repositories. The book includes representative applications from diverse fields, ranging from academic linguistics (e.g.,...
Berlin : [, Springer-Verlag], 2012
e20410615
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the 19th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2012, held in Reykjavik, Iceland for 3 days starting June 30, 2012. The 28 revised full papers presented were carefully reviewed and selected from 54 submissions. SIROCCO is devoted to the study...
Berlin: Springer-Verlag, 2012
e20410453
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR 2012, held in Vienna, Austria, in September 2012. The 27 revised research papers, presented together with 2 invited talks and 5 research summaries were carefully reviewed and selected from 42 submissions. The...
Berlin: Springer-Verlag, 2012
e20409990
eBooks  Universitas Indonesia Library
cover
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Broadband Communications, Networks and Systems (BROADNETS 2010) held in October 2010 in Athens, Greece. The 39 revised full papers were carefully selected from numerous submissions. The conference was divided in 3 tracks: Optical, Wireless and...
Heidelberg: Springer-Verlag, 2012
e20409240
eBooks  Universitas Indonesia Library