Computers - Computer Science

This book constitutes the refereed proceedings of three workshops on the application of evolutionary programming and algorithms in various domains; these workshops were held in conjunction with the 5th European Conference on Genetic Programming, EuroGP 2002, in Kinsale, Ireland, in April 2002.The 33 revised...

Thisvolumerecordstheproceedingsofthe?fthEuropeanconferenceonGenetic Programming(EuroGP2002)whichtookplaceinKinsale, IrelandonApril3-5, 2002, continuing an established tradition of yearly meetings among the most prominent researchers on Genetic Programming in Europe and beyond; their proceedings have always been published in the LNCS series by Springer-Verlag. EuroGP began life in Paris in 1998 as an...

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Rough Sets and Current Trends in Computing, RSCTC 2000, held in Banff, Canada in October 2000.The 80 revised papers presented together with an introduction and three keynote presentations have gone through...

Withtheincreasingdeploymentofplanningandschedulingsystems, developers oftenhavetodealwithverylargesearchspaces, real-timeperformancedemands, anddynamicenvironments. Completere?nementmethodsdonotscalewell, - kinglocalsearchmethodstheonlypracticalalternative. Adynamicenvironment alsopromotestheapplicationoflocalsearch, thesearchheuristicsnotnormally beinga?ectedbymodi?cationsofthesearchspace. Furthermore, localsearchis wellsuitedforanytimerequirementsbecausetheoptimizationgoalisimproved iteratively. Suchadvantagesareo?setbytheincompletenessofmostlocalsearch methods, whichmakesitimpossibletoprovetheinconsistencyoroptimalityof thesolutionsgenerated. Popularlocalsearchapproachesincludeevolutionary- gorithms, simulatedannealing, tabusearch, min-con?icts, GSAT, andWalksat. The?rstarticleinthisbook-aninvitedcontributionbyStefanVo -givesan overviewofthesemethods. ThebookisbasedonthecontributionstotheWorkshoponLocalSearchfor Planning&Scheduling, heldonAugust21,2000atthe14thEuropeanCon- renceonArti?cialIntelligence(ECAI2000)inBerlin, Germany. Theworkshop broughttogetherresearchersfromtheplanningandschedulingcommunitiesto explorethesetopicswithrespecttolocalsearchprocedures. Aftertheworkshop, asecondreviewprocessresultedinthecontributionstothepresentvolume. Vo 'soverviewisfollowedbytwoarticles, byHamiezandHaoandGerevini andSerina,...

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers...

Why is the question of the di?erence between living and non-living matter - tellectually so attractive to the man of the West? Where are our dreams about our own ability to understand this di?erence and to overcome it using the ?rmly established technologies rooted?...

Crypto 2001, the 21st Annual Crypto conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara....

This volume is the third in an ongoing series of books that deal with the state of the art in timetabling research. It contains a selection of the papers presented at the 3rd International Conference on the Practice and Theory of Automated Timetabling (PATAT...

We are pleased to bring you this collection of papers for the Ninth International Conference on Conceptual Structures (ICCS), representing continued excellence in conceptual structures research. We have adopted the title \Broadening the Base," acknowledging the importance of contributions from scholars in many research...

These are the pre-proceedings of CHES 2000, the second workshop on Cryp- graphicHardware andEmbedded Systems. The rst workshop, CHES'99, which was held at WPI in August 1999, was received quite enthusiastically by people in academia and industry who are interested in hardware and software...

The Fifth International Colloquium on Grammatical Inference (ICGI-2000) was heldinLisbononSeptember11-13th,2000.ICGI-2000wasthe?fthinaseriesof successfulbiennialinternationalconferencesintheareaofgrammaticalinference. Previous conferences were held in Essex, U.K.; Alicante, Spain; Montpellier, France; and Ames, Iowa, USA. This series of meetings seeks to provide a forum for the presentation and discussion of original research on...

Human performance in visual perception by far exceeds the performance of contemporary computer vision systems. While humans are able to perceive their environment almost instantly and reliably under a wide range of conditions, computer vision systems work well only under controlled conditions in limited...

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book....

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 "-...

This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, WEA 2006, held in Menorca, Spain, May 2006. The book presents 26 revised full papers together with 3 invited talks. The application areas addressed include most fields applying...

The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred and ?fteen participants from 19 countries attended GD 2005. In response to the call for papers the Program Committee received 101 subm- sions, each detailing...

Human-Computer Interaction (HCI) lies at the crossroads of many scienti?c areas including arti?cial intelligence, computer vision, face recognition, motion tracking, etc. In order for HCI systems to interact seamlessly with people, they need to understand their environment through vision and auditory input. Mo- over,...

The ?rst SKLOIS Conference on Information Security and Cryptography(CISC 2005) was organized by the State Key Laboratory of Information Security of the Chinese Academy of Sciences. It was held in Beijing, China, December 15-17,2005andwassponsoredbytheInstituteofSoftware, theChineseAcademy of Sciences, the Graduate School of the Chinese Academy...

This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, during September 25-27, 2005. The workshop was organized by the St. Petersburg Institute for Informatics and...

This volume contains the papers presented at the "Conference on Spatial Inf- mationTheory", heldinEllicottville, NewYorkinSeptember 2005.COSIT2005 was the 7th International Conference held under the COSIT name. When - drewFrankandhiscolleaguesorganizedthe?rstCOSITconferenceontheisland of Elba, Italy, in 1993, it represented the maturing of an international research community that...

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem, eitherto?ndthebestsolution, ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization...

The 9th International Conference on Financial Cryptography and Data Security (FC 2005) was held in the Commonwealth of Dominica from February 28 to March 3, 2005. This conference, organized by the International Financial Cryptography Association (IFCA), continues to be the premier international forum for...

This volume contains papers selected for presentation at the 7th Asia Pacific Conference on Web Technology (APWeb 2005), which was held in Shanghai, China during March 29-April 1, 2005. APWeb is an international conference series on WWW technologies and is the primary forum for...

The 7th International Colloquium on Grammatical Inference (ICGI 2004) was heldintheNationalCentreforScienti?cResearch"Demokritos", Athens, Greece on October 11-13, 2004. ICGI 2004 was the seventh in a series of successful biennial international conferences in the area of grammaticalinference. Previous meetings were held in Essex, UK; Alicante, Spain;...

Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4-6, 2003. This volume is the collection of the papers that...

This volume comprises papers from the following ?ve workshops that were part of the complete program for the International Conference on Extending Database Technology (EDBT) held in Heraklion, Greece, March 2004: - ICDE/EDBT Joint Ph. D. Workshop (PhD) - Database Technologies for Handling XML-information...

TheInternationalConferenceonMathematicalKnowledgeManagementhasnow reached its third edition, creating and establishing an original and stimulating scienti?ccommunitytransversaltomanydi?erent?eldsandresearchtopics. The broad goal of MKM is the exploration of innovative, semantically enriched, d- ital encodings of mathematical information, and the study of new services and tools exploiting the machine-understandable nature of...

This volume contains revised papers that were presented at the international workshop entitled Computational Methods for Algebraic Spline Surfaces ("COMPASS"), which was held from September 29 to October 3, 2003, at Schlo Weinberg, Kefermarkt (A- tria). The workshop was mainly devoted to approximate algebraic...

AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation, wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat ] KarlsruheandJohnCa- bell of University College London with the initial title Arti?cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the...

It gives us great pleasure to present the proceedings of the 4th Workshop on Algorithms in Bioinformatics (WABI 2004) which took place in Bergen, Norway, September 17-21, 2004. The WABI 2004 workshop was part of a ?- conference meeting, which in addition to WABI,...

We are delighted to present the proceedings of DAGM 2004, and wish to - press our gratitude to the many people whose e?orts made the success of the conference possible. We received 146 contributions of which we were able to - cept 22 as...

The 7th International Conference on Principles of Distributed Systems (OPODIS2003)washeldduringDecember10-13,2003atLaMartinique, French WestIndies, andwasco-organizedbytheUniversit edesAntillesetdelaGuyane, La Martinique, French West Indies and by Chalmers University of Techn- ogy, Sweden. It continued a tradition of successful conferences with friendly and pleasant atmospheres. The earlier organizations of OPODIS...

These are the proceedings of CHES 2004, the 6th Workshop on Cryptographic Hardware and Embedded Systems. For the ?rst time, the CHES Workshop was sponsored by the International Association for Cryptologic Research (IACR). This year, the number of submissions reached a new record. One...

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative...

This volume contains the proceedings of the 25th International Conference on Application and Theory of Petri Nets (ICATPN 2004). The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the...

Thisvolumeconsistsofpapersselectedfromthe presentationsgivenatthe Int- national Workshop and Symposium on "Applications of Graph Transformation with Industrial Relevance" (AGTIVE 2003). The papers underwent up to two additional reviews. This volume contains the revised versions of these papers. AGTIVE2003wasthesecondeventoftheGraphTransformationcommunity. The aim of AGTIVE is to unite people from...

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited...

Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday'ssystems.Asaconsequence, thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri?cation. Formal methods and declarative technologies have recently attracted a growing interest as...

Privacy in statistical databases is about ?nding tradeo's to the tension between the increasing societal and economical demand for accurate information and the legal and ethical obligation to protect the privacy of individuals and enterprises, which are the source of the statistical data. Statistical...

The fundamental aspect of the Internet architecture that distinguishes it from other network technologies (such as X. 25 and ATM) is that it is c- nectionless (vs. connection-oriented) and stateless (vs. stateful). The heated debateofwhetherconnection-orientedorconnectionlessarchitectureisbetter has lasted for several decades. Proponents of the connectionless...

Algebraic projective geometry, with its multilinear relations and its embedding into Grassmann-Cayley algebra, has become the basic representation of multiple view geometry, resulting in deep insights into the algebraic structure of geometric relations, as well as in efficient and versatile algorithms for computer vision...

This volume is dedicated largely to the performance-oriented design of modern computernetworks, bothwiredandwireless. ItistheconsequenceoftheTutorial Session which was held on 12th October 2003, preceeding the IEEE Computer Society's Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, held in Orlando, Florida. In addition...

Biomedical research is at a critical point at present. The research has led to an enormous amount of data and models describing these data, but - proachesforapplication, formalizationand integrationof this knowledgefrom the molecular to the system level are still topics of ongoing research and...

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected...

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences...

Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the documentation of scientific results achieved within the European COST Action 274, TARSKI, this book advances the understanding of relational structures and the use of relational methods...

This volume contains the proceedings of DAIS 2003, the 4th IFIP WG 6.1 - ternational Conference on Distributed Applications and Interoperable Systems. The conference was held in Paris on November 17-21, 2003. The event was the fourth meeting of this conference series, which is...

This volume contains 18 papers that were presented at the Eighth Asian C- puting Science Conference (ASIAN 2003) in Mumbai in December 2003. The theme of the conference this year was programming languages and distributed computation. Papers were invited on all aspects of theory,...

Fast Software Encryption is now a 10-year-old workshop on symmetric crypt- raphy, including the design and cryptanalysis of block and stream ciphers, as well as hash functions. The ?rst FSE workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in...

The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on October 13-15 2003. The center is composed of three large historical and monumental buildings not far from one another, forming a united complex...