Ditemukan 462 dokumen yang sesuai dengan query
Javier Lopez, editor
The present volume aims to provide an overview of the current understanding of the so-called Critical Infrastructure (CI), and particularly the Critical Information Infrastructure (CII), which not only forms one of the constituent sectors of the overall CI, but also is unique in providing an element of interconnection between sectors...
Berlin: [, Springer-Verlag], 2012
e20410495
eBooks Universitas Indonesia Library
Goodloe, Alwyn E., editor
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are...
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks Universitas Indonesia Library
Yun Q. Shi, editor
Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication. Data hiding and cryptographic techniques are often combined to complement each other, thus...
Berlin: [Springer-Verlag, ], 2012
e20410498
eBooks Universitas Indonesia Library
Pang-Ning Tan, editor
The two-volume set LNAI 7301 and 7302 constitutes the refereed proceedings of the 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2012, held in Kuala Lumpur, Malaysia, in May 2012. The total of 20 revised full papers and 66 revised short papers were carefully reviewed and selected from...
Berlin: [Springer-Verlag, ], 2012
e20410526
eBooks Universitas Indonesia Library
Tiziana Margaria, editor
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : [, Springer-Verlag], 2012
e20410565
eBooks Universitas Indonesia Library
Nicholas Ayache, editor
The three-volume set LNCS 7510, 7511, and 7512 constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Based on rigorous peer reviews, the program committee carefully selected 252 revised papers from 781 submissions for...
Berlin : [, Springer-Verlag], 2012
e20410586
eBooks Universitas Indonesia Library
John Judge, author
This white paper presents the state of language technology support for the Irish language. It is part of a series that analyses the available language resources and technologies for 30 European languages. The analysis was carried out by MEDTA-NET, a Network of Excellence funded by the European Commission. META-NET consists...
Berlin : [, Springer], 2012
e20410633
eBooks Universitas Indonesia Library
Kimmo Koskenniemi, editor
This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development...
Berlin : [, Springer], 2012
e20410620
eBooks Universitas Indonesia Library
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
Raymond Chiong, editor
This book “Variants of Evolutionary Algorithms for Real-World Applications” aims to promote the practitioner’s view on EAs by providing a comprehensive discussion of how EAs can be adapted to the requirements of various applications in the real-world domains. It comprises 14 chapters, including an introductory chapter re-visiting the fundamental question...
Berlin: [, Springer], 2012
e20418128
eBooks Universitas Indonesia Library
