Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 10th International Conference on Wired / Wireless Internet Communications, WWIC, held in Santorini island, Greece during June 6-8, 2012. The 23 revised full papers and 6 short papers presented were carefully reviewed and selected from 50 submissions. The papers are organized in six thematically-distinct technical sessions, covering the following major topics: virtual networks and clouds, multimedia systems, wireless sensor networks and localization, delay-tolerant and opportunistic networks, handover techniques and channel access, and ad hoc networks."

"This book constitutes the proceedings of the 7th International Conference on Persuasive Technology, PERSUASIVE 2012, held in Linköping, Sweden, in June 2012. The 21 full papers presented together with 5 short papers were carefully reviewed and selected from numerous submissions. In addition three keynote papers are included in this volume. The papers cover the typical fields of persuasive technology, such as health, safety and education."

"This book constitutes the refereed proceedings of the 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, held in Santorini Island, Greece, in September 2012. The 88 revised papers were carefully selected from numerous submissions. In order to give a perspective in which both theoretical and applicational aspects of cellular automata contribute to the growth of the area, this book mirrors the structure of the conference, grouping the 88 papers into two main parts. The first part collects papers presented as part of the main conference and organized according to six main topics: theoretical results on cellular automata; cellular automata dynamics, control and synchronization; cellular automata and networks; modeling and simulation with cellular automata; cellular automata-based hardware and architectures; codes, pseudorandom number generators and cryptography with cellular automata. The second part of the volume is dedicated to contributions presented during the ACRI 2012 workshops on theoretical advances, specifically asynchronous cellular automata, and challenging application contexts for cellular automata: crowds and CA, traffic and CA, and the satellite Workshop on cellular automata of cancer growth and invasion."

"This book constitutes the refereed proceedings of the 24th International Conference on Scientific and Statistical Database Management, SSDBM 2012, held in Chania, Grete, Greece, in June 2012. The 25 long and 10 short papers presented together with 2 keynotes, 1 panel, and 13 demonstration and poster papers were carefully reviewed and selected from numerous submissions. The topics covered are uncertain and probabilistic data, parallel and distributed data management, graph processing, mining multidimensional data, provenance and workflows, processing scientific queries, and support for demanding applications."

"This book includes papers presented at SOCO 2018, CISIS 2018 and ICEUTE 2018, all held in the beautiful and historic city of San Sebastian (Spain), in June 2018. Soft computing represents a collection or set of computational techniques in machine learning, computer science and some engineering disciplines, which investigate, simulate, and analyze highly complex issues and phenomena. After a rigorous peer-review process, the 13th SOCO 2018 International Program Committee selected 41 papers, with a special emphasis on optimization, modeling and control using soft computing techniques and soft computing applications in the field of industrial and environmental enterprises. The aim of the 11th CISIS 2018 conference was to offer a meeting opportunity for academic and industry researchers from the vast areas of computational intelligence, information security, and data mining. The need for intelligent, flexible behaviour by large, complex systems, especially in mission-critical domains, was the catalyst for the overall event. Eight of the papers included in the book were selected by the CISIS 2018 International Program Committee. The International Program Committee of ICEUTE 2018 selected 11 papers for inclusion in these conference proceedings"

"This volume constitutes the refereed proceedings of the 5th International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2011. The 42 revised full papers presented together with 7 short papers were carefully reviewed and selected from 162 submissions. The papers are organized in topical sections on, algorithm, applications, systems (hardware and software), biomedical informations, and poster papers."

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

"This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held in Rhodes Islands, Greece, in August 2012. The 75 revised full papers presented were carefully reviewed and selected from 228 submissions. The papers are organized in topical sections on support tools and environments, performance prediction and evaluation, scheduling and load balancing, high-performance architectures and compilers, parallel and distributed data management, grid, cluster and cloud computing, peer to peer computing, distributed systems and algorithms, parallel and distributed programming, parallel numerical algorithms, multicore and manycore programming, theory and algorithms for parallel computation, high performance network and communication, mobile and ubiquitous computing, high performance and scientific applications, GPU and accelerators computing."

"This book constitutes the refereed proceedings of the 8th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2012, held in Halkidiki, Greece, in September 2012. The 44 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on ANN-classification and pattern recognition, optimization - genetic algorithms, artificial neural networks, learning and mining, fuzzy logic, classification - pattern recognition, multi-agent systems, multi-attribute DSS, clustering, image-video classification and processing, and engineering applications of AI and artificial neural networks."

"This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries."