Agents and peer-to-peer computing ; Vol. 4118 : 4th International workshop, AP2PC 2005, Utrecht, Netherlands, J uly 25, 2005, Revised and Invited Papers
Constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2005, held in Utrecht, Netherlands, July 2005, in the context of the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2005. The 13 revised full papers cover trust and reputation, P2P infrastructure, semantic infrastructure, as well as community and mobile applications.
Agents and peer-to-peer computing ; Vol. 3601 ; 3rd international workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, revised and invited papers
This volume presents the fully revised papers presented at the Third International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2004, held in New York City on July 19, 2004 in the context of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004). The volume is organized in topical sections on P2P networks and search performance, emergent communities and social behaviours, semantic integration, mobile P2P systems, adaptive systems, agent-based resource discovery, as well as trust and reputation.
Agents and peer-to-peer computing ; 5th International workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2006, held in Hakodate, Japan, in May 2006, in the context of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006.
Agent-mediated electronic commerce : automated negotiation and strategy design for electronic markets : AAMAS 2006 workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006 : selected and revised papers
The design and an alysis of trading agents and electronic trading systems in which they are deployed involve finding solutions to a diverse set of problems, invo- ing individual behaviors, interaction, and collective behavior in the context of trade. A wide variety of trading scenarios and systems, and agent approaches to these, have been studied in recent years. The AMEC series of wo- shops presents interdisciplinary researchon both theoretical and practical issues of agent-mediated electronic commerce ranging from the design of electronic marketplaces and e?cient protocols to behavioral aspects of agents operating in suchenvironments.
Advances in web mining and web usage analysis ; 7th International workshop on knowledge discovery on the web, WEBKDD 2005, Chicago, IL, USA, August 21, 2005, Revised Papers
Thisbookcontainsthepostworkshopproceedingsofthe7thInternationalWo- shop on Knowledge Discovery from the Web, WEBKDD 2005. The WEBKDD workshop series takes place as part of the ACM SIGKDD International Conf- ence on Knowledge Discovery and Data Mining (KDD) since 1999. The discipline of data mining delivers methodologies and tools for the an- ysis of large data volumes and the extraction of comprehensible and non-trivial insights from them. Web mining, a much younger discipline, concentrates on the analysisofdata pertinentto theWeb.Web mining methods areappliedonusage data and Web site content; they strive to improve our understanding of how the Web is used, to enhance usability and to promote mutual satisfaction between e-business venues and their potential customers. In the last years, the interest for the Web as medium for communication, interaction and business has led to new challenges and to intensive, dedicated research. Many of the infancy problems in Web mining have now been solved but the tremendous potential for new and improved uses, as well as misuses, of the Web are leading to new challenges.
Advances in Smaltalk ; 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Advances in conceptual modeling : Challenges and opportunities ; ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings
Constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008.
Advances in Applied Self-organizing Systems
This book presents the state-of-the-practice in successfully engineered self-organizing systems, and examines ways to balance design and self organization in the context of applications.
Advanced Wired and Wireless Networks
ADVANCED WIRED AND WIRELESS NETWORKS brings the reader a sample of recent research efforts representative of advances in the areas of recognized importance for the future Internet, In Part I, we bring ad-hoc networking closer to the reality of practical use. The focus is on more advanced scalable routing suitable for large networks, directed flooding useful in information dissemination networks, as well as self-configuration and security issues important in practical deployments. Part II illustrates the efforts towards development of advanced mobility support techniques (beyond traditional "mobile phone net") and Mobile IP technologies. The issues range from prediction based mobility support, through context transfer during Mobile IP handoff, to service provisioning platforms for heterogeneous networks. The focus of the final section concerns the performance of networks and protocols. Furthermore this section illustrates researchers’ interest in protocol enhancement requests for improved performance with advanced networks, reliable and efficient multicast methods in unreliable networks, and composite scheduling in programmable/active networks where computing resources equal network performance as transmission bandwidth.
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
Advanced methods for knowledge discovery from complex data
An overview of the field, looking at the issues and challenges involved is followed by coverage of recent trends in data mining, including descriptions of some currently popular tools like genetic algorithms, neural networks and case-based reasoning. This provides the context for the subsequent chapters on methods and applications. Part I is devoted to the foundations of mining different types of complex data like trees, graphs, links and sequences. A knowledge discovery approach based on problem decomposition is also described. Part II presents important applications of advanced mining techniques to data in unconventional and complex domains, such as life sciences, world-wide web, image databases, cyber security and sensor networks. With a good balance of introductory material on the knowledge discovery process, advanced issues and state-of-the-art tools and techniques, as well as recent working applications this book provides a representative selection of the available methods and their evaluation in real domains. It will be useful to students at Masters and PhD level in Computer Science, as well as practitioners in the field.
Advanced Information Systems Engineering ; 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, CAiSE 2008, held in Montpellier, France, in June 2008.
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction is designed to appeal to the engineering mind. The book is a practical guide focusing on the applications of PDF in the solution of "engineering" problems which may arise in a number of disciplines from architecture to construction. Using real-world examples, the authors follow a project from design through build and long-term maintenance. As the sample project evolves, suitable Acrobat® tools and techniques are identified and brought into play at each stage, showing readers how to personalize the context and processes to meet their own project development and management needs.
Adaptive Multimedia Retrieval : User, Context, and Feedback ; Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers
This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 28-29, 2005, at the U- versity of Glasgow, UK, as part of an information retrieval research festival and in co-location with the 19th International Joint Conference on Arti?cial Int- ligence (IJCAI 2005). AMR 2005 was the third and so far the biggest event of the series of workshops that started in 2003 with a workshop during the 26th German Conference on Arti?cial Intelligence (KI 2003) and continued in 2004 as part of the 16th European Conference on Arti?cial Intelligence (ECAI 2004).
Adaptive Multimedia Retrieval : User, Context, and Feedback ; 4th International Workshop, AMR 2006, Geneva, Switzerland, July, 27-28, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Adaptive Multimedia Retrieval, AMR 2006, held in Geneva, Switzerland in July 2006. this book provides a good and conclusive overview of the current research in the area of adaptive information retrieval.
Adaptive Hypermedia and Adaptive Web-Based Systems ; 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings
Here are the refereed proceedings of the 4th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2006, held in Dublin, Ireland, June 2006. The book presents 22 revised full papers and 19 revised short papers together with abstracts of 3 keynotes, 12 poster papers, and 14 doctoral consortium posters. Topics include pioneering theories, techniques, and innovative technologies to provide dynamic personalization, adaptation, and contextualization of hypermedia resources and services.
Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2008, held in Hannover, Germany in July 2008.
Adaptive agents and multi-agent systems II : Adaptation and multi-agent learning
Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science. This book presents 17 revised and carefully reviewed papers taken from two workshops on the topic as well as 2 invited papers by leading researchers in the area. The papers deal with various aspects of machine learning, adaptation, and evolution in the context of agent systems and autonomous agents.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention was given to advanced 3D imaging technologies in the context of safety and security applications. Comparative evaluation studies showing advantages of 3D imaging over traditional 2D imaging for a given computer vision or pattern recognition task were emphasized. Moreover, additional experts in the field of 3D imaging for safety and security were invited by the editors for a contribution to this book.



















