Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the Third International Workshop on Controlled Natural Language, CNL 2012, held in Zurich, Switzerland, in August 2012. The 12 revised papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on CNL for knowledge representation, CNL for interactive systems, CNL applications, CNL grammars and lexica, CNL in the context of the Semantic Web and Linked Open Data and CNL use cases."

"This book constitutes the refereed proceedings of the 18th EUNICE 2012 conference on information and communication technologies, held in Budapest, in August 2012. The 23 oral papers demostrated together with 15 poster presentations were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on radio communications, security, management, protocols and performance, algorithms, models, and simulations."

"This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010. The 9 revised papers presented in this volume, together with 1 tutorial, were carefully reviewed and selected from 17 initial submissions. They broadly cover the field of controlled natural language, stressing theoretical and practical aspects of CNLs, relations to other knowledge representation languages, tool support, and applications."

"The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications."

"This book constitutes the refereed proceedings of the International Workshop on Internet of Things, IOT 2012, held in Changsha, China, during August 17-19. The 95 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on wireless sensor networks; RFID; sensors and equipments; data processing; security; applications and others."

"This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2012, and the 16th International Workshop on Randomization and Computation, RANDOM 2012, held in Cambridge, Massachusetts, USA, in August 2011. The volume contains 28 contributed papers, selected by the APPROX Program Committee out of 70 submissions, and 28 contributed papers, selected by the RANDOM Program Committee out of 67 submissions. APPROX focuses on algorithmic and complexity issues surrounding the development of efficient approximate solutions to computationally difficult problems. RANDOM is concerned with applications of randomness to computational and combinatorial problems."

"This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way."

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