Hasil Pencarian  ::  Simpan CSV :: Kembali

"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 Third International KR4HC 2011 workshop held in conjunction with the 13th Conference on Artificial Intelligence in medicine, AIME 2011, in Bled, Slovenia, in July 2011. The 11 extended papers presented together with 1 invited paper were carefully reviewed and selected from 22 submissions. The papers cover topics like health care knowledge sharing, health process, clinical practice guidelines, and patient records, ontologies, medical costs, and clinical trials."

"This book constitutes the refereed proceedings of the 8th International Joint Conference on E-Business and Telecommunications, ICETE 2011, held in Seville, Spain in July 2011. The 118 revised full papers presented were carefully reviewed and selected from 409 submissions. The topics covered are data communication networking, e-business, optical communication systems, security and cryptography, signal processing and multimedia applications, and wireless networks and information systems. These are the main knowledge areas that define the six component conferences, namely: DCNET, ICE-B, OPTICS, SECRYPT, SIGMAP, and WINSYS which together form the ICETE joint conference."

"This book constitutes the refereed proceedings of the international competition aimed at the evaluation and assessment of Ambient Assisted Living, EvAAL 2012, which was organized in three major events: the Second International Competition on Indoor Localization and Tracking for Ambient Assisted Living, which took place in Madrid, Spain, in July 2012, the First International Competition on Activity Recognition for Ambient Assisted Living, which took place in Valencia, Spain, in July 2012, and the Final Workshop, which was held in Eindhoven, The Netherlands, in September 2012. The papers included in this book describe the organization and technical aspects of the competitions, and provide a complete technical description of the competing artefacts and report on the experience lessons learned by the teams during the competition."

"This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections, implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis."

"This book constitutes selected papers from the lectures given at the workshops held in conjunction with the User Modeling, Adaptation and Personalization Conference, UMAP 2011, Girona, Spain, in July 2011. The 40 papers presented were carefully reviewed and selected for inclusion in this book. For each workshop there is an overview paper summarizing the workshop themes, the accepted contributions and the future research trends. In addition the volume presents a selection of the best poster papers of UMAP 2011. The workshops included are, AST, adaptive support for team collaboration, AUM, augmenting user models with real worlds experiences to enhance personalization and adaptation, DEMRA, decision making and recommendation acceptance issues in recommender systems, PALE, personalization approaches in learning environments, SASWeb, semantic adaptive social web, TRUM, trust, reputation and user modeling, UMADR, user modeling and adaptation for daily routines: providing assistance to people with special and specific needs, UMMS, user models for motivational systems: the affective and the rational routes to persuasion."

"This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference, eHealth 2011, held in Málaga, Spain, in November 2011. The 20 revised full papers presented along with 8 short papers were carefully reviewed and selected from numerous submissions in total and cover a wide range of topics including social media analysis, knowledge integration and EPR, personalisation and patient support systems, early warning systems and mobile monitoring, games and learning, security, privacy and prevention, online support for professionals and patients, agents in eHealth, online communities of practice, eHealth solutions, social media surveillance, and communication and data integration."

"This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows, types, compiling, paralelelism and distribution, data structures, and miscellaneous."

"This book constitutes the thoroughly refereed post-conference proceedings of the 18th Annual International Workshop on Selected Areas in Cryptography, SAC 2011, held in Toronto, Canada in August 2011. The 23 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on cryptanalysis of hash functions, security in clouds, bits and randomness, cryptanalysis of ciphers, cryptanalysis of public-key crypthography, cipher implementation, new designs and mathematical aspects of applied cryptography."