Springer berlin heidelberg jul 2005 (82 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book is a collection of papers presented at UCS 2004, held on November 8¿9 in Tokyo. UCS is a series of international symposia sponsored by the special interest group Ubiquitous Computing Systems of the Information Processing Society of Japan. The rst UCS was held on November 17, 2003 in Kyoto. It was held as an invitation-based symposium. UCS 2004 was the second of the series, and the rst submission-based conference. UCS focuses on the emerging researcharea of ubiquitous computing systems. This emergence is an outcome of the rapid evolution in smart appliances and devices, as well as tremendous advances in wireless networks and mobile c- puting.Inthelastfewyears,variousapplicationsofinformationtechnologyhave been changing our everyday life rapidly and to a large extent. The best ex- ple is the use of mobile phones. By getting new sensing devices, cameras, their application eld is no longer limited to communication but covers data c- munications including Internet access, and data and program up-/downloading, and so on. The symposium o ered the opportunity for in-depth exploration of the most recent research and development ndings in the eld of ubiquitous computing. The submitted papers presented at UCS 2004 suggest such a direction to future technologies, including mobile ad hoc networks, sensor networks and conte- aware technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the tutorial papers of the Summer School 'Reasoning Web,'July25-29,2005. TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE 'Reasoning on the Web with Rules and Semantics' , funded by the EU Commission and by the Swiss Federal O ce for Edu- tion and Science within the 6th Framework Programme under the project ref- ence number 506779. The objective of the school was to provide an introduction into methods and issues of the Semantic Web, a major endeavor in current Web research, where the World Wide Web Consortium W3C plays an important role. The main idea of the Semantic Web is to enrich Web data with meta-data carrying a 'meaning' of the data and allowing Web-based systems to reason about data (and meta-data). The meta-data used in Semantic Web applications is usually linked to a conceptualization of the application domain shared by di erent applications. Such a conceptualization is called an ontology and sp- i es classes of objects and relations between them. Ontologies are de ned by ontology languages, based on logic and supporting formal reasoning. Just as the current Web is inherently heterogeneous in data formats and data semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. - deed, any single form of reasoning turns out to be insu cient in the Semantic Web. 332 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 17th International Workshop on Languages and Compilers for High P- formance Computing was hosted by Purdue University in September 2004 on Purdue campus in West Lafayette, Indiana, USA. The workshop is an annual international forum for leading research groups to present their current research activities and the latest results, covering languages, compiler techniques, r- time environments, and compiler-related performance evaluation for parallel and high-performance computing. Eighty-six researchers from Canada, France, Japan, Korea, P. R. China, Spain, Taiwan and the United States attended the workshop. A new feature of LCPC 2004 was its mini-workshop on Research-Compiler Infrastructures. Representatives from four projects, namely Cetus, LLVM, ORC and Trimaran, gavea 90-minute long presentation each. In addition, 29 research papers were presented at the workshop. These papers were reviewed by the p- gram committee. External reviewers were used as needed. The authors received additional comments during the workshop. The revisions after the workshop are now assembled into these nal proceedings. A panel sessionwasorganizedby Samuel Midki onthe questionof What is GoodCompilerResearch Theory,PracticeorComplexity Theworkshopalso had the honor and pleasure to have two keynote speakers, Peter Kogge of the University of Notre Dame and David Kuck of Intel Inc., both pioneers in high performance computing. Peter Kogge gave a presentation titled Architectures and Execution Models: How New Technologies May A ect How LanguagesPlay on Future HPC Systems . David Kuck presented Intel s vision and roadmap for parallel and distributed solutions. 500 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Internet has now become an integral part of everyday life for hundreds of millions of people around the world. The uses of the Internet have augmented commerce, communication, education, governance, entertainment, health care, etc. E-mail has become an indispensable part of life; the Web has become an indispensable source of information on just about everything; people now use governmentWebsitestoreceiveinstructionsandinformation,and lepaperwork with the government; many major online businesses have been created, such as Amazon, eBay, Google, Travelocity, eTrade, etc. However, the uses of the Internet have also had serious negative e ects, - cluding spam, the spreading of viruses and worms, spyware, phishing, hacking, online fraud, invasions of privacy, etc. Viruses and worms often bring down tens of millions of computers around the world; many people get duped into furni- ing their personal identi cations, and bank and insurance account information, etc. ; hackers break into government and corporation computers to steal cri- cal data; unsubstantiated rumors about individuals or organizations spread like wild re on the Internet, etc. Further, the uses of the Internet are creating new paradigms in areas such as copyright, governance, etc. The widespread use of peer-to-peer le sharing systems, started by Napster,is forcing a reassessment of the value of holding copyright on digital media. Internet postings by vocal citizens to the Web sites of the news media, governmento ces, and elected g- ernment o cials are impacting government policies and swaying the opinions of other citizens. The aim of the International Conference on Human. 396 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -- semantic caching - data warehousing and semantic data mining - spatial, temporal, multimedia and multimodal semantics - semantics in data visualization - semantic services for mobile users - supporting tools - applications of semantic-driven approaches These topics are to be understood as speci cally related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearance of the journal issues looks like the books from the well-known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of best papers from major conferences addressing data semantics issues. Special issues, focusing on a speci c topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text. 232 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 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). The symposium was held at Airth Castle, Scotland, UK, from July 26th to 29th, 2005, just prior to the IJCAI 2005 conference in Edinburgh. Previous SARA symposia took place at JacksonHole in Wyoming, USA (1994),Ville d Estrel in Qubec, Canada (1995), Asilomar in California, USA (1998), Horseshoe Bay, Texas, USA (2000), and Kananaskis, Alberta, Canada (2002). This was then the rst time that the s- posium was held in Europe. Continuing the tradition started with SARA 2000, the proceedings have been published in the LNAI series of Springer. Abstractions, reformulations and approximations (AR&A) have found app- cationsin avarietyofdisciplines andproblems,including constraintsatisfaction, design, diagnosis, machine learning, planning, qualitative reasoning, scheduling, resource allocation and theorem proving, but are also deeply rooted in philo- phy and cognitive science. The papers in this volume capture a cross-section of the various facets of the eld and of its applications. One of the primary uses of AR&A is oriented to overcome computational intractability. AR&A techniques, however, have also proved useful for knowledge acquisition, explanation and other applications, as papers in this volume also illustrate. 392 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternetisamassiveglobalnetworkofover700millionusersanditisadding users at the rate of 300,000 per day. This large, distributed, and everchanging network poses a challenge to researchers: How does one study, model, or und- stand such a decentralized, constantly evolving entity Research in large-scale networks seeks to address this question, and the unique nature of these networks calls for a range of techniques from a host of disciplines. The workshop Com- natorial and Algorithmic Aspects of Networking and the Internet (CAAN 2004) provided a forum for the exchange of ideas on these topics. The primary goals of the workshop were to bring together a diverse cro- section of researchers in an already scattered and distinct community and also to provide a snapshot of the cutting-edge research in this eld. We succeeded in these goals: among the participants were mathematicians, computer scientists in theory and algorithms, computer scientists in networks, physicists, and en- neers, as well as researchers from Europe and North America, participants from industry and academia, students, and established researchers; and among the papers were some new and surprising results as well as some introductions to the foundations of the eld. Theworkshopprogramfeatured12peer-reviewedpapersbracketedbytwoho- longinvitedsurveytalks anopeningtalkbyAshishGoelandaclosingtalkby- dreiBroder.TopicscoveredbythetalksrangedfromtheWebgraphtogametheory tostringmatching,allinthecontextoflarge-scalenetworks.Thisvolumecollects togetherthetalksdeliveredattheworkshopalongwithanumberofsurveyarticles toroundoutthepresentationandgiveacomprehensiveintroductiontothetopic. 220 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 research, exploration, and debate regarding security in the context of finance and commerce. The conference title and scope was expanded this year to cover all aspects of securing transactions and systems. The goal is to build an interdisciplinary meeting, bringing together cryptographers, data-security specialists, business and economy researchers, as well as economists, IT professionals, implementers, and policy makers. We think that this goal was met this year. The conference received 90 submissions and 24 papers were accepted, 22 in the Research track and 2 in the Systems and Applications track. In addition, the conference featured two distinguished invited speakers, Bezalel Gavish and Lynne Coventry, and two interesting panel sessions, one on phishing and the other on economics and information security. Also, for the first time, some of the papers that were judged to be very strong but did not make the final program were selected for special invitation to our Works in Progress (Rump) Session that took place on Wednesday evening. Three papers were highlighted in this forum this year, and short versions of the papers are included here. As always, other conference attendees were also invited to make presentations during the rump session, and the evening lived up to its colorful reputation. 396 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group's activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other's results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering. 416 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation of very large databases of scienti c and commercial information. The need to analyze these masses of data has led to the evolution of the new eld knowledge discovery in databases (KDD) at the intersection of machine learning, statistics and database technology. Being interdisciplinary by nature, the eld o ers the opportunity to combine the expertise of di erent elds intoacommonobjective.Moreover,withineach elddiversemethodshave been developed and justi ed with respect to di erent quality criteria. We have toinvestigatehowthesemethods cancontributeto solvingthe problemofKDD. Traditionally, KDD was seeking to nd global models for the data that - plain most of the instances of the database and describe the general structure of the data. Examples are statistical time series models, cluster models, logic programs with high coverageor classi cation models like decision trees or linear decision functions. In practice, though, the use of these models often is very l- ited, because global models tend to nd only the obvious patterns in the data, 1 which domain experts already are aware of . What is really of interest to the users are the local patterns that deviate from the already-known background knowledge. David Hand, who organized a workshop in 2002, proposed the new eld of local patterns. 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The SAMOS workshop is an international gathering of highly quali ed researchers from academia and industry, sharing in a 3-day lively discussion on the quiet and - spiring northern mountainside of the Mediterranean island of Samos. As a tradition, the workshop features workshop presentations in the morning, while after lunch all kinds of informal discussions and nut-cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the sci- ti c arena. Consequently, the workshop provides the participants with an environment where collaboration rather than competition is fostered. The earlier workshops, SAMOS I-IV (2001-2004), were composed only of invited presentations. Due to increasing expressions of interest in the workshop, the Program Committee of SAMOS V decided to open the workshop for all submissions. As a result the SAMOS workshop gained an immediate popularity; a total of 114 submitted papers were received for evaluation. The papers came from 24 countries and regions: Austria (1), Belgium (2), Brazil (5), Canada (4), China (12), Cyprus (2), Czech Republic (1), Finland (15), France (6), Germany (8), Greece (5), Hong Kong (2), India (2), Iran (1), Korea (24), The Netherlands (7), Pakistan (1), Poland (2), Spain (2), Sweden (2), T- wan (1), Turkey (2), UK (2), and USA (5). We are grateful to all of the authors who submitted papers to the workshop. 496 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was est- lishedin1986withtwomaingoals:1)tofosterfundamentalandappliedresearch in the application of Arti cial Intelligence (AI) techniques to medical care and medical research,and 2) to providea forum at biennial conferences for reporting signi cant results achieved. Additionally, AIME assists medical industrialists to identify newAItechniqueswithhighpotentialforintegrationintonewproducts. Amajoractivityofthissocietyhasbeenaseriesofinternationalconferencesheld biennially over the last 18 years: Marseilles, France (1987), London, UK (1989), Maastricht, Netherlands (1991), Munich, Germany (1993), Pavia, Italy (1995), Grenoble, France (1997), Aalborg, Denmark (1999), Cascais, Portugal (2001), Protaras, Cyprus (2003). The AIME conference provides a unique opportunity to present and improve the international state of the art of AI in medicine from both a research and an applications perspective. For this purpose, the AIME conference includes invited lectures, contributed papers, system demonstrations, a doctoral cons- tium, tutorials, and workshops. The present volume contains the proceedings of AIME 2005, the 10th conference on Arti cial Intelligence in Medicine, held in Aberdeen, Scotland, July 23-27, 2005. In the AIME 2005 conference announcement, we encouraged authors to s- mit original contributions to the development of theory, techniques, and - plications of AI in medicine, including the evaluation of health care programs. Theoretical papers were to include presentation or analysis of the properties of novelAImethodologiespotentiallyusefultosolvingmedicalproblems.Technical papers were to describe the novelty of the proposed approach, its assumptions, bene ts, and limitations compared with other alternative techniques. Appli- tion papers were to present su cient information to allow the evaluation of the practical bene ts of the proposed system or methodology. 572 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is our great pleasure to introduce the papers of the proceedings of the 9th - ternational Symposium on Spatial and Temporal Databases - SSTD 2005. This year's symposium continues the tradition of being the premier forum for the presentation of research results and experience reports on leading edge issues of spatialandtemporaldatabasesystems, including data models,systems,appli- tions and theory. The mission of the symposium is to share innovative solutions that ful ll the needs of novel applications and heterogeneous environments and identify new directions for future research and development. SSTD 2005 gives researchers and practitioners a unique opportunity to share their perspectives with others interested in the various aspects of database systems for managing spatial and temporal data and for supporting their applications. A total of 77 papers were submitted this year from several countries. After a thorough review process, the program committee accepted 24 papers covering a variety of topics, including indexing techniques and query processing, mobile environments and moving objects, and spatial and temporal data streams. We are very pleased with the variety of the symposium's topics, and we are proud of the resulting strong program. 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the nal proceedings of the 2004 Metainformatics Sym- sium (MIS 2004). The event was held during 15 18 September 2004 in Salzburg, Austria at Salzburg Research. MIS is an annual event focusing on nding common ground shared by - searchers and practitioners in many di erent computer science areas who may use similar methods to achieve di erent ends. The goal is to nd useful abstr- tions, notations, analytical frameworks, formalisms, and systems that improve ourunderstandingoftheunderlyingstructuresofvariousdisciplinesandfamilies of systems within computer science. Ideally these constructs should have usef- ness in conveying knowledge and understanding across disciplinary boundaries. The proceedings of previous MIS events were also published by Springer in the Lecture Notes in Computer Science series: LNCS 3002 (2003), LNCS 2641 (2002), LNCS 2266 (2001), and LNCS 1903 (2000). As with previous events in the MIS series, MIS 2004 attracted quality papers and brought together researchers from many di erent elds within computer s- ence.WeexperiencedinterestingpresentationsandlivelydiscussionsinSalzburg. I hope that you will nd the papers contained in this volume as interesting as the other members of the Program Committee and I have. This volume would not have been possible without the help and assistance of many people. In particular, I would like to acknowledge the assistance of the Springereditors,AnnaKramerandChristineGun ther,andtheExecutiveEditor of the LNCS series, Alfred Hofmann. 236 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains invited and contributed papers presented at the 9th International Summer School Neural Nets E.R. Caianiello on Nonlinear Speech Processing: Al- rithms and Analysis, held in Vietri sul Mare, Salerno, Italy, during September 13 18, 2004. The aim of this book is to provide primarily high-level tutorial coverage of the elds related to nonlinear methods for speech processing and analysis, including new approaches aimed at improving speech applications. Fourteen surveys are offered by specialists in the eld. Consequently, the volume may be used as a reference book on nonlinear methods for speech processing and an- ysis. Also included are fteen papers that present original contributions in the eld and complete the tutorials. The volume is divided into ve sections: Dealing with Nonlinearities in Speech S- nal, Acoustic-to-Articulatory Modeling of Speech Phenomena, Data Driven and Speech Processing Algorithms, Algorithms and Models Based on Speech Perception Mec- nisms, and Task-Oriented Speech Applications. Dealing with Nonlinearities in Speech Signals is an introductory section where n- linear aspects of the speech signal are introduced from three different points of view. The section includes three papers. The rst paper, authored by Anna Esposito and Maria Marinaro, is an attempt to introduce the concept of nonlinearity revising several nonl- ear phenomena observed in the acoustics, the production and the perception of speech. Also discussed is the engineering endeavor to model these phenomena. 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15 17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant - mospheres. The earlier organizationsof OPODIS were held in Luzarches(1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002) and La Martinique (2003). OPODIS is an open forum for exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Followingthetraditionofthepreviousorganizations,the2004programwasc- posed of high-quality contributed and invited papers by experts of international caliberinthisscienti carea. Thetopics ofinterestwerethetheory,speci cation, design and implementation of distributed systems, which include: - peer-to-peer systems, cluster and grid-based computing - fault tolerance and self-stabilizing systems -real-timeandembeddedsystems - coordination and consistency protocols - distributed and multiprocessor algorithms - communication and synchronization protocols - self-stabilization, reliability and fault tolerance - performance analysis of distributed algorithms and systems - speci cation and veri cation of distributed systems - security issues in distributed computing and systems - distributed collaborative environments - location- and context-aware systems - overlay network architectures In response to the call for papers for OPODIS 2004, in total 102 papers in the above areas were submitted from 28 countries from over the world. Each paper was reviewed by three reviewers, and judged according to scienti c and presentationquality,originality andrelevance to the conference topics. Then the ProgramCommitteeselected30papers. Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr. 480 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The rst workshop 'Engineering Societies in the Agents World' (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti cial Intelligence (ECAI 2000) in Berlin. It was launched by a group of - searchers who thought that the design and development of MASs (multi-agent systems) not only needed adequate theoretical foundations but also a call for new techniques, methodologies and infrastructures to develop MASs as arti cial societies. The second ESAW was co-located with the European Agent Summer School (ACAI 2001) in Prague, and mostly focused on logics and languages, middleware, infrastructures and applications. In Madrid, the third ESAW c- centrated on models and methodologies and took place with the 'Cooperative Information Agents' workshop (CIA 2002). The fourth ESAW in London was the rst one that ran as a stand-alone event: apart from the usual works on methodologies and models, it also stressed the issues of applications and m- tidisciplinary models. Based on the success of previous ESAWs, and also given that the di cult challenges in the construction of arti cial societies are not yet fully addressed, the fth ESAW workshop was organized in the same spirit as its predecessors. Inparticular,ESAW2004tookplaceattheIRITlaboratoryoftheUniversit e 'Paul Sabatier' (Toulouse, France), at the end of October 2004. It was not - located with any other scienti c event, in the same way as ESAW 2003. ESAW 2004 remained committed to the use of the notion of MASs as the seeds for animated, constructive and highly interdisciplinary discussions about techno- gies,methodologiesandtoolsfortheengineeringofcomplexdistributedsystems. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 19th Annual IFIP Working Group 11.3 Working Conference on Data and Applications Security was held August 7 10, 2005 at the University of C- necticut in Storrs, Connecticut. The objectives of the working conference were to discuss in depth the current state of the researchand practice in data and - plicationsecurity,enableparticipantstobene tfrompersonalcontactwithother researchers and expand their knowledge, support the activities of the Working Group, and disseminate the research results. This volume contains the 24 papers that were presented at the working c- ference. These papers, which had been selected from 54 submissions, were rig- ously reviewed by the Working Group members. The volume is o ered both to document progressand to provideresearcherswith a broadperspective of recent developments in data and application security. A special note of thanks goes to the many volunteers whose e orts made the working conference a success. We wish to thank Divesh Srivastava for agreeing to deliver the invited talk, Carl Landwehr and David Spooner for organizing the panel, the authors for their worthy contributions, and the referees for their time and e ort in reviewing the papers. We are grateful to T. C. Ting for serving as the General Chair, Steven Demurjian and Charles E. Phillips, Jr. for their hard work as Local Arrangements Chairs, and Pierangela Samarati, Working Group Chair, for managing the IFIP approval process. We would also like to acknowledge Sabrina De Capitani di Vimercati for managing the conference s Web site. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers presented at the 2nd International Conference on Modeling Decisions for Arti cial Intelligence (MDAI 2005), held in Tsukuba, Japan, July 25-27. This conference follows MDAI 2004 (held in Barcelona, Catalonia, Spain), the proceedings of which were also published in the LNAI series (Vol. 3131). The aim of this conference was to provide a forum for researchers to discuss about theory and tools for modeling decisions, as well as applications that - compass decision-making processes and information fusion techniques. In this second edition, special focus was given to applications related to risk, security and safety. The organizers received 118 papers, from 14 di erent countries, 40 of which are published in this volume. Each submission received at least two reviews from the Program Committee and a few external reviewers. We would like to express our gratitude to them for their work. The plenary talks presented at the conference are also included in this volume. The conference was supported by the Department of Risk Engineering of the University of Tsukuba, the Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT), the Catalan Association for Arti cial Intelligence (ACIA), the European Society for Fuzzy Logic and Technology (EUSFLAT) and the Generalitat de Catalunya (AGAUR 2004XT 0004). 488 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, January 5-9, 2005. This series of workshops was initiated in 1990 to encourage further research on the theoretical aspects of genetic algorithms, and the workshops have been held biennially ever since. The papers presented at these workshops are revised, edited and published as volumes during the year following each workshop. This series of (now eight) volumes provides an outstanding source of reference for the theoretical work in this eld. At the same time this series of volumes provides a clear picture of how the theoretical research has grown and matured along with the eld to encompass many evolutionary computation paradigms including evolution strategies (ES), evolutionary programming (EP), and genetic programming (GP), as well as the continuing growthininteractionswith other elds suchas mathematics,physics, and biology. Atraditionoftheseworkshopsisorganizetheminsuchawayastoencourage lots of interaction and discussion by restricting the number of papers presented and the number of attendees, and by holding the workshop in a relaxed and informal setting. This year's workshop was no exception. Thirty-two researchers met for 3 days to present and discuss 16 papers. The local organizer was Lothar Schmitt who, together with help and support from his university, provided the workshop facilities. Aftertheworkshopwasover,theauthorsweregiventheopportunitytorevise their papers based on the feedback they received from the other participants. 332 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents research performed as part of the EU project on biomimetic multimodal learning in a mirror neuron-based robot (MirrorBot) and contri- tions presented at the International AI-Workshop on NeuroBotics. The ov- all aim of the book is to present a broad spectrum of current research into biomimetic neural learning for intelligent autonomous robots. There is a need for a new type of robot which is inspired by nature and so performs in a more exible learned manner than current robots. This new type of robot is driven by recent new theories and experiments in neuroscience indicating that a biological and neuroscience-oriented approach could lead to new life-like robotic systems. The book focuses on some of the research progress made in the MirrorBot project which uses concepts from mirror neurons as a basis for the integration of vision, language and action. In this book we show the development of new techniques using cell assemblies, associative neural networks, and Hebbian-type learning in order to associate vision, language and motor concepts. We have developed biomimetic multimodal learning and language instruction in a robot to investigate the task ofsearching for objects. As well as the researchperformed in this area for the MirrorBot project, the second part of this book incorporates signi cant contributions from other research in the eld of biomimetic robotics. This second part of the book concentrates on the progress made in neuroscience inspired robotic learning approaches (in short: NeuroBotics). 400 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 18-19 October 2004 in Berlin, Germany. The workshop was organized by Fra- hofer FOKUS with the help of partners of the EU-funded Autonomic Com- nication Coordination Action - IST-6475 (ACCA), and under technical sp- sorship of IFIP WG6. 6 - Management of Networks and Distributed Systems. The purpose of this workshop was to discuss Autonomic Communication-a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element's autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in uenced or changed, and how, in turn, these a ect other elements, groups and the network. The highly interactive and exploratory nature of WAC 2004 de ned its format - six main sessions grouped in three blocks, each block followed by a panel with all speakers of the previous block as panellists and session chairs as panel moderators. The rstpanelaimedtohighlightthemainprinciplesguidingresearchinal- rithms,protocolsandmiddleware;thesecondpanelinvestigatedgrandchallenges of network and service composition; the third panel had to answer the question 'HowDoestheAutonomicNetworkInteractwiththeKnowledgePlane '. Panel reports were compiled by panel moderators and conclude this volume. 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 13th International Conference on Conceptual Structures (ICCS 2005) was held in Kassel, Germany, during July 17 22, 2005. Information about the c- ference can be found atThe title of this year s conference, Common Semantics for Sharing Kno- edge ,waschosentoemphasizeontheonehandtheoverallaimofanyknowledge representationformalism, to support the sharing of knowledge, and on the other hand the importance of a common semantics to avoiddistortion of the meaning. We understand that both aspects are of equal importance for a successful future of the researcharea of conceptual structures. We are thus happy that the papers presentedatICCS2005addressedbothapplicationsandtheoreticalfoundations. Sharing knowledge can also be understood in a separate sense. Thanks to the German Research Foundation, DFG, we were able to invite nine inter- tionally renowned researchers from adjacent research areas. We had stimulating presentationsandlively discussions,with bidirectionalknowledgesharing.Ev- tually the ground can be laid for establishing common semantics between the respective theories. This year, 66 papers were submitted, from which 22 were selected to be included in this volume. In addition, the rst nine papers present the invited talks.Wewishtoexpressourappreciationtoalltheauthorsofsubmittedpapers, to the members of the Editorial Board and the Program Committee, and to the external reviewers for making ICCS 2005 a valuable contribution to the knowledge processing research eld. 484 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on two international workshops on trust in agent societies, held at AAMAS 2003 and AAMAS 2004, this book draws together carefully revised papers on trust, reputation, and security in agent society. Besides workshop papers, several contributions from leading researchers in this interdisciplinary field were solicited to complete coverage of all relevant topics.The 13 papers presented take into account issues from multiagent systems, artificial intelligence, cognitive science, game theory, and social and organizational science. Theoretical topics are addressed as well as applications in human-computer interaction and e-commerce. 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises the proceedings of the 4th Conference on Advanced - cryption Standard, AES State of the Crypto Analysis, which was held in Bonn, Germany, during 10 12 May 2004. The conference followed a series of events organized by the US National - stitute of Standards and Technology (NIST) in order to hold an international competition to decide on an algorithm to serve as the Advanced Encryption Standard (AES). In 1998, at the rst AES conference (AES 1), 15 di erent al- rithmswerepresented,discussed,reviewedandveri ed.Asecondconferencewas organizedinApril1999,andbyAugust1999only vecandidateswerestillinthe running: MARS, RC6, Rijndael, Serpent and Two sh. After a further conference devoted to veri cation, testing and examination of the candidate algorithms in order to prove their performance and security, one winning algorithm remained. The encryption scheme Rijndael, designed by the Belgian cryptographers Joan Daemen and Vincent Rijmen, was selected in 2000 to become the successor to the famous DES (Data Encryption Standard) and it is now the Advanced - cryption Standard. 206 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Data management systems play the most crucial role in building large application s- tems. Since modern applications are no longer single monolithic software blocks but highly flexible and configurable collections of cooperative services, the data mana- ment layer also has to adapt to these new requirements. Therefore, within recent years, data management systems have faced a tremendous shift from the central management of individual records in a transactional way to a platform for data integration, fede- tion, search services, and data analysis. This book addresses these new issues in the area of data management from multiple perspectives, in the form of individual contributions, and it outlines future challenges in the context of data management. These contributions are dedicated to Prof. em. Dr. Dr. -Ing. E. h. Hartmut Wedekind on the occasion of his 70th birthday, and were (co-)authored by some of his academic descendants. Prof. Wedekind is one of the most prominent figures of the database management community in Germany, and he enjoys an excellent international reputation as well. Over the last 35 years he greatly contributed to making relational database technology a success. As far back as the early 1970s, he covered-as the first author in Germany- the state of the art concerning the relational model and related issues in two widely used textbooks 'Datenbanksysteme I' and 'Datenbanksysteme II'. Without him, the idea of modeling complex-structured real-world scenarios in a relational way would be far less developed by now. Among Prof. 396 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 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22 27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri cation(CFV 05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC). CADE is the major forum for the presentation of research in all aspects of automated deduction. The rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. Logics of interest include propositional, rst-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substr- tural, description, and meta-logics, logical frameworks, type theory and set t- ory. Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, uni cation, constraint solving, decision procedures, model generation,model checking,natural deduction, proofplanning, proof p- sentation, proof checking, and explanation. Applications of interest include hardwareand softwaredevelopment,systems analysisandveri cation,deductivedatabases,functionalandlogicprogramming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. This year, there were 78 submissions, of which 9 system descriptions. Each submissionwasassignedto atleastfour programcommitteemembers,whoca- fully reviewed the papers, in many cases with the help of one or more of a total number of 115 external referees. For each submission at least four reviews were produced and forwarded to the authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions. 480 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 7th International Conference on Theory and Applications of Satis ab- ity Testing (SAT 2004) was held 10 13 May 2004 in Vancouver, BC, Canada. The conference featured 9 technical paper sessions, 2 poster sessions, as well as the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. It also included invited talks by Stephen A. Cook (University of Toronto) and Kenneth McMillan (Cadence Berkeley Labs). The 89 participants represented no less than 17 countries and four continents. SAT 2004 continued the series of meetings which started with the Workshops on Satis ability held in Siena, Italy (1996), Paderborn, Germany (1998) and Renesse, The Netherlands (2000); the Workshop on Theory and Applications of Satis ability Testing held in Boston, USA(2001);theSymposiumonTheoryandApplicationsofSatis abilityTesting held in Cincinnati, USA (2002); and the 6th International Conference on Theory and Applications of Satis ability Testing held in Santa Margherita Ligure, Italy (2003). The International Conference on Theory and Applications of Satis ability Testing is the primary annual meeting for researchers studying the propo- tional satis ability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vsNP) and underlies many applications in, among other examples, arti cial intelligence, operations research and electronic design engineering. The primary objective of the conferences is to bring together researchersfromvariousareasandcommunities,includingtheoreticalandexp- imental computer science as well as many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications. 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The explosion in the number and size of life science data resources, and the rapid growth in the variety and volume of laboratory data has been fueled by world-wide research activity and the emergence of new technologies. The m- eling, management and analysis of this data often requires a comprehensive - tegration of heterogeneous and typically semistructured data, distributed across many possibly data sources. Recent interoperability standards such as XML and WSDL solve some (easy) problems, but data and process integration often - main time-consuming and error-pone manual tasks. The di culty of these tasks is compounded by the high degree of semantic heterogeneity across data sources, varying data quality, and other domain-speci c application requirements. DILS 2005 was the 2nd International Workshop on Data Integration in the Life Sciences, following a successful rst DILS workshop, March 2004 in Leipzig, Germany. For a specialized workshop, the DILS 2005 call for papers created a largeinterest(over50abstractsandeventually42papersubmissions;anincrease ofover20%overDILS2004),outofwhichtheinternationalProgramCommittee selected 15 full papers, as well as 5 short papers, and 8 posters/demonstrations, which are all included in this volume. They cover a wide spectrum of theoretical and practical issues including scienti c/clinical work ows, ontologies, tools and systems, and integration techniques. DILS 2005 also featured keynotes by Dr. PeterBuneman,ProfessorattheSchoolofInformatics,UniversityofEdinburgh, and Dr. Shankar Subramaniam, Professor at the Department of Bioengineering andChemistry,UCSanDiego.Theprogramalsoincluded6invitedpresentations and reports on ongoing research activities in academia and industry and a panel organized by the AMIA Geomics Working Group. 360 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2005, held in Sao Leopoldo, Brazil in July 2005.The 15 revised full papers and 10 revised extended abstracts presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address a broad range of current topics in computational biology and bioinformatics. 276 pp. Englisch.…