Kategoria BISAC: Computers >> Computer Science

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.

Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic conceptual foundation, its general applicability, and its power to serve as a source for new search paradigms. The typical characteristics of combinatorial optimization problems to which local search can be applied, its relation to complexity theory, and the combination with randomized search features have led to a wealth of interesting theoretical results. However, these results are scattered throughout the literature.

This is the first book that presents a...

The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume I (4051) presents 61 revised full papers together with 1 invited lecture, focusing on algorithms, automata, complexity and games, on topics including graph theory, quantum computing, and more.

The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume II (4052) presents 2 invited papers and 2 additional conference tracks with 24 papers each, focusing on algorithms, automata, complexity and games as well as on security and cryptography foundation.

This book constitutes the refereed proceedings of the 10th International Conference on Computers Helping People with Special Needs, ICCHP 2006, held in Linz, Austria, in July 2006. The 193 revised contributions presented were carefully reviewed and selected for inclusion in the book. The papers evaluate how various fields in computer science can contribute to helping people with various kinds of disabilities and impairment.

The 5th Transactions on Computational Systems Biology collects carefully chosen and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing held in Beijing, China, in July 2005. The 9 papers in this special issue cover various aspects of computational methods, algorithms and techniques in bioinformatics such as gene expression analysis, biomedical literature mining and natural language processing, protein structure prediction, biological database management and biomedical information retrieval.

The last two years have been great for high performance computing in Baden- W] urttemberg and beyond. In July 2005, the new building for HLRS as well as Stuttgart s new NEC supercomputer which is still leading edge in G- many have been inaugurated. In these days, the SSC Karlsruhe is ?nalizing the installation of a very large high performance system complex from HP, built from hundreds of Intel Itanium processors and more than three th- sand AMD Opteron cores. Additionally, the fast network connection with a bandwidth of 40Gbit/s and thus one of the ?rst installations of this kind in Germany...

The Turkish Artificial Intelligence and Neural Network Symposium (TAINN) is an annual meeting where scientists present their new ideas and algorithms on artificial intelligence and neural networks with either oral or poster presentation. The TAINN- Turkish Conference on AI and NN Series started in 1992 at Bilkent University in Ankara, envisioned by various researchers in AI and NN then at the Bilkent, Middle East Technical, Bo azici and Ege universities as a forum for local researchers to get together and communicate. Since then, TAINN has been held annually around early summer. This year the...

For 20 years, the IFIP WG 11. 3 Working Conference on Data and Appli- tions Security (DBSEC) has been a major forum for presenting originalresearch results, practical experiences, and innovative ideas in data and applications - curity. Looking back, it is di?cult not to appreciatethe full extent of the change that has occurred in our ?eld. Once considered afterthoughts in systems and application design, data protection, privacy and trust have become the key problems of our day. This central role of security in the information society has however brought increased responsibilities to the...

This book presents the refereed proceedings of the 12th Annual International Computing and Combinatorics Conference, COCOON 2006, held in Taipei, Taiwan, August 2006. The book offers 52 revised full papers presented together with abstracts of 2 invited talks. The papers are organized in topical sections on computational economics, finance, and management, graph algorithms, computational complexity and computability, quantum computing, computational biology and medicine, computational geometry, graph theory, and more.

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of Automata, CIAA 2006, held in Taipei, Taiwan, in August 2006. The 22 revised full papers and 7 revised poster papers presented together with the extended abstracts of 3 invited lectures were carefully reviewed and selected from 76 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures.

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum with dedication to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring together researchers and practitioners from both the academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. The ICIC 2006 to be held in Kunming, Yunnan, China, 16-19 August 2006 is the second International Conference on Intelligent Computing, which is built upon the...

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring together researchers and practitioners from both academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. ICIC 2006 held in Kunming, Yunnan, China, August 16-19, 2006, was the second International Conference on Intelligent Computing, built upon the success of ICIC 2005 held...

This book constitutes the refereed proceedings of the 26th Annual International Cryptology Conference, CRYPTO 2006, held in Santa Barbara, California, USA in August 2006. The 34 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 250 submissions. The papers address all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis as well as advanced applications.

ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological principles through their translation into computational terms. All scienti?c disciplines carrying a name that begins with arti?cial (followed by life, reality, intelligence or - munesystem ) aresimilarlysu?ering froma veryambiguousidentity.Their axis of research tries to stabilize an on-going identity somewhere in the crossroad of engineering (building useful artifacts), natural sciences (biologyor psychology improving the comprehension and prediction of natural...

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.

This book constitutes the refereed proceedings of the Second IAPR Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2006, held in Ulm, Germany in August/September 2006. The 26 revised papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on unsupervised learning, semi-supervised learning, supervised learning, support vector learning, multiple classifier systems, visual object recognition, and data mining in bioinformatics.

This is the joint refereed proceedings of the 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and the 10th International Workshop on Randomization and Computation, RANDOM 2006. The book presents 44 carefully reviewed and revised full papers. Among the topics covered are design and analysis of approximation algorithms, hardness of approximation problems, small spaces and data streaming algorithms, embeddings and metric space methods, and more.

The Conference on Security and Cryptography for Networks 2006 (SCN 2006) was held in Maiori, Italy, on September 6-8, 2006. The conference was the ?fth in the SCN series, and this year marked a change in its name (the former name was Security in Communication Networks). The name change meant to better describe the scope of the conference while preserving the SCN acronym. This year for the ?rst time we had the proceedings volume ready at the conference. We feel thatthe SCN conferencehas maturedandthat it has becomea tradition to hold it regularly in the beautiful setting of the Amal?tan coast...

This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. We cordially invite you to visit the ICMS 2006 website http: //www.icms2006.unican.es where you can find all relevant information about this interesting event. ICMS 2006 was the second edition of this congress, which follows up the successful ICMS 2002 held in Beijing, China. Since its inception, this congress has been a satellite event of the International Congress of...