Hasil Pencarian  ::  Simpan CSV :: Kembali

"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."

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 94 regular and 30 short submissions. They present original research on all aspects of combinatorial optimization, ranging from mathematical foundations and theory of algorithms to computational studies and practical applications"

"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 eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW systems. "

"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, CCIS 288 and 289, constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Communications and Information Processing, ICCIP 2012, held in Aveiro, Portugal, in March 2012. The 168 revised full papers of both volumes were carefully reviewed and selected from numerous submissions. The papers present the state-of-the-art in communications and information processing and feature current research on the theory, analysis, design, test and deployment related to communications and information processing systems."

"This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Information Security Applications, WISA 2012, held in Jeju Island, Korea, in August 2012. The 26 revised full papers presented together with 8 short papers were carefully reviewed and selected from 100 submissions. The papers are focusing on all technical and practical aspects of symmetric cipher, secure hardware/public key crypto application, cryptographic protocols/digital forensics, network security, and trust management/database security."

"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 eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW systems. "

"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."

"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 view of current and future trends in this area. The topical sections the papers are organized in are named as follows, types, compiling, paralelelism and distribution, data structures, and miscellaneous."