Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 4th International Conference on Human-Centered Software Engineering, HCSE 2012, held in Toulouse, France, in October 2012.The twelve full papers and fourteen short papers presented were carefully reviewed and selected from various submissions. The papers cover the following topics: user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen user-centered design as an essential part of software engineering process."

"This book constitutes the refereed proceedings of the 15th International Conference on Discovery Science, DS 2012, held in Lyon, France, in October 2012. The 22 papers presented in this volume were carefully reviewed and selected from 46 submissions. The field of discovery science aims at inducing and validating new scientific hypotheses from data. The scope of this conference includes the development and analysis of methods for automatic scientific knowledge discovery, machine learning, intelligent data analysis, theory of learning, tools for supporting the human process of discovery in science, as well as their application to knowledge discovery."

"This book constitutes the refereed proceedings of the 7th International Workshop on Security, IWSEC 2012, held in Fukuoka, Japan, in November 2012. The 16 revised selected papers presented in this volume were carefully reviewed and selected from 53 submissions. They are organized in topical sections named: implementation; encryption and key exchange; cryptanalysis; and secure protocols."

"This book constitutes the refereed proceedings of the 4th International Conference on Social Robotics, ICSR 2012, held in Chengdu, China, in October 2012. The 66 revised full papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on affective and cognitive sciences for socially interactive robots, situated interaction and embodiment, robots to assist the elderly and persons with disabilities, social acceptance of robots and their impact to the society, artificial empathy, HRI through non-verbal communication and control, social telepresence robots, embodiments and networks, interaction and collaboration among robots, humans and environment, human augmentation, rehabilitation, and medical robots I and II."

"This book constitutes the refereed proceedings of the 14th International Conference on Information and Communications Security, ICICS 2012, held in Hong Kong, China, in October 2012. The 23 regular papers and 26 short papers were carefully reviewed and selected from 101 submissions. The papers cover many important areas in information security such as privacy, security in mobile systems, software and network security, cryptanalysis, applied cryptography as well as GPU-enabled computation."

"This book constitutes the refereed proceedings of the 12th International Conference on Software Process Improvement and Capability Determination, SPICE 2012, held in Palma de Mallorca, Spain, in May 2012. The 21 revised full papers presented and 14 short papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on organizational process improvement, SPI in small and very small enterprises, process models; SPI in automotive software and security, SPI in medical and safety critical systems, and short papers."

"This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012. The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining."

"This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence."

"This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods."

"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 presentation in three volumes. The first volume includes 91 papers organized in topical sections on abdominal imaging, computer-assisted interventions and robotics, computer-aided diagnosis and planning, image reconstruction and enhancement, analysis of microscopic and optical images, computer-assisted interventions and robotics, image segmentation, cardiovascular imaging, and brain imaging, structure, function and disease evolution."