Ditemukan 73 dokumen yang sesuai dengan query
The papers in this volume were presented at the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, held January 7/9, 2007, in New Orleans, Louisiana. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory...
New York: Association for Computing Machinery , 2007
e20451276
eBooks Universitas Indonesia Library
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum...
Berlin: Springer-Verlag, 2012
e20409217
eBooks Universitas Indonesia Library
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
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics,...
Berlin: Springer-Verlag, 2012
e20410304
eBooks Universitas Indonesia Library
Chris Hawblitzel, editor
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in...
Berlin: Springer-Verlag , 2012
e20406355
eBooks Universitas Indonesia Library
Makinson, David, author
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction, but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the...
London: Springer, 2012
e20407539
eBooks Universitas Indonesia Library
Sannella, Donald, author
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal...
Berlin: Springer-Verlag, 2012
e20407790
eBooks Universitas Indonesia Library
Finkel, Alain, editor
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions...
Berlin: [, Springer-Verlag], 2012
e20409295
eBooks Universitas Indonesia Library
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
Massimo Ferri, editor
This book constitutes the proceedings of the 4th International Workshop on Computational Topology in Image Context, CTIC 2012, held in Bertinoro, Italy, in May 2012. The 16 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They focus on the topology and computation in...
Berlin: [Springer-Verlag, ], 2012
e20410301
eBooks Universitas Indonesia Library
