الصفحة 21
الصفحة 21
Algorithmic learning theory ; 18th International conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings
This volume contains the papers presented at the 18th International Conf- ence on Algorithmic Learning Theory.The main objective of the conference was to provide an interdisciplinary forum for high-quality talks with a strong theore- cal background and scientiبهc interchange in areas such as query models, on-line learning, inductive inference, algorithmic forecasting, boosting, support vector machines, kernel methods, complexity and learning, reinforcement learning, - supervised learning and grammatical inference.
Algorithmic Aspects in Information and Management ; Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information and Management, AAIM 2006, held in Hong Kong, June 2006. The book presents 34 revised full papers together with abstracts of 2 invited talks. The papers cover topics from areas such as online scheduling, game and finance, data structures and algorithms, computational geometry, optimization, graph, and string, and more.
Algorithmic applications in management ; 1st international conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings
The papers in this volume were presented at the 1st International Conference onAlgorithmic Applications in Management (AAIM 2005), in China. The topics cover algorithmic applications in most management-related areas.including Programming Techniques Business Strategy/Leadership Theory of Computation Algorithm Analysis and Problem Complexity Data Structures Discrete Mathematics in Computer Science
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
AI*IA 2005 : Advances in artificial intelligence ; 9th congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings
This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), 2005 On the one hand this congress continues the tradition of AI*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover,the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research ?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth.
AI 2004 : Advances in artificial intelligence ; 17th Australian Joint conference on artificial intelligence, Cairns, Australia, December 4-6, 2004, proceedings
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the major forum for artificial intelligenceresearch in Australia. It has consistently attracted strong international partic-ipation. This year more than two thirds of the submissions were from outsideAustralia.The current volume is based on the proceedings of AI 2004. AI 2004 was collo-cated with Complex 2004, the 7th Asia-Pacific Conference on Complex Systems,with the aim of promoting cross-fertilization and collaboration in areas of com-plex and intelligent systems
Agent-oriented software engineering V ; 5th International workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di?- ent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and ¨ autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of software systems. They o?er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, and intentions, all of which need conceptual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities.
Agent-Based Simulation : From Modeling Methodologies to Real-World Applications; Post Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004
Agent-based modeling/simulation is an emerging field that uses bottom-up and experimental analysis in the social sciences. Selected research from that presented at the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004, held in May 2004 in Kyoto, Japan, is included in this book. The aim of the workshop was to employ the bottom-up approach to social and economic problems by modeling, simulation, and analysis using a software agent. This research area is an emerging interdisciplinary field among the social sciences and computer science, attracting broad attention because it introduces a simulation-based experimental approach to problems that are becoming increasingly complex in an era of globalization and innovation in information technology. The state-of-the-art research and findings presented in this book will be indispensable tools for anyone involved in this rapidly growing discipline.
Agent Technology and e-Health
Multi-agent systems are one of the most exciting research areas in Artificial Intelligence. This book reports on the results achieved in this area, discusses the benefits (and drawbacks) that agent-based systems may bring to medical domains and society.
Agent Intelligence Through Data Mining
AGENT INTELLIGENCE THROUGH DATA MINING offers a self-contained overview of a relatively young but important area of research: the intersection of agent technology and data mining. This intersection leads to considerable advancements in the area of information technologies, drawing the increasing attention of both research and industrial communities. It can take two forms: a) the more mundane use of intelligent agents for improved data mining and; b) the use of data mining for smarter, more efficient agents. The second approach is the main focus of this volume. this book presents a methodology for developing multi-agent systems, describes available open-source tools to support this process, and demonstrates the application of the methodology on three different cases. AGENT INTELLIGENCE THROUGH DATA MINING is designed for a professional audience composed of researchers and practitioners in industry.
Agent communication ; International workshop on agent communication, AC 2004, New York, NY, July 19, 2004
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents has been one of the major topics of research in multiagent systems. The current work can therefore build on a number of previous Workshops of which the proceedings have been published in earlier volumes in this series. The basis of this collection is formed by the accepted submissions of the Workshop on Agent Communication held in c- junction with the AAMAS Conference in July 2004 in New York. the current collection comprises a very good and quite complete overview of the state of the art in this area of research and gives a good indication of the topics that are of major interest at the moment. The papers can roughly be divided over the following ?ve themes: – social commitments – multiparty communication – content languages – dialogues and conversations – speech acts Although these themes are of course not mutually exclusive they indicate some main directions of research. We therefore have arranged the papers in the book according to the topics indicated above.
Advances in web mining and web usage analysis ; 8th International workshop on knowledge discovery on the web, WebKDD 2006 Philadelphia, USA, August 20, 2006 Revised Papers
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 the Web.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.Many ofthe infancy problems in Web mining have been solvedby now, but the tremendous potential for new and improved uses, as well as misuses, of the Web are leading to new challenges.
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 visual computing ; Vol. 3804 ; 1st International symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the for the 2005 Int- national Symposium on Visual Computing (ISVC). ISVC provides a common umbrella for the four main areas of visual computing: vision, graphics, visu- ization, and virtual reality.
Advances in Visual Computing ; 3rd International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part II
It main of visual computing including vision,graphics,visualization,andvirtualreality.Its goal is to provide a forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, devel- ments, and applications in the broader area of visual computing.
Advances in Visual Computing ; 3rd International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I
It main of visual computing including vision,graphics,visualization,andvirtualreality.Its goal is to provide a forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, devel- ments, and applications in the broader area of visual computing.
Advances in spatial and temporal databases ; 7th International symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 Proceedings
The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects. The symposium served as a forum for disseminating research in spatial and temporal data management, and for maximizing the interchange of knowledge among researchers from the established spatial and temporal database com- nities. The exchange of research ideas and results not only contributes to the academic arena, but also bene ts the user and commercial communities.
