Hasil Pencarian  ::  Simpan CSV :: Kembali

"The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field."

"This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on security, access control and intrusion detection, pattern recognition and image processing, biometric applications, algorithms and data management, networking, and system models and risk assessment."

"This book constitutes the refereed proceedings of the 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, held in Amsterdam, The Netherlands, in September 2012. The 37 revised full papers presented were carefully reviewed and selected for inclusion in the volume. The papers are organized in topical sections on national and international policies, sustainable and responsible innovation, ICT for peace and war, and citizens' involvement, citizens' rights and ICT."

"The two-volume set LNCS 7289 and 7290 constitutes the refereed proceedings of the 11th International IFIP TC 6 Networking Conference held in Prague, Czech Republic, in May 2012. The 64 revised full papers presented were carefully reviewed and selected from a total of 225 submissions. The papers feature innovative research in the areas of network architecture, applications and services, next generation Internet, wireless and sensor networks, and network science. The second volume includes 32 papers and is organized in topical sections on video streaming, peer to peer, interdomain, security, cooperation and collaboration, DTN and wireless sensor networks, and wireless networks."

"This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012. The 42 revised full papers, 2 full-length invited papers and 4 short tutorial papers, were carefully reviewed and selected from 297 submissions. The contributions have been grouped into the following topical sections, business process model analysis, service and component composition, language and models, system variants and configuration, process mining, ontologies, requirements and goal models, compliance, monitoring and prediction, services, case studies, business process design, feature models and product lines, and human factors."

"This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections : UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker."

"This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization."

"This book constitutes the proceedings of the 10th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2012, held in Tel Aviv, Israel, in March 2012. The 20 revised full papers presented together with 42 revised poster papers, 1 keynote lecture, and 2 overview papers for the regular, as well as for the special session were carefully reviewed and selected from numerous submissions. Topics addressed are ranging from theoretical issues such as causality analysis and measures, through novel methods for employing the well-established concepts of sparsity and non-negativity for matrix and tensor factorization, down to a variety of related applications ranging from audio and biomedical signals to precipitation analysis."

"The Workshop on Computation: Theory and Practice (WCTP)-2011 was the first workshop organized jointly by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila devoted to theoretical and practical approaches to computation. The aim of the workshop was to present the latest developments by theoreticians and practitioners in academe and industry working to address computational problems that can directly impact the way we live in society. This book comprises the refereed proceedings of WCTP-2011, held in Quezon City, the Philippines, in September 2011. The 16 carefully reviewed and revised full papers presented here deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing."

"The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 5 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP; multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications."