Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems : hardware/software co-design and verification, emerging technology, nanoscale computing and nanotechnology."

"This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks, self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems."

"This book constitutes the refereed proceedings of the 5th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Ifrane, Morocco, in July 2012. The 24 papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 56 submissions. They are organized in topical sections on signature schemes, stream ciphers, applications of information theory, block ciphers, network security protocols, public-key cryptography, cryptanalysis of hash functions, hash functions: design and implementation, algorithms for public-key cryptography, and cryptographic protocols."

"This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems."

"This book constitutes the refereed proceedings of the 12 th International Symposium on Privacy Enhancing Technologies, PET 2012, held in Vigo, Spain, in July 2012. The 16 full papers presented were carefully selected from 72 submissions. Topics addressed include anonymization of statistics, content, and traffic, network traffic analysis, censorship-resistant systems, user profiling, training users in privacy risk management, and privacy of internet and cloud-bases services. A further highlight is the HotPETS session, designed as a venue to present existing but still preliminary and evolving ideas."

"This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its applications."

"The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. The 147 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions are structured in topical sections on mathematical modeling, neurodynamics, cognitive neuroscience, learning algorithms, optimization, pattern recognition, vision, image processing, information processing, neurocontrol, and novel applications."

"The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. The 147 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions are structured in topical sections on mathematical modeling, neurodynamics, cognitive neuroscience, learning algorithms, optimization, pattern recognition, vision, image processing, information processing, neurocontrol, and novel applications."

"The two volume set LNCS 7431 and 7432 constitutes the refereed proceedings of the 8th International Symposium on Visual Computing, ISVC 2012, held in Rethymnon, Crete, Greece, in July 2012. The 68 revised full papers and 35 poster papers presented together with 45 special track papers were carefully reviewed and selected from more than 200 submissions. The papers are organized in topical sections, Part I (LNCS 7431) comprises computational bioimaging, computer graphics, calibration and 3D vision, object recognition, illumination, modeling, and segmentation, visualization, 3D mapping, modeling and surface reconstruction, motion and tracking, optimization for vision, graphics, and medical imaging, HCI and recognition. Part II (LNCS 7432) comprises topics such as unconstrained biometrics, advances and trends, intelligent environments, algorithms and applications; applications, virtual reality, face processing and recognition."

"The two volume set LNCS 7431 and 7432 constitutes the refereed proceedings of the 8th International Symposium on Visual Computing, ISVC 2012, held in Rethymnon, Crete, Greece, in July 2012. The 68 revised full papers and 35 poster papers presented together with 45 special track papers were carefully reviewed and selected from more than 200 submissions. The papers are organized in topical sections, Part I (LNCS 7431) comprises computational bioimaging, computer graphics, calibration and 3D vision, object recognition, illumination, modeling, and segmentation, visualization, 3D mapping, modeling and surface reconstruction, motion and tracking, optimization for vision, graphics, and medical imaging, HCI and recognition. Part II (LNCS 7432) comprises topics such as unconstrained biometrics, advances and trends, intelligent environments, algorithms and applications; applications, virtual reality, face processing and recognition."