Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Data Analysis, IDA 2012, held in Helsinki, Finland, in October 2012. The 32 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 88 submissions. All current aspects of intelligent data analysis are addressed, including intelligent support for modeling and analyzing data from complex, dynamical systems. The papers focus on novel applications of IDA techniques to, e.g., networked digital information systems; novel modes of data acquisition and the associated issues; robustness and scalability issues of intelligent data analysis techniques; and visualization and dissemination results."

"This book constitutes the refereed proceedings of the 6th International Symposium on Intelligence Computation and Applications, ISICA 2012, held in Wuhan, China, in October 2012. The 72 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on artificial life, adaptive behavior, agents, and ant colony optimization, combinatorial and numerical optimization, communications and computer networks, data mining, evolutionary multi-objective and dynamic optimization, intelligent computation, intelligent learning systems, neural networks, and real-world applications."

"This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures."

"This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in July 2012. The 33 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 60 submissions. The papers address issues of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays. The goal is to derive non-trivial combinatorial properties of such structures and to exploit these properties in order to either achieve superior performance for the corresponding computational problems or pinpoint conditions under which searches cannot be performed efficiently. The meeting also deals with problems in computational biology, data compression and data mining, coding, information retrieval, natural language processing, and pattern recognition"

"This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems."

"This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Artificial Intelligence, SBIA 2012, held in Curitiba, Brazil, in October 2012. The 23 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers cover the following topics: knowledge representation, machine learning, machine learning and computer vision, agent-based and multi-agent systems, robotics and language, as well as constraints."

"Based on both the Fifth International Symposium on Intelligent Distributed Computing, and the Third International Workshop on multi-agent systems technology and semantics, this volume explores the theory and applications of intelligent distributed computing and multi-agent systems."

"The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012. The 107 revised full papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on clustering and classification, image processing, image analysis, motion analysis and tracking, shape representation, 3D imaging, applications, biometrics and face recognition, human activity recognition, biomedical image analysis, retinal image analysis, and call detection and modeling."

"The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012. The 107 revised full papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on clustering and classification, image processing, image analysis, motion analysis and tracking, shape representation, 3D imaging, applications, biometrics and face recognition, human activity recognition, biomedical image analysis, retinal image analysis, and call detection and modeling."

"This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. The papers present original research at the intersection of algorithms and game theory and address various current topics such as solution concepts in game theory, efficiency of equilibria and price of anarchy, complexity classes in game theory, computational aspects of equilibria, computational aspects of fixed-point theorems, repeated games, evolution and learning in games, convergence of dynamics, coalitions, coordination and collective action; reputation, recommendation and trust systems, graph-theoretic aspects of social networks, network games; cost-sharing algorithms and analysis, computing with incentives, algorithmic mechanism design, computational social choice, decision theory, and pricing, auction algorithms and analysis, economic aspects of distributed computing, internet economics and computational advertising."