Computers - Computer Science

This book constitutes the refereed proceedings of the 13th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2006, held in Chester, UK, July 2006. The book presents 24 revised full papers together with three invited talks, on topics in distributed and parallel computing,...

This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems VI held in Bologna, Italy, on June 14-16, 2006. The conference program presents the state of the art in research on d- tributed and interoperable...

This book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2006. The 20 revised full papers presented together with 3 invited talks address methodological and foundational issues from...

The Seventh International Conference on Information and Communications - curity, ICICS2005, washeldinBeijing, China,10-13December2005. TheICICS conference series is an established forum for exchanging new research ideas and development results in the areas of information security and applied crypt- raphy. The ?rst event began here in...

DISC, the International Symposium on Distributed Computing, is an annual forum for presentationof researchon all facets of distributed computing, incl- ing the theory, design, analysis, implementation, and application of distributed systems and networks. The nineteenth edition of DISC was held on September 26-29, 2005,...

Asia Information Retrieval Symposium (AIRS) was established in 2004 by the Asian information retrieval community after the successful series of Information Retrieval with Asian Languages (IRAL) workshops held in six different locations in Asia, starting from 1996. The AIRS symposium aims to bring together...

We are pleased to present the proceedings of the 5th Workshop on Algorithms in Bioinformatics (WABI 2005) which took place in Mallorca, Spain, October 3-6, 2005. The WABI 2005 workshop was part of the ?ve ALGO 2005 conf- ence meetings, which, in addition to...

This volume contains the proceedings of the 8th International Information - curity Conference (ISC 2005), which took place in Singapore, from 20th to 23rd September 2005. ISC 2005 brought together individuals from academia and - dustry involvedin manyresearchdisciplines of information security to foster the...

After one year, the major actors in the ?eld of cooperative design, visualization and engineering gathered together again by the side of the beautiful Medit- ranean Sea to exchange the research and development experience in the ?eld. CDVE2005servedasaforumtopromotetheresearchinthe?eldanditattracted greatattentionfromthe CDVE community.Thisyear, wereceivedcontributions from over...

We are delighted to welcome the attendees of the Fourth International Wo- shop on Digital Watermarking (IWDW). Watermarking continues to generate strong academic interest. Commercialization of the technology is proceeding at a steadypace. We haveseen watermarkingadoptedfor DVD audio.Fingerpri- ing technology was successfully used to...

