Hasil Pencarian  ::  Simpan CSV :: Kembali

"The two-volume set LNCS 7552 + 7553 constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012. The 162 papers included in the proceedings were carefully reviewed and selected from 247 submissions. They are organized in topical sections named, theoretical neural computation, information and optimization, from neurons to neuromorphism, spiking dynamics, from single neurons to networks, complex firing patterns, movement and motion, from sensation to perception, object and face recognition, reinforcement learning, bayesian and echo state networks, recurrent neural networks and reservoir computing, coding architectures, interacting with the brain, swarm intelligence and decision-making, mulitlayer perceptrons and kernel networks, training and learning, inference and recognition, support vector machines, self-organizing maps and clustering, clustering, mining and exploratory analysis, bioinformatics, and time weries and forecasting."

"The two-volume set LNCS 7552 + 7553 constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012. The 162 papers included in the proceedings were carefully reviewed and selected from 247 submissions. They are organized in topical sections named, theoretical neural computation, information and optimization, from neurons to neuromorphism, spiking dynamics, from single neurons to networks, complex firing patterns, movement and motion, from sensation to perception, object and face recognition, reinforcement learning, bayesian and echo state networks, recurrent neural networks and reservoir computing, coding architectures, interacting with the brain, swarm intelligence and decision-making, mulitlayer perceptrons and kernel networks, training and learning, inference and recognition, support vector machines, self-organizing maps and clustering, clustering, mining and exploratory analysis, bioinformatics, and time weries and forecasting."

"This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration."

"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 12th International Conference on Intelligent Virtual Agents, IVA 2012, held in Santa Cruz, CA, USA, in September 2012. The 17 revised full papers presented together with 31 short papers and 18 poster papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on IVAs on learning environments, emotion and personality, evaluation and empirical studies, multimodal perception and expression, narrative and interactive applications, social interaction, authoring and tools, and conceptual frameworks."

"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 volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic."

"Proceedings of the International Conference on IT Convergence and Security 2011 approaches the subject matter with problems in technical convergence and convergences of security technology by looking at new issues that arise from techniques converging. The general scope is convergence security and the latest information technology with the following most important features and benefits : (1) introduction of the most recent information technology and its related ideas, (2) applications and problems related to technology convergence, and its case studies, and (3) introduction of converging existing security techniques through convergence security."

"This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management, MS 2012, held in New Rochelle, NY, USA, in May/June 2012. The event was co-organized by the AMSE Association and Iona College. The 27 full papers in this book were carefully reviewed and selected from 78 submissions. In addition to these papers a summary of the plenary presentation given by Ronald R. Yager is also included. The book mainly focuses on the field of intelligent systems and its application to economics and business administration. Some papers have a stronger orientation towards modeling and simulation in these fields."