Ditemukan 462 dokumen yang sesuai dengan query
This timely text/reference presents a broad overview of advanced deep learning architectures for learning effective feature representation for perceptual and biometrics-related tasks. The text offers a showcase of cutting-edge research on the use of convolutional neural networks (CNN) in face, iris, fingerprint, and vascular biometric systems, in addition to surveillance...
Cham, Switzerland: Springer, 2017
006.4 DEE
Buku Teks Universitas Indonesia Library
Faul, A.C., author
The emphasis of the book is on the question of Why – only if why an algorithm is successful is understood, can it be properly applied, and the results trusted. Algorithms are often taught side by side without showing the similarities and differences between them. This book addresses the commonalities,...
London: CRC press, 2020
e20528988
eBooks Universitas Indonesia Library
Cory Ng, author
Artificial Intelligence in Accounting: Practical Applications was written with a simple goal: to provide accountants with a foundational understanding of AI and its many business and accounting applications. It is meant to serve as a guide for identifying opportunities to implement AI initiatives to increase productivity and profitability.
This book will help you answer questions about what AI...
New York: Routledge, 2021
e20529003
eBooks Universitas Indonesia Library
Angelos D. Keromytis, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Financial Cryptography and Data Security (FC 2012), held in Kralendijk, Bonaire, February 27–March 1, 2012. The 29 revised full papers presented were carefully selected and reviewed from 88 submissions. The papers cover all aspects of securing...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410043
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial...
Berlin: Springer-Verlag, 2012
e20409188
eBooks Universitas Indonesia Library
This 2-Volume-Set, CCIS 0269-CCIS 0270, constitutes the refereed proceedings of the International Conference on Global Trends in Computing and Communication (CCIS 0269) and the International Conference on Global Trends in Information Systems and Software Applications (CCIS 0270), ObCom 2011, held in Vellore, India, in December 2011. The 173 full papers...
Berlin: Springer-Verlag, 2012
e20409029
eBooks Universitas Indonesia Library
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand...
Berlin: Springer-Verlag, 2012
e20410258
eBooks Universitas Indonesia Library
Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that...
Berlin: Springer-Verlag, 2012
e20409956
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal...
Berlin: Springer-Verlag, 2012
e20409160
eBooks Universitas Indonesia Library
This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and theoretical computer science, software and service engineering, cloud computing, and e-learning, the articles presented span the range of the scientific work...
Berlin: Springer-Verlag, 2012
e20409229
eBooks Universitas Indonesia Library