The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments held in Brighton at the 13th European Conference on Artificial Intelligence (ECAI'98). This workshop was followed by a second one held in Salford in Manchester in 1999....

Combinatorial optimization and in particular the great variety of fascinating problemsthatbelong to thisareahaveattractedmanyresearchersformorethan halfacentury.Duetothepracticalrelevanceofsolvinghardreal-worldproblems, much research e?ort has been devoted to the development of heuristic methods aimed at ?nding good approximate solutions in a reasonable computation time. Some solution paradigms that are not speci?c...

Sincerely welcome to the proceedings of the 2nd International Conference on Trust, Privacy, would be and Security in Digital Business, held in Copenhagen, Denmark, from August 22nd till 26th, 2005. This conference was the successor to the successful TrustBus 2004 conference, held in 2004...

The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5-9, 2005. This was the Eighth - ternational conference in the PaCT series. The conferences are held in R- sia every odd year. The ?rst conference, PaCT '91, was...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences...

Many vision problems have to deal with di?erent entities (regions, lines, line junctions, etc.) and their relationships. These entities together with their re- tionships may be encoded using graphs or hypergraphs. The structural inf- mation encoded by graphs allows computer vision algorithms to address...

The Computational Methods in Systems Biology (CMSB) workshop series was established in 2003 by Corrado Priami. The purpose of the workshop series is to help catalyze the convergence between computer scientists interested in language design, concurrency theory, software engineering or program verification, and physicists,...

SAC 2004 was the eleventh in a series of annual workshops on Selected Areas in Cryptography. This was the second time that the workshop was hosted by the University of Waterloo, Ontario, with previous workshops being held at Queen'sUniversityinKingston(1994,1996,1998and1999), CarletonUniversity in Ottawa (1995, 1997...

The 5th International Workshop on Information Security Applications (WISA 2004) was held in Jeju Island, Korea during August 23-25, 2004. The workshop was sponsored by the Korea Institute of Information Security and Cryptology (KIISC), the Electronics and Telecommunications Research Institute (ETRI) and the Ministry...

Generative and component approaches have the potential to revolutionize so- waredevelopmentinasimilarwayasautomationandcomponentsrevolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Speci?c Languages (elevating program speci?cations to compact domain-speci?c notations that are...

This proceedings contains the papers presented at the 2004 IFIP International Conference on Network and Parallel Computing (NPC 2004), held at Wuhan, China, from October 18 to 20, 2004. The goal of the conference was to establish an international forum for engineers and scientists...

This volume contains the proceedings of the 3rd International Conference on AdvancesinInformationSystems(ADVIS)heldinIzmir, Turkey,20-22October, 2004. This was the third conference dedicated to the memory of Prof. Esen Ozkarahan. We are very proud to continue this tradition and keep the memory of this outstanding scientist. The...

The Colloquium on Structural Information and Communication Complexity (SIROCCO) is an annual meeting focused on the relationship between comp- ing and communication. Over its 11 years of existence, SIROCCO has gained a considerable respect and has become an acknowledged forum bringing together specialists interested...

This volume contains invited and contributed papers presented at the eighth edition of the International Summer School on Neural Networks, dedicated to Prof.EduardoR.Caianiello.Theschoolwasestablishedin1996byProf.Antonio Zichichi, director of the Ettore Maiorana Centre for Scienti?c Culture in Erice (Sicily), and Prof. Maria Marinaro, director of the International...

Invited Papers.- Automated Synthesis of Data Analysis Programs: Learning in Logic.- At the Interface of Inductive Logic Programming and Statistics.- From Promising to Profitable Applications of ILP: A Case Study in Drug Discovery.- Systems Biology: A New Challenge for ILP.- Scaling Up ILP: Experiences...

This book is an extended collection of contributions that wereoriginally subm- ted to the 1st International Workshop on Adaptive Multimedia Retrieval (AMR 2003), which was organized as part of the 26th German Conference on Arti?cial Intelligence (KI 2003), and held during September 15-18,2003at the...

This volume contains the papers selected for presentation at the 1st Conference onModelingDecisionsforArti?cialIntelligence(MDAI2004), heldinBarcelona, Catalonia, August 2-4, 2004. The aim of this conference was to provide a forum for researchers to discuss models for information fusion (aggregation operators) and decision, to examine computational methods...

Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of...

These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in...

This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany. RTA is the major forum for the presentation of research on all aspects of...

The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b- den of working out suitable tools for solving complex problems. For this reason ComputationalScience, thoughoriginatingfromtheneedtosolvethemostch- lenging problems in science...

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks,...

Although diagrammatic representations have been a feature of human com- nication from early history, recent advances in printing and electronic media technologyhaveintroducedincreasinglysophisticatedvisualrepresentationsinto everydaylife. We need to improve our understanding of the role of diagramsand sketches in communication, cognition, creative thought, and problem-solving. These concerns...

The Workshop on Approximation and Online Algorithms (WAOA 2003) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications ar- ing from a variety of ?elds. The workshop also covered...

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2003, held in College Station, Texas, USA, in October 2003. The 35 revised full papers presented were selected from 48 submissions during two rounds...

The papers in this volume represent the technical program of the 9th Biennial WorkshoponDataBasesandProgrammingLanguages(DBPL2003), whichwas held on September 6-8, 2003, in Potsdam, Germany. The workshop meets every two years, and is a well-established forum for ideas that lie at the intersection of database and...

Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and publication of results in computer science from around the world. This volume contains the...

The 29th International Workshop on Graph-Theoretic Concepts in Computer Science(WG2003)washeldintheMennorodeconferenceCenterinElspeet, The Netherlands.TheworkshopwasorganizedbytheCenterforAlgorithmicSystems of the Institute of Information and Computing Sciences of Utrecht University. The workshop took place June 19-21, 2003. The 72 participants of WG 2003 came from universities and research institutes from 18...

This is the ?rst edition of the Latin American Symposium on Dependable C- puting (proceedings of the LADC). LADC is the sole Latin American event dedicated to discussing the many issues related to computer system depen- bility. This symposium succeeded the well established Brazilian...

This volume contains the papers presented at the 9th workshopon Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with HPDC12 and GGF8 in Seattle, Washington, on June 24, 2003. The papers went through a complete review process, with the full...

The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the Proceedings of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2838). The two conferences...

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of...

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading...

Graph-theoretic concepts are developed by computer scientists in order to model algorithms, nets, rewriting systems, distributed systems, parallelism, geometric and layout concepts. Their complexity is studied under various randomness assumptions. This volume contains contributions to the twelfth of a series of annual workshops designed...

Author: Austin MeltonISBN-10: 3540168168ISBN-13: 9783540168164Publisher: SpringerLanguage: EnglishPublished: 10/01/1986Pages: 400Format: PaperbackWeight: 1.25lbsSize: 9.21h x 6.14w x 0.84d

Author: G. AusielloISBN-10: 3540088601ISBN-13: 9783540088608Publisher: SpringerLanguage: EnglishPublished: 07/01/1978Pages: 510Format: PaperbackWeight: 1.59lbsSize: 9.21h x 6.14w x 1.05d

Author: Bernard RobinetISBN-10: 3540164421ISBN-13: 9783540164425Publisher: SpringerLanguage: EnglishPublished: 03/01/1986Pages: 380Format: PaperbackWeight: 1.37lbsSize: 9.54h x 6.56w x 0.91d

Author: Wolfgang HändlerISBN-10: 3540168117ISBN-13: 9783540168119Publisher: SpringerLanguage: EnglishPublished: 09/01/1986Pages: 424Format: PaperbackWeight: 1.34lbsSize: 9.21h x 6.14w x 0.89d

The Illiac IV was the first large scale array computer. As the fore- runner of today's advanced computers, it brought whole classes of scientific computations into the realm of practicality. Conceived initially as a grand experiment in computer science, the revolutionary architecture incorporated both...

Author: P. DeussenISBN-10: 354010576XISBN-13: 9783540105763Publisher: SpringerLanguage: EnglishPublished: 03/01/1981Pages: 266Format: PaperbackWeight: 0.86lbsSize: 9.21h x 6.14w x 0.58d