springer berlin heidelberg aug 2005 (80 risultati)

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seit kurzem forciert SAP die Verbreitung der Netweaver-Technologie und initiiert damit eine Gleichstellung von Java und ABAP als Sprachen zur SAP-Programmierung. Dieses Buch leistet einem erfahrenen Java-Programmierer die notwendige Hilfestellung beim Einstieg in die SAP-Welt. Einführend wird dazu die Architektur und Begrifflichkeit von SAP R/3 abgehandelt. Dies geschieht auf anspruchsvollem technischem Niveau in der Sprache eines Java-Entwicklers. Anschließend werden zwei unterschiedliche Ansätze zur Anbindung des konventionellen SAP R/3 an Java erläutert und verglichen. Anhand repräsentativer Schnittstellenszenarien werden dabei vollständige Codebeispiele für die Koppelungstechniken RFC/JCo und IDoc vorgestellt. Den Abschluss bildet eine fundierte Einführung in die Netweaver-Technologie. Sie behandelt Web Dynpro, Web Services, die Exchange Infrastructure und unterschiedliche Persistenzansätze. 292 pp. Deutsch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Informationen braucht jeder, und viele Unternehmen und Institutionen nutzen das Web, um Informationen in der Kundenkommunikation zur Verfügung zu stellen. Moderne Web-Technologien sind zudem eng mit der Entwicklung von Lernsystemen, E-Commerce-Systemen und Cyberworlds verknüpft.Im vorliegenden Buch werden Open-Source-basierte Techniken zurWeb-Kommunikation in fundierter Weise und einem Learning-by-Doing-Ansatz vermittelt. Zentrale Themen sind dabei Chatbots, Avatare, Virtuelle Messen und Rich-Media-Content sowie die Integration verschiedener Web-Funktionalitäten in einem Portal. Die Autoren vermitteln diese Technologie in einem thematischen Kontext, und zeigen damit verschiedene funktionelle Komponenten des WWW zur Kommunikation im Zusammenspiel. Nach der Lektüre dieses Werkes sollte der Leser imstande sein, selbständig ein dialogfähiges, animiertes Lern- und Informationsportal entwickeln, installieren und administrieren zu können. 452 pp. Deutsch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch bietet einen praktischen Wegweiser für die Planung, Organisation und Durchführung von Businessplänen. Die beschriebenen Vorgehensweisen stellen bewährte Methoden aus jahrelanger Praxis dar und berücksichtigen insbesondere die Bedürfnisse von mittelständischen Unternehmen sowie Unternehmensgründern. Die Inhalte sind methodisch strukturiert, pragmatisch und autodidaktisch aufgebaut. In einer einfachen Sprache kann sich der Leser die Fähigkeiten und Kompetenzen sowie Werkzeuge, zur Planung und Durchführung des Projekts 'Businessplan' aneignen. Die Methoden und Werkzeuge ermöglichen dem Leser, sich ein transparentes Bild über sein Unternehmen bzw. sein unternehmerisches Vorhaben zu verschaffen, Risiken bzw. Chancen realistisch abzuschätzen und sich auf Gespräche mit Kapitalgebern gezielt vorzubereiten. Die neue Auflage wurde überarbeitet und um ein Kapitel erweitert. 204 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri cation, software certi cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues new semantic models of programming languages and systems through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and application advances in the area. This volume contains the papers accepted for presentation at the 12th Int- national Static Analysis Symposium (SAS 2005) which was held 7 9 September 2005 at Imperial College London. A total of 66 papers were submitted; the Program Committee held an online discussion which led to the selection of 22 papers for presentation. The selection was based on scienti c quality, originality and relevance to the scope of SAS. Every paper was reviewed by at least 3 PC members or external referees. This volume also includes abstracts of talks given by the two invited speakers: Samson Abramsky FRS (University of Oxford) and Andrew Gordon (Microsoft Research, Cambridge). OnbehalfoftheProgramCommittee,theProgramChairwouldliketothank all of the authors who submitted papers and all of the external referees for their careful work in the reviewing process. The Program Chair would also parti- larly like to thank Igor Siveroni who provided local support for the conference management system and who helped in organizing the structure of this volume. 388 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is both an honor and a pleasure to hold the 27th Annual Meeting of the German Association for Pattern Recognition, DAGM 2005, at the Vienna U- versity of Technology, Austria, organized by the Pattern Recognition and Image Processing (PRIP) Group. We received 122 contributions of which we were able to accept 29 as oral presentations and 31 as posters. Each paper received three reviews, upon which decisions were made based on correctness, presentation, technical depth, scienti c signi cance and originality. The selection as oral or poster presentation does not signify a quality grading but re ects attractiveness to the audience which is also re ected in the order of appearance of papers in these proceedings. The papers are printed in the same order as presented at the symposium and posters are integrated in the corresponding thematic session. In putting these proceedings together, many people played signi cant roles which we would like to acknowledge. First of all our thanks go to the authors who contributed their work to the symposium. Second, we are grateful for the dedicated work of the 38 members of the Program Committee for their e ort in evaluating the submitted papers and inprovidingthe necessarydecisionsupport information and the valuable feedback for the authors. Furthermore, the P- gram Committee awarded prizes for the best papers, and we want to sincerely thank the donors. We were honored to have the following three invited speakers at the conf- ence: - Jan P. 532 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on Algebra and Co- gebra in Computer Science, was created to bring together researchers and practit- ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. A steering committee was put together by merging those of CMCS and WADT: Jiri Adamek, Ataru Na- gawa, Michel Bidoit, José Fiadeiro (co-chair), Hans-Peter Gumm, Bart Jacobs, Hans- Jörg Kreowski, Ugo Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Fr- cesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair), and Andrzej Tarlecki. 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 co- ductive methods; modal logics; relational systems and term rewriting. 468 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This yearmarks anexciting time in the XML-database space:XQueryis moving closer to becoming a full W3C Recommendation, and the Big 3 database vendors (IBM, Oracle, Microsoft) are expected to release XQuery support in theirrelationalDBMSs,joininganumberofexistingopensourceandcommercial products. Thus, we are very pleased to feature an industrial paper (describing theXML-speci cfeaturesofMicrosoftSQLServer)aswellas14researchpapers. XSym s focus this year was on building XML repositories, and papers discussed the following topics: indexing support for the evaluation of XPath and XQuery; benchmarks and algorithms for XQuery and XPath evaluation; algorithms for constraint satisfaction checking, information extraction, and subtree matching; and applications of XML in information systems. This year, XSym also coordinated its e orts with the Database and P- gramming Languages Symposium, DBPL 2005. The resulting program included not only presentations of the papers in this proceedings, but also a joint DBPL- XSym keynote talk by Giuseppe Castagna, developer of the CDuce language for XML processing, and a joint panel on open XML research problems and challenges. The organizers would like to express their gratitude to the XSym Program Committee and external reviewers for their e orts in providing very thorough evaluationsofthesubmittedpapersundersigni canttimeconstraintsandto- crosoftfortheirsponsorshipandfortheuseoftheMicrosoftConferenceMana- ment Toolkit. We would also like to thank Gavin Bierman and Christoph Koch, the organizersof DBPL, for their e orts andtheir willingness to coordinate with us. These proceedings are dedicated to Alberto Mendelzon who sadly passed awaythisyear.Asastrongsupporterofandactivecontributortothissymposium series he will always remain in our memory. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of Crypto 2005, the 25th Annual International Cr- tology Conference. The conference was sponsored by the International Assoc- tion for Cryptologic Research (IACR) in cooperation with the IEEE Computer ScienceTechnicalCommitteeonSecurityandPrivacyandtheComputerScien ce DepartmentoftheUniversityofCaliforniaatSantaBarbara.Theconferencewas held in Santa Barbara, California, August 14 18, 2005. Theconferencereceived178submissions,outofwhichtheprogramcommittee selected33forpresentation.Theselectionprocesswascarriedoutbytheprogram committee via an online meeting. The authors of selected papers had a few weeks to prepare nal versions of their papers, aided by comments from the reviewers. However, most of these revisions were not subject to any editorial review. This year, a Best Paper Award was given to Xiaoyun Wang, Yiqun Lisa Yin, and Hongbo Yu, for their paper Finding Collisions in the Full SHA-1. The conference program included two invited lectures. Ralph Merkle del- ered an IACR Distinguished Lecture, entitled The Development of Public Key Cryptography:a PersonalView; and Thoughts on Nanotechnology. Dan Boneh gave an invited talk, entitled Bilinear Maps in Cryptography. We continued the tradition of a rump session, featuring short, informal presentations (usually serious, sometimes entertaining, and occasionally both). The rump session was chaired this year by Phong Q. Nguy en. 584 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22 24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer s Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications. 304 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternationalSymposiumonSmartGraphics2005washeldfromAugust22 24, 2005 in the cloister Frauenwort h on the island of Frauenchiemsee, Germany. It was the sixth event in a series which originally started in 2000 as a AAAI Spring Symposium. Inresponsetotheoverwhelmingsuccessofthe2000symposium,itsorganizers decided to turn it into a self-contained event. With the support of IBM, the rst two International Symposia on Smart Graphics were held at the T.J. Watson Research Center in Hawthorne, NY in 2001 and 2002. The 2003 symposium moved to the European Media Lab in Heidelberg to underline the international character of the Smart Graphics enterprise and its community. The core idea behind these symposia is to bring together researchers and practitioners fromthe eld ofcomputer graphics,arti cialintelligence, cognitive science, graphic design and the ne arts. Each of these disciplines contributes to what we mean by the term Smart Graphics : the intelligent process of creating e ective, expressive and esthetic graphical presentation. Many Smart Graphics symposiaemphasizea particularaspectofthe eldin thecallfor papers.In2005 our focus was on Visual Analytics the art and science of analytical reasoning facilitated by interactive visual interfaces. 288 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Althoughcryptographyandsecuritytechniqueshavebeenaroundfor quitesome time, emerging technologies such as ubiquitous computing and ambient intel- gence that exploit increasingly interconnected networks, mobility and pers- alization put new requirements on security with respect to data management. As data is accessible anytime anywhere, according to these new concepts, it - comes much easier to get unauthorized data access. Furthermore, it becomes simpler to collect, store, and search personal information and endanger people s privacy. Therefore,researchin the area of secure data management is of growing importance, attracting the attention of both the data management and security researchcommunities.Theinterestingproblemsrangefromtraditionalones,such as access control (with all variations, like dynamic, context-aware, role-based), database security (e.g., e cient database encryption schemes, search over - crypted data, etc.), and privacy-preserving data mining to controlled sharing of data. In addition to the aforementioned subject, this year we also called for - pers devoted to secure data management in healthcare as a domain where data security and privacy issues are traditionally important. The call for papers - tracted 38 papers both from universities and industry. The ProgramCommittee selected 16 research papers for presentation at the workshop. These papers are also collected in this volume which we hope will serve you as a useful research and reference material. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheEleventh LMS-EPSRCComputational MathematicsandScienti cC- puting Summer School was held at the University of Durham, UK, from the 4th of July to the 9th of July 2004. This was the third of these schools to be held in Durham, having previously been hosted by the University of L- caster and the University of Leicester. The purpose of the summer school was to present high quality instructional courses on topics at the forefront of computational mathematics and scienti c computing research to postgra- ate students. The main speakers were Emmanuel Candes, Markus Melenk, Joe Monaghan and Alex Schweitzer. This volume presents written contributions three of our speakers which are more comprehensive versions of the high quality lecture notes which were distributedtoparticipantsduringthemeeting.Wearealsoextremelypleased that Angela Kunoth was able to make an additional contribution from the ill-fated rst week. At the time of writing it is now more than two years since we rst contacted theguestspeakersandduringthatperiodtheyhavegivensigni cantportions of their time to making the summer school, and this volume, a success. We wouldliketothankallofthemforthecarewhichtheytookinthepreparation and delivery of their material. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheAnnualConferenceoftheEuropeanAssociationforComputerScienceLogic (EACSL), CSL 2005, was held at the University of Oxford on 22 25 August 2005. The conference series started as a programme of International Workshops onComputerScienceLogic,andtheninits6thmeetingbecametheAnnualC- ference of the EACSL. This conference was the 19th meeting and 14th EACSL conference; it was organized by the Computing Laboratory at the University of Oxford. The CSL 2005 Programme Committee considered 108 submissions from 25 countries during a two-week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 33 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Matthias Baaz, Ulrich Berger, Maarten Marx and Anatol Slissenko; the papers provided by the invited speakers appear at the front of this volume. Instituted in 2005, the Ackermann Award is the EACSL Outstanding D- sertation Award for Logic in Computer Science. The award winners for the - augural year, Mikola j Bojanczyk, Konstantin Korovin and Nathan Segerlind, were invited to present their work at the conference. Citations for the awards, abstracts of the theses, and biographical sketches of the award winners are at the end of the proceedings. 584 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -One of the superb characteristics of Intelligent Data Analysis (IDA) is that it is an interdisciplinary eld in which researchers and practitioners from a number of areas are involved in a typical project. This also creates a challenge in which the success of a team depends on the participation of users and domain experts who need to interact with researchers and developers of any IDA system. All this is usually re ected in successful projects and of course on the papers that were evaluated by this year's program committee from which the nal program has been developed. In our call for papers, we solicited papers on (i) applications and tools, (ii) theory and general principles, and (iii) algorithms and techniques. We received a total of 184 papers, reviewing these was a major challenge. Each paper was assigned to three reviewers. In the end 46 papers were accepted, which are all included in the proceedings and presented at the conference. This year's papers re ect the results of applied and theoretical researchfrom a number of disciplines all of which are related to the eld of Intelligent Data Analysis. To have the best combination of theoretical and applied research and also provide the best focus, we have divided this year's IDA program into tu- rials, invited talks, panel discussions and technical sessions. 540 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1 3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci cation, analysis and veri cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers. We therefore owe special thanks to all members of both program committees of EPEW and WS-FM and their sub-referees for the excellent work they did in the short time they had. Additionally, this proceedings includes four invited papers, by Gianfranco Ciardo (University of California at Riverside), Peter G. Harrison (Imperial C- lege London), Cosimo Laneve (University of Bologna) and Wil van der Aalst (Eindhoven University of Technology). These contributions brought an ad- tional dimension to the technical and the scienti c merit of these workshops. Finally,ourthanksgototheUniversityofVersaillesSaint-Quentin-en-Yvelines, its Laboratoire PRiSM and the CNRS for hosting the workshops and providing technicaland nancialsupport. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995),Dagstuhl,Germany(1997),ElPaso,TX,USA(1999),Vienna,A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinte r- tions between active researchers interested in all aspects concerning declarative logic programming,nonmonotonic reasoning,knowledge representation, and the design of logic-based systems and database systems. LPNMR strives to enc- pass theoretical and experimental studies that lead to the implementation of practical systems for declarative programming and knowledge representation. The technical program of LPNMR 2005 comprised three invited talks that were given by Jur gen Angele, Thomas Eiter and Michael Kifer. All papers p- sented at the conference and published in these proceedings went through a rigorous review process which selected 25 research papers and 16 papers for the system and application tracks. Many individuals worked for the success of the conference. Special thanks are due to all members of the Program Committee and to additional reviewers for their e orts to produce fair and thorough evaluations of submitted papers. A special thanks is due to the University of Calabria Organizing Committee which made this event possible. Last, but not least, we thank the sponsoring institutions for their generosity. June 2005 Chitta Baral and Nicola Leone Program Co-chairs LPNMR 05 Organization LPNMR 2005 was organized by the Department of Mathematics at the Univ- sity of Calabria, Italy. 476 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2005) and the 9th International Workshop on Randomization and Computation(RANDOM2005),whichtookplaceconcurrentlyattheUniversity of California in Berkeley, on August 22 24, 2005. APPROX focuses on algori- mic and complexity issues surrounding the development of e cient approximate solutions to computationally hard problems, and APPROX 2005 was the eighth in the series after Aalborg (1998), Berkeley (1999), Saarbru cken (2000), Ber- ley (2001),Rome (2002),Princeton(2003),and Cambridge(2004).RANDOM is concerned with applications of randomness to computational and combinatorial problems, and RANDOM 2005 was the ninth workshop in the series foll- ing Bologna (1997), Barcelona (1998), Berkeley(1999), Geneva (2000), Berkeley (2001), Harvard (2002), Princeton (2003), and Cambridge (2004). Topics of interest for APPROX and RANDOM are: design and analysis of approximation algorithms, hardness of approximation, small space and data streaming algorithms, sub-linear time algorithms, embeddings and metric space methods, mathematical programming methods, coloring and partitioning, cuts and connectivity, geometric problems, game theory and applications, network designandrouting,packingand covering,scheduling,designandanalysisofr- domized algorithms, randomized complexity theory, pseudorandomness and - randomization,random combinatorialstructures, randomwalks/Markovchains, expander graphs and randomness extractors, probabilistic proof systems, r- dom projections and embeddings, error-correcting codes, average-case analysis, property testing, computational learning theory, and other applications of - proximation and randomness. The volume contains 20 contributed papers selected by the APPROX P- gram Committee out of 50 submissions, and 21 contributed papers selected by the RANDOM Program Committee out of 51 submissions. 512 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The flying machines proposed by Leonardo da Vinci in the fifteenth century, the se- reproducing automata theory proposed by John von Neumann in the middle of the twentieth century and the current possibility of designing electronic and mechanical systems using evolutionary principles are all examples of the efforts made by humans to explore the mechanisms present in biological systems that permit them to tackle complex tasks. These initiatives have recently given rise to the emergent field of b- inspired systems and evolvable hardware. The inaugural workshop, Towards Evolvable Hardware, took place in Lausanne in October 1995, followed by the successive events of the International Conference on Evolvable Systems: From Biology to Hardware, held in Tsukuba (Japan) in October 1996, in Lausanne (Switzerland) in September 1998, in Edinburgh (UK) in April 2000, in Tokyo (Japan) in October 2001, and in Trondheim (Norway) in March 2003. Following the success of these past events the sixth international conference was aimed at presenting the latest developments in the field, bringing together researchers who use biologically inspired concepts to implement real systems in artificial intelligence, artificial life, robotics, VLSI design, and related domains. The sixth conference consolidated this biennial event as a reference meeting for the community involved in bio-inspired systems research. All the papers received were reviewed by at least three independent reviewers, thus guaranteeing a high-quality bundle for ICES 2005. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti cial Intelligence, held September 11 14, 2005 in Koblenz, Germany. KI 2005 was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics that are all related to AI: tableau-based reasoningmethods (TABLEAUX), multi-agent s- tems (MATES), automated reasoningand knowledgerepresentation(FTP), and software engineering and formal methods (SEFM). The Program Committee received 113 submissions from 22 countries. Each paperwasreviewedbythreereferees;afteranintensivediscussionabouttheb- derline papers during the online meeting of the Program Committee, 29 papers were accepted for publication in this proceedings volume. The program included three outstanding keynote talks: Ian Horrocks (U- versityofManchester,UK),LucSteels(UniversityofBrusselsandSony)and- bastian Thrun (Stanford University), who covered topics like logical foundation, cognitive abilities of multi-agent systems and the DARPA Grand Challenge. KI 2005 also included two excellent tutorials: Techniques in Evolutionary Robotics and Neurodynamics (Frank Pasemann, Martin Hulse, Ste en Wis- mann and Keyan Zahedi) and Connectionist Knowledge Representation and Reasoning (Barbara Hammer and Pascal Hitzler). Many thanks to the tu- rial presenters and the tutorial chair Joachim Hertzberg. Peter Baumgartner, in hisroleasaworkshopchair,collected11workshopsfromallareasofAIresearch , whichalsoincludes ameeting ofthe GermanPriorityProgramonKooperierende Teams mobiler Roboter in dynamischen Umgebungen. I want to sincerely thank all the authors who submitted their work for c- sideration and the Program Committee members and the additional referees for theirgreate ortandprofessionalworkinthereviewandselectionprocess.Their names are listed on the following pages. 428 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For more than a decade, data warehousing and knowledge discovery technologies have been developing into key technologies for decision-making processes in com- nies. Since 1999, due to the relevant role of these technologies in academia and ind- try, the Data Warehousing and Knowledge Discovery (DaWaK) conference series have become an international forum where both practitioners and researchers share their findings, publish their relevant results and dispute in depth research issues and experiences on data warehousing and knowledge discovery systems and applications. The 7th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2005) continued series of successful conferences dedicated to these topics. In this edition, the conference tried to provide the right, logical balance between data warehousing and knowledge discovery. Regarding data warehousing, papers cover different relevant and still unsolved research problems, such as the modelling of ETL processes and integration problems, designing OLAP technologies from XML do- ments, modelling data warehouses and data mining applications together, impro- ments in query processing, partitioning and implementations. With regard to data mining, a variety of papers were presented on subjects including data mining te- niques, clustering, classification, text documents and classification, and patterns. These proceedings contain the technical papers that were selected for presentation at the conference. We received 196 abstracts, and finally received 162 papers from 38 countries, and the Program Committee eventually selected 51 papers, making an acceptance rate of 31.4 % of submitted papers. 560 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 3rd International Conference on Business Process Management (BPM 2005), organized by LORIA in Nancy, France, September 5-8, 2005. This year, BPM included several innovations with respect to previous e- tions, most notably the addition of an industrial program and of co-located workshops. This was the logical result of the signi cant (and still growing) - dustrial interest in the area and of the broadening of the research communities working on BPM topics. The interest in business process management (and in the BPM conference) was demonstrated by the quantity and quality of the paper submissions. We received over 176 contributions from 31 countries, accepting 25 of them as full papers (20 research papers and 5 industrial papers) while 17 contributions were accepted as short papers. In addition to the regular, industry, and short pres- tations invited lectures weregiven by Frank Leymannand Gustavo Alonso.This combination of research papers, industrial papers, keynotes, and workshops, all of very high quality, has shown that BPM has become a mature conference and the main venue for researchers and practitioners in this area. We would like to thank the members of the Program Committee and the reviewers for their e orts in selecting the papers. They helped us compile an excellent scienti c program. For the di cult task of selecting the 25 best papers (14% acceptance rate) and 17 short papers each paper was reviewed by at least three reviewers (except some out-of-scope papers). 492 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 held in Novosibirsk (Academgorodok), September 7 11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 September 4, 1993, in St. Pete- burg, September 12 15, 1995, in Yaroslavl, September, 9 12 1997, in Pushkin (near St. Petersburg) September, 6 10 1999, in Academgorodok (Novosibirsk), September 3 7, 2001, and in Nizhni Novgorod, September 15 19, 2003. The PaCT proceedings are published by Springer in the LNCS series. PaCT 2005 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(RAS), theInstituteofComputationalModelingalsooftheRASandtheStateTechnical University of Krasnoyarsk. The purpose of the conference was to bring together scientists working on theory, architecture, software, hardwareand the solution of large-scaleproblems in order to provide integrated discussions on Parallel Computing Technologies. The conference attracted about 100 participants from around the world. - thorsfrom20countriessubmitted78papers.Ofthosesubmitted, 38paperswere selected for the conference as regular ones; there was also 1 invited paper. In addition there were a number of posters presented. All the papers were inter- tionally reviewed by at least three referees. The demo session was organized for the participants. PaCT 2007 is planned to be held in Irlutsk, near lake Baikal, in September as usual. 482 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume collects the papers accepted for presentation at the 11th IMA Conference on the Mathematics of Surfaces, held at Loughborough University, 5th 7th September 2005. As with all earlier conferences in the series, contri- tors to this volume comefrom manycountries. The paperspresented herere ect the interest in a subject of relevance to mathematics, engineering,and computer science, especially in domains such as computer-aided design, computer vision, and computer graphics. The papers in the present volume include eight invited papers, as well as a larger number of submitted papers. They cover a range of ideas from - derlying theoretical tools to industrial and medical uses of surfaces. The latter category includes such diverse topics as surfaces in car design, and modelling of teeth, while the former includes papers on Voronoi diagrams, linear systems, estimation of curvatures on meshes, operators on meshes, intersection of sub- vision surfaces, approximate parameterization,condition numbers, Pythagorean hodographs,artifactsinB-splinesurfaces,B eziersurfacesofminimalenergy,line subdivision, subdivision surfaces, level sets and symmetry, the topology of - gebraic surfaces, curve analysis, interpolation with positivity, and conversion of cyclides to NURBS. Other papers concentrate on particular algorithms arising from applications, such as embedding graphs in manifolds, recoveryof 3D shape from shading, nding optimal feedrates for machining, detection of creases in range data, and lling holes in range data. We would like to thank all those who attended the conference and helped to make it a success. 492 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We welcome you to the 6th International Conference on E-Commerce and Web Technology (EC-Web 2005) held in Copenhagen, Denmark. It was held in conjunction with DEXA 2005. This conference was organized for the first time in Greenwich, UK, in 2000, and it has been able to attract an increasing number of participants and interest, reflecting the progress made in the field. As in the five previous years, EC-Web 2005 served as a forum that brought together researchers from academia and practitioners from industry to discuss the current state of the art in e-commerce and Web technologies. We are sure that inspirations and new ideas emerged from the intensive discussions that took place during the formal sessions and social events. Keynote addresses, research presentations and discussions during the conference helped to further develop the exchange of ideas among current researchers, developers and practitioners. The conference attracted 139 paper submissions and each paper was reviewed by three Program Committee members. The Program Committee selected 39 papers for presentation and publication (an acceptance rate of 28%). And we have to confess that this task was not that easy due to the high quality of the submitted papers. 400 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year's conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication. 600 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CASC 2005 continued a tradition started in 1998 of international c- ferences on the latest advances in the application of computer algebra systems (CASs) and methods to the solution of various problems in scienti c computing. The methods of scienti c computing play an important role in research and engineering applications in the natural and the engineering sciences. The sign- icance and impact of computer algebra methods and computer algebra systems for scienti c computing has increased considerably in recent times. Nowadays, suchgeneral-purposecomputeralgebrasystemsasMaple,Magma,Mathematica, MuPAD, Singular, CoCoA and others enable their users to solve the following three important tasks within a uniform framework: (a) symbolic manipulation; (b) numerical computation; (c) visualization. The ongoing development of such systems, including their integrationand ad- tation to modern software environments, puts them at the forefront in scienti c computing and enables the practicalsolution of many complex applied problems in the domains of natural sciences and engineering. Greece o ers excellent infrastructures for hosting international conferences, and this was a reason for us to choose the city of Kalamata, Greece, as the lo- tion for CASC 2005,the eighth conference in the sequenceof CASC conferences. The seven earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, and CASC 2004 were held, respectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzbekistan, in Konstanz, Germany, in the Crimea (Ukraine), in Passau (Germany), and in St. Petersburg, Russia, and they proved to be successful. 518 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume were presented at the 9th Workshop on Algorithms and Data Structures (WADS 2005). The workshop took place during August 15 17, 2005, at the University of Waterloo, Waterloo, Canada. The workshop alternateswith the ScandinavianWorkshopon Algorithm Theory(SWAT), c- tinuing the traditionof SWAT and WADS startingwith SWAT 1988and WADS 1989. From 90 submissions, the Program Committee selected 37 papers for p- sentation at the workshop. In addition, invited lectures were given by the f- lowing distinguished researchers: Allan Borodin and Max J. Egenhofer. OnbehalfoftheProgramCommittee,wewouldliketoexpressoursincere- preciation to the many persons whose e ort contributed to making WADS 2005 a success. These include the invited speakers,members of the ste- ing and ProgramCommittees, the authors who submitted papers, and the many referees who assisted the ProgramCommittee. We are indebted to Robert Kane forinstallingandmodifyingthesubmissionsoftware,maintainingthesubmission server and interacting with authors as well as for helping with the preparation of the program. August 2005 Frank Dehne, Alejandro Lop ez-Ortiz, and Jorg-R u diger Sack WADS Organization Organizing Institutions Steering Committee Frank Dehne Carleton University, Canada Ian Munro University of Waterloo, Canada J org-Rudig er Sack Carleton University, Canada Roberto Tamassia Brown University, Canada Program Co-chairs Frank Dehne Carleton University, Canada Alejandro Lop ez-Ortiz University of Waterloo, Canada J org-Rudig er Sack Carleton University, Canada Conference Chair Alejandro Lop ez-Ortiz University of Waterloo, Canada Program Committee Pankaj Agarwal Duke University, USA Michael Atkinson University of Otago, New Zealand Gill Barequet Technion, Israel Mark de Berg Tech. 464 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 determine the source of pirated video material. Furthermore, a number of companies are using watermarking as an enabling technology for broadcast monitoring services. Watermarking of digital cinema contentis anticipated. Future applications may also come from areas- related to digital rights management. For example, the use of watermarking to enhance legacy broadcast and communication systems is now being considered. IWDW 2005 o ers an opportunity to re ect upon the state of the art in digital watermarking as well as discuss directions for future research and applications. This year we accepted 31 papers from 74 submissions. This 42% acceptance rate indicates our commitment to ensuring a very high quality conference. We thankthemembersoftheTechnicalProgramCommitteeformakingthispossible by their timely and insightful reviews. Thanks to their hard work this is the rst IWDW at which the nal proceedings are available to the participants at the time of the workshop as a Springer LNCS publication. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternationalConferenceTSD 2005,the8theventin theseriesonText,Speech,and Dialogue, which originated in 1998, presented state-of-the-art technology and recent achievements in the eld of natural language processing. It declared its intent to be an interdisciplinary forum, intertwining research in speech and language processing with its applications in everyday practice. We feel that the mixture of different approaches and applications offered a great opportunity to get acquainted with the current act- ities in all aspects of language communication and to witness the amazing vitality of researchers from developing countries too. The nancial support of the ISCA (Inter- tional Speech Communication Association) enabled the wide attendance of researchers from all active regions of the world. Thisyear'sconferencewaspartiallyorientedtowardsmulti-modalhuman-computer interaction (HCI), which can be seen as the most attractive topic of HCI at the present time. In this way, we are involved in a rich complex of communicative activity, facial expressions, hand gestures, direction of gaze, to name but the most obvious ones. The interpretationof each user utterancedependson the context,prosody,facial expressions (e. g. brows raised, brows and gaze both raised) and gestures. Hearers have to adapt to the speaker (e. g. maintainingthe theme of the conversation,smiling etc. ). Research into the interaction of these channels is however limited, often focusing on the interaction between a pair of channels. Six signi cant scienti c results achieved in this area in the USA, Japan, Switzerland, Germany, The Netherlands, and the Czech Republic were presented by keynote speakers in special plenary sessions. Further, approx. 480 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 'Change is inevitable.' Embracing this quote we have tried to carefully exp- iment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. The major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the rst time, to also have a discovery challenge as a platform for collaborative work. This year the conference was co-located with ICML 2005, the 22nd Inter- tional Conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th International Joint Conference on Arti cial Intelligence. - location can be tricky, but we greatly bene ted from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ILP and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of 'statistical relational lea- ing'. Two more invited talks were exclusively given to ILP participants and were presented as a kind of stock-taking- ttingly so for the 15th event in a series-but also tried to provide a recipe for future endeavours. 448 pp. Englisch.