Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the proceedings of the First International Conference on Biomimetic and Biohybrid Systems, Living Machines 2012, held in Barcelona, Spain, in July 2012. The 28 full papers and 33 extended abstracts presented in this volume were carefully reviewed and selected for inclusion in this book. The conference addresses themes related to the development of future real-world technologies which will depend strongly on our understanding and harnessing of the principles underlying living systems and the flow of communication signals between living and artificial systems."

"This book constitutes the refereed proceedings of the 16th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2012, held in Barcelona, Spain, in April 2012. The 31 revised full papers presented together with 5 keynote lectures were carefully reviewed and selected from 200 submissions. The papers feature current research in all areas of computational molecular biology, including, molecular sequence analysis, recognition of genes and regulatory elements, molecular evolution, protein structure, structural genomics, analysis of gene expression, biological networks, sequencing and genotyping technologies, drug design, probabilistic and combinatorial algorithms, systems biology, computational proteomics, structural and functional genomics, and information systems for computational biology and imaging."

"This book constitutes the proceedings of the 34th European Conference on IR Research, ECIR 2012, held in Barcelona, Spain, in April 2012. The 37 full papers, 28 poster papers and 7 demonstrations presented in this volume were carefully reviewed and selected from 167 submissions. The contributions are organized in sections named: query representation; blogs and online-community search; semi-structured retrieval; evaluation; applications; retrieval models; image and video retrieval; text and content classification, categorisation, clustering; systems efficiency; industry track; and posters."

"This book constitutes the proceedings of the 34th European Conference on IR Research, ECIR 2012, held in Barcelona, Spain, in April 2012. The 37 full papers, 28 poster papers and 7 demonstrations presented in this volume were carefully reviewed and selected from 167 submissions. The contributions are organized in sections named, query representation, blogs and online-community search, semi-structured retrieval, evaluation, applications, retrieval models, image and video retrieval, text and content classification, categorisation, clustering, systems efficiency, industry track, and posters."

"This book constitutes the refereed proceedings of the 7th International Conference on Articulated Motion and Deformable Objects, AMDO 2012, held in Port d'Andratx, Mallorca, Spain, in July 2012. The 27 papers presented were carefully reviewed and selected from 44 submissions. The volume also contains one full paper length invited talk. The conference dealt with the following topics: advanced computer graphics (human modeling and animation); human motion (analysis, tracking, 3D reconstruction and recognition); multimodal user interaction and applications; and affective interfaces (recognition and interpretation of emotions, ECAs -- embodied conversational agents in HCI)."

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

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 12 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques and investigate further developments of knowledge representation and reasoning graph based techniques. Topics addressed are such as: bayesian networks, semantic networks, conceptual graphs, formal concept analysis, cp-nets, gai-nets, euler diagrams, existential graphs all of which have been successfully used in a number of applications (semantic Web, recommender systems, bioinformatics etc.)."

"This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics, properties of formal models of argumentation, instantiations of abstract argumentation frameworks, relationships among different argumentation frameworks, practical applications of formal models of argumentation, argumentation and other artificial intelligence techniques, evaluation of formal models of argumentation, validation and evaluation of applications of argumentation."

"This book constitutes the refereed proceedings of the 8th International Conference on Information Security Practice and Experience, ISPEC 2012, held in Hangzhou, China, in April 2012. The 20 revised full papers presented together with 7 work-in-progress papers were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on digital signatures, public key cryptography, cryptanalysis, differential attacks, oblivious transfer, internet security, key management, applied cryptography, pins, fundamentals, fault attacks, and key recovery."

"This book constitutes the refereed proceedings of the 12 th International Symposium on Privacy Enhancing Technologies, PET 2012, held in Vigo, Spain, in July 2012. The 16 full papers presented were carefully selected from 72 submissions. Topics addressed include anonymization of statistics, content, and traffic, network traffic analysis, censorship-resistant systems, user profiling, training users in privacy risk management, and privacy of internet and cloud-bases services. A further highlight is the HotPETS session, designed as a venue to present existing but still preliminary and evolving ideas."