Page 5
Page 5
Agent-oriented software engineering VIII ; 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007, held in Honolulu, Hawaii in May 2007 as part of AAMAS 2007.
Agent-oriented software engineering VII ; 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for supporting the design and development of such applications.The book is organized in topical sections on modelling and design of agent systems, modelling open agent systems, formal reasoning about designs, as well as testing, debugging and evolvability.
Advances in Data Mining : Applications in E-Commerce, Medicine, and Knowledge Management
Presents papers describing selected projects on the topic of data mining in fields like e commerce, medicine, and knowledge management. The objective is to report on current results and at the same time to give a review on the present activities in this field in Germany. An effort has been made to include the latest scientific results, as well as lead the reader to the various fields of activity and the problems related to them. Knowledge discovery on the basis of web data is a wide and fast growing area. E commerce is the principal theme of motivation in this field, as companies invest large sums in the electronic market, in order to maximize their profits and minimize their risks. Other applications are telelearning, teleteaching, service support, and citizen information systems. Concerning these applications, there is a great need to understand and support the user by means of recommendation systems, adaptive information systems, as well as by personalization.
Advanced Techniques in Knowledge Discovery and Data Mining
This explosion is a result of the growing use of electronic media. But what is data mining (DM)? A Web search using the Google search engine retrieves many (really many) definitions of data mining. We include here a few interesting ones. One of the simpler definitions is: “As the term suggests, data mining is the analysis of data to establish relationships and identify patterns” [1]. It focuses on identifying relations in data. Our next example is more elaborate: An information extraction activity whose goal is to discover hidden facts contained in databases. Using a combination of machine learning, statistical analysis, modeling techniques and database technology, data mining finds patterns and subtle relationships in data and infers rules that allow the prediction of future results. Typical applications include market segmentation, customer profiling, fraud detection, evaluation of retail promotions, and credit risk analysis .
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
