Hasil Pencarian  ::  Simpan CSV :: Kembali

"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 volume constitutes the refereed proceedings of the 15th International Workshop on Combinatorial Image Analysis, IWCIA 2012, held in Austin, TX, USA in November 2012. The 23 revised full papers presented were carefully reviewed and selected from numerous submissions. The topics covered include digital geometry, combinatorics in digital spaces, digital curves and surfaces; digital topologyl grammars, transformation, applications; grammars and models in image analysis; picture transformations, morphologic operations, image segmentation; and discrete tomography, applications"

"This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms and Computation, WALCOM 2012, held in Dhaka, Bangladesh, in February 2012. The 20 full papers presented together with 3 invited papers were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on graph algorithms, computational geometry, approximation algorithms, graph drawing; string and data structures, and games and cryptography."

"This book contains the refereed proceedings of the Third International Conference on Software Business (ICSOB) held in Cambridge, MA, USA, in June 2012. The software business refers to commercial activities in the software industry, aimed at generating revenues from the design, delivery, and maintenance of software products and IT services to enterprises and individual customers, as well as from digital content. Although this business shares common features with other knowledge-intensive markets, it carries many inherent features making it a challenging domain for research. The 20 full and 10 short papers accepted for ICSOB were selected from 60 submissions and are organized in sections on software product management, organizational transformation, industry transformation, software platforms and ecosystems, and emerging trends."

"This book constitutes the refereed proceedings of the 5th International Workshop on Biomedical Image Registration, WBIR 2012, held in Nashville, Tennessee, USA, in July 2012. The 20 full papers and 11 poster papers included in this volume were carefully reviewed and selected from 44 submitted papers. They full papers are organized in the following topical sections, multiple image sets, brain, non-rigid anatomy, and frameworks and similarity measures."

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

"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 thoroughly refereed post-conference proceedings of the 19th International Workshop on Fast Software Encryption, held in Washington, DC, USA, in March 2012. The 24 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 89 initial submissions. The papers are organized in topical sections on block ciphers, differential cryptanalysis, hash functions, modes of operation, new tools for cryptanalysis, new designs and Keccak."

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