Kategoria BISAC: Computers >> Computer Science

This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006. The 28 revised full papers presented together with the abstracts of 2 invited lectures were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on agents, constraints and optimization, user concerns, decision support, models and ontologies, machine learning, ontology manipulation, natural language processing, and applications.

Die Herausgeber legen mit diesem Buch eine Ubersicht zum elektronischen Geschaftsverkehr vor. Das Buch richtet sich dabei vor allem an Leser, die sich nicht nur uber die Entwicklung auf dem Gebiet des "Electronic Commerce" informieren mochten, sondern konkrete Projekte starten und realisieren wollen. Der Leser erhalt Einblick in die Technologie, die organisatorischen Aspekte sowie in die rechtlichen Rahmenbedingungen. Die Darstellung aktueller Projekte und Anwendungsfelder erlaubt es, eigene Projektideen einzuordnen. Konkrete Handlungsempfehlungen helfen bei der Umsetzung."

This text is based on the author's PhD thesis which was selected as the winning thesis of the 1999 ACM Doctoral Dissertation Competition. Dieter van Melkebeek did his PhD work at the University of Chicago with Lance Fortnow as thesis advisor. This work studies some central issues in computational complexity: the relative power of time, space, and randomness in computing and verification. The author develops techniques for separating complexity classes by isolating structural differences between their complete problems. He presents several approaches based on such diverse concepts as density,...

This book constitutes the refereed proceedings of the International Workshop on Robot Vision, RobVis 2001, held in Auckland, New Zealand in February 2001. The 17 revised full papers presented together with 17 posters were carefully reviewed and selected from 52 submissions. The papers and posters are organized in topical sections on active perception, computer vision, robotics and video, computational stereo, robotic vision, and image acquisition.

The first international symposium on mathematical foundations of the finite element method was held at the University of Maryland in 1973. During the last three decades there has been great progress in the theory and practice of solving partial differential equations, and research has extended in various directions. Full-scale nonlinear problems have come within the range of nu merical simulation. The importance of mathematical modeling and analysis in science and engineering is steadily increasing. In addition, new possibili ties of analysing the reliability of computations have appeared....

Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having to tell them explicitly how. Since its inceptions more than ten years ago, GP has been used to solve practical problems in a variety of application fields. Along with this ad-hoc engineering approaches interest increased in how and why GP works. This book provides a coherent consolidation of recent work on the theoretical foundations of GP. A concise introduction to GP and genetic algorithms (GA) is...

Das Kompendium E-Learning versteht sich als Handbuch fur alle, die sich in Schule, Hochschule, Aus- und Weiterbildung mit der Konzeption, Entwicklung und Evaluation von E-Learning befassen. Zugleich kann es als Lehrbuch fur Studierende der Erziehungswissenschaft, Psychologie, Medienwissenschaft, Betriebswirtschaft und Informatik eingesetzt werden. Behandelt werden alle Entscheidungsebenen der Konzeption und Entwicklung von computer- und webbasierten Lernumgebungen von der Bedarfsanalyse bis zu Usability-Studien und zur Feldevaluation. Die Vorgehensweise orientiert sich an aktuellen...

Meshfree methods for the solution of partial differential equations gained much attention in recent years, not only in the engineering but also in the mathematics community. One of the reasons for this development is the fact that meshfree discretizations and particle models are often better suited to cope with geometric changes of the domain of interest, e.g. free surfaces and large deformations, than classical discretization techniques such as finite differences, finite elements or finite volumes. Another obvious advantage of meshfree discretizations is their independence of a mesh so that...

These are the refereed proceedings of the 8th Annual International Computing and Combinatorics Conference, COCOON 2002, held in Singapore in August 2002. The 60 revised full papers presented together with three invited contributions were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on complexity theory, discrete algorithms, computational biology and learning theory, radio networks, automata and formal languages, Internet networks, computational geometry, combinatorial optimization, and quantum computing.

Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech- nologies. Because of this, the design of algorithms for solving hard problems is the core of current algorithmic research from the theoretical point of view as well as from the practical point of view. There are many general text books on algorithmics, and several specialized books devoted to particular approaches such as local search, randomization, approximation algorithms, or heuristics. But there is no textbook that focuses on the design...

This book presents the tutorial lectures given by leading experts in the area at the IFIP WG 7.3 International Symposium on Computer Modeling, Measurement and Evaluation, Performance 2002, held in Rome, Italy in September 2002.The survey papers presented are devoted to theoretical and methodological advances in performance and reliability evaluation as well as new perspectives in the major application fields. Modeling and verification issues, solution methods, workload characterization, and benchmarking are addressed from the methodological point of view. Among the applications dealt with are...

This book constitutes the refereed proceedings of the 4th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2006. The 17 revised full papers presented were carefully reviewed and selected from 34 initial submissions. The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative discoveries about genome structure and process to theorems on the complexity of computational problems inspired by genome comparison.

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

The Brazilian Arti?cial Intelligence (AI) community decided in 2004 to organize an International Joint Conference, joining IBERAMIA 2006 (the 10th Ibero-American Arti?cial Intelligence Conference), SBIA 2006 (the 18th Brazilian Arti?cial Int- ligence Symposium), and SBRN 2006 (the 9th Brazilian Neural Networks Sym- sium). This decision was a consequence of the successful event organized in 2000, when the First International Joint Conference IBERAMIA/ SBIA 2000 (7th Ibero- American Arti?cial Intelligence Conference and 15th Brazilian Arti?cial Intel- gence Symposium) occurred in Brazil....

This book constitutes the refereed proceedings of the Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006. The book presents 12 revised full papers together with 5 invited papers. These focus on the evolution and emergence of language - a fast growing interdisciplinary research area touching such different disciplines as anthropology, linguistics, psychology, primatology, neuroscience, cognitive science and computer science.

This is volume I of the proceedings of the Second International Conference on Natural Computation, ICNC 2006. After a demanding review process 168 carefully revised full papers and 86 revised short papers were selected from 1915 submissions for presentation in two volumes. This first volume includes 130 papers related to artificial neural networks, natural neural systems and cognitive science, neural network applications, as well as evolutionary computation: theory and algorithms.

This is volume II of the proceedings of the Second International Conference on Natural Computation, ICNC 2006. After a demanding review process 168 carefully revised full papers and 86 revised short papers were selected from 1915 submissions for presentation in two volumes. The 124 papers in the second volume are organized in topical sections on additional topics in natural computation, natural computation techniques applications, hardware, and cross-disciplinary topics.

This book, i. e., LNAI vol. 4223, is the proceedings of the Third International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2006), jointly held with the Second International Conference on Natural Computation (ICNC 2006, LNCS vols. 4221 and 4222) during September 24 - 28, 2006 in Xi'an, Shaanxi, China. FSKD 2006 successfully attracted 1274 submissions from 35 countries/regions(the joint ICNC-FSKD 2006received3189submissions). After rigorous reviews, 165 high-quality papers, i. e., 115 long papers and 50 short papers, wereincludedintheFSKD2006proceedings, representinganacceptance...

This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006.

The 42 revised full papers and 21 revised short papers presented together with extended abstracts of four invited talks were carefully reviewed and selected from 142 submissions. All current issues of computing with constraints are addressed.

This volume contains the proceedings of the Fourth International Conference on Advances in Information Systems (ADVIS) held in Izmir, Turkey, October, 18-20, 2006. This is the fourth conference dedicated to the memory of Professor Esen Ozkarahan, who was one of the pioneers of database machine research and a founder of database systems in Turkey. The main goal of the conference is to bring together researchers from all around the world working in di?erent areas of information systems to share new ideas and represent their latest results. This time we received 120 submissions from 27...