Springer berlin heidelberg sep 2004 (99 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume develops a thorough theory of singular fibers of generic differentiable maps. This is the first work that establishes the foundational framework of the global study of singular differentiable maps of negative codimension from the viewpoint of differential topology. The book contains not only a general theory, but also some explicit examples together with a number of very concrete applications. This is a very interesting subject in differential topology, since it shows a beautiful interplay between the usual theory of singularities of differentiable maps and the geometric topology of manifolds. 164 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -UNESCO-Biosphärenreservate stecken 'voller Leben'. Hier setzen Menschen Nachhaltigkeit in die Praxis um: Ökonomische, ökologische, soziale und kulturelle Ziele werden gleichermaßen verfolgt und dabei wertvolle Naturräume erhalten. Damit eröffnen sich die Menschen neue Chancen für heute und tragen Verantwortung für zukünftige Generationen. Was kann spannender sein, als ein Blick auf neue Wege in die Zukunft Die 14 Biosphärenreservate in Deutschland gehören zu einem Weltnetz von 440 Gebieten des UNESCO-Programms 'Der Mensch und die Biosphäre' (MAB). In den 70er Jahren zur Erforschung der Mensch-Umwelt-Beziehung gegründet, werden Biosphärenreservate seit der Rio-Konferenz 1992 zu Modellregionen für eine nachhaltige Entwicklung ausgebaut.Die vorliegende Publikation gibt einen Überblick über die bisherige Entwicklung und die Neuausrichtung des MAB-Programms in Deutschland. Die allgemein gültigen Leitlinien für Schutz, Pflege und Entwicklung dieser Gebiete werden erläutert. Vielfältige Projekt-Beispiele aus Praxis und Wissenschaft zeigen die lebendige Umsetzung des Programms in den deutschen UNESCO-Biosphärenreservaten. 176 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Paris-Princeton Lectures in Financial Mathematics, of which this is the second volume, will, on an annual basis, publish cutting-edge research in self-contained, expository articles from outstanding - established or upcoming! - specialists. The aim is to produce a series of articles that can serve as an introductory reference for research in the field. It arises as a result of frequent exchanges between the finance and financial mathematics groups in Paris and Princeton. This volume presents the following articles: 'Hedging of Defaultable Claims' by T. Bielecki, M. Jeanblanc, and M. Rutkowski; 'On the Geometry of Interest Rate Models' by T. Björk;'Heterogeneous Beliefs, Speculationand Trading in Financial Markets' by J.A. Scheinkman, and W. Xiong. 264 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcometotheproceedingsofthe2004EuropeanConferenceonWebServices(ECOWS 2004).ECOWSisoneoftheleadinginternationalconferencesfocusingonWebservices. ECOWS2004wasaforumforresearchersandpractitionersfromacademiaandindustry to exchange information regarding advances in the state of the art and practice of Web services, identify emerging research topics, and de ne the future directions of Web services computing. ECOWS 2004 had a special interest in papers that contribute to the convergence of Web services, Grid computing, e-business and autonomic computing, and papers that apply techniques from one area to another. This conference was called the International Conference on Web Services Europe in 2003. ECOWS 2004 was a sister event of the International Conference onWeb Services 2004 (ICWS 2004), which attracted more than 250 registered participants in San Diego, USA. Web services are characterized by network-based application components and a service-oriented architecture using standard interface description languages and u- form communicationprotocols. Industrial applicationdomainsforWebservicesinclude business-to-business integration, business process integration and management, c- tent management, e-sourcing, composite Web services creation, design collaboration for computer engineering, multimedia communication, digital TV, and interactive Web solutions. Recently, Grid computing has also started to leverage Web services to de ne standard interfaces for business Grid services and generic reusable Grid resources. The program of ECOWS 2004 featured a variety of papers on topics ranging from Web services and dynamic business process composition to Web services and process management,Web services discovery,Web services security,Web services-based app- cations for e-commerce, Web services-based Grid computing, and Web services solu- ons. 316 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are delighted to present the proceedings of the 7th IFIP/IEEE International Conference on Management of Multimedia Networks & Services (MMNS). The MMNS 2004 conference was held in San Diego, California, USA on October 4 6,2004.Asinpreviousyears,theconferencebroughttogether aninternational audience of researchers and scientists from industry and academia who are - searching and developing state-of-the-art management systems, while creating a public venue for results dissemination and intellectual collaboration. This year marked a challenging chapter in the advancement of management s- tems for the wider management researchcommunity, with the growing compl- ities ofthe Internet, the proliferationof alternativewireless networksandmobile services, intelligent and high-speed networks, scalable multimedia services, and the convergence of computing and communications for data and voice delivery. Contributions from the research community met this challenge with 84 paper submissions; 26 selected high-quality papers were subsequently selected to form the MMNS 2004 technical program. The diverse topics in this year s program included novel protocols in wireless systems, multimedia over wireless, mobility management, multimedia service control, proactive techniques for QoS mana- ment, MPLStra cengineeringandresiliency,distributedsystems management, scalable multimedia systems, and adaptive methods for streaming multimedia. 356 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Machine Learning has become a key enabling technology for many engineering applications, investigating scientific questions and theoretical problems alike. To stimulate discussions and to disseminate new results, a summer school series was started in February 2002, the documentation of which is published as LNAI 2600.This book presents revised lectures of two subsequent summer schools held in 2003 in Canberra, Australia, and in Tübingen, Germany. The tutorial lectures included are devoted to statistical learning theory, unsupervised learning, Bayesian inference, and applications in pattern recognition; they provide in-depth overviews of exciting new developments and contain a large number of references.Graduate students, lecturers, researchers and professionals alike will find this book a useful resource in learning and teaching machine learning. 256 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 joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22 24,2004. The conference united two previously independently - ganized conferences FORMATS and FTRTFT. FORMATS 2003 was organized asasatelliteworkshopofCONCUR2003andwasrelatedtothreeindependently started workshop series: MTCS (held as a satellite event of CONCUR 2000 and CONCUR 2002), RT-TOOLS (held as a satellite event of CONCUR 2001 and FLoC 2002) and TPTS (held at ETAPS 2002). FTRTFT is a symposium that was held seven times before: in Warwick 1988, Nijmegen 1992, Lu beck 1994, Uppsala 1996, Lyngby 1998, Pune 2000 and Oldenburg 2002. The proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in the LNCS series by Springer. Thisjointconferenceis dedicatedtotheadvancementofthetheoryandpr- ticeofthe modelling,designandanalysisofreal-timeandfault-tolerantsystems. Indeed,computersystemsarebecomingincreasinglywidespreadinreal-timeand safety-critical applications such as embedded systems. Such systems are char- terized by the crucial need to manage their complexity in order to produce reliable designs and implementations. The importance of timing aspects, p- formance and fault-tolerance is continuously growing. Formal techniques o er a foundation for systematic design of complex systems. They have bene cial - plications throughout the engineering process, from the capture of requirements through speci cation, design, coding and compilation, down to the hardware that embeds the system into its environment. 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternationalConferenceonMathematicalKnowledgeManagementhasnow reached its third edition, creating and establishing an original and stimulating scienti ccommunitytransversaltomanydi erent eldsandresearchtopics. The broad goal of MKM is the exploration of innovative, semantically enriched, d- ital encodings of mathematical information, and the study of new services and tools exploiting the machine-understandable nature of the information. MKM is naturally located in the border area between digital libraries and the mec- nization of mathematics, devoting a particular interest to the new developments in information technology, and fostering their application to the realm of ma- ematical information. The conference is meant to be a forum for presenting, discussing and comparing new tools and systems, standardization e orts, cri- calsurveys,largeexperiments,andcasestudies. Atpresent,wearestillgettingto knoweachother,tounderstandtheworkdonebyotherpeople,andthepotenti- ities o ered by their work to our own research activity. However, the conference is rapidly acquiring scienti c strength and academic interest, attracting more and more people and research groups, and o ering a challenging alternative to older, more conservative conferences. July 2004 Andrea Asperti Grzegorz Bancerek Andrzej Trybulec Organization MKM 2004 was organized by the Institute of Computer Science, University of Bia lystokinco-operationwiththeFacultyofComputerScience,Bia lystokTe- nical University and the Association of Mizar Users. Program Committee Andrzej Trybulec (Chair) University of Bia lystok, Poland Andrew A. Adams University of Reading, UK Andrea Asperti University of Bologna, Italy Bruno Buchberger RISC Linz, Austria Roy McCasland University of Edinburgh, UK James Davenport University of Bath, UK William M. 408 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -KI2004wasthe27theditionoftheannualGermanConferenceonArti cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were nally selected for presentation at the conference. The papers cover quite a broad spectrum of classical subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jorg Siekmann(DFKI andUniversityofSaarland,Saarbruc ken),MalikGhallab(LAAS-CNRS,Toulouse), Franco is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbruc ken). Their invited papers are also presented in this volume. 484 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the last years, research on Web mining has reached maturity and has broadened in scope. Two different but interrelated research threads have emerged, based on the dual nature of the Web: - The Web is a practically in nite collection of documents: The acquisition and - ploitation of information from these documents asks for intelligent techniques for information categorization, extraction and search, as well as for adaptivity to the interests and background of the organization or person that looks for information. - The Web is a venue for doing business electronically: It is a venue for interaction, information acquisition and service exploitation used by public authorities, n- governmental organizations, communities of interest and private persons. When observed as a venue for the achievement of business goals, a Web presence should be aligned to the objectives of its owner and the requirements of its users. This raises the demand for understandingWeb usage, combining it with other sources of knowledge inside an organization, and deriving lines of action. ThebirthoftheSemanticWebatthebeginningofthedecadeledtoacoercionofthetwo threadsintwoaspects:(i)theextractionofsemanticsfromtheWebtobuildtheSemantic Web;and(ii)theexploitationofthesesemanticstobettersupportinformationacquisition and to enhance the interaction for business and non-business purposes. Semantic Web mining encompasses both aspects from the viewpoint of knowledge discovery. 216 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The AMDO 2004 workshop took place at the Universitat de les Illes Balears (UIB) on 22 24 September, 2004, institutionally sponsored by the International Association for Pattern Recognition (IAPR), the MCYT (Comision Interm- isterial de Ciencia y Tecnologia, Spanish Government), the AERFAI (Spanish Association for Pattern Recognition and Image Analysis), the EG (Eurogra- ics Association) and the Mathematics and Computer Science Department of the UIB. Also important commercial sponsors collaborated with practical dem- strations; the main contributors were: Barco Electronics Systems (Title Sp- sor), VICOM Tech, ANDROME Iberica, CESA and TAGrv. The subject of the workshop was ongoing research in articulated motion on a sequence of images and sophisticated models for deformable objects. The goals of these areas are to understand and interpret the motion of complex objects that can be found in sequences of images in the real world. The main topics considered priorities are: deformable models, motion analysis, articulated models and animation, visualization of deformable models, 3D recovery from motion, single or multiple human motion analysis and synthesis, applications of deformable models and motion analysis, face tracking, recovery and recognition models, and virtual and augmented reality systems. 284 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thecentralchallengeoftheoreticalcomputerscienceistodeploymathematicsin waysthatservethecreationofusefulalgorithms. Inrecentyearstherehasbeena growinginterest in the two-dimensionalframework of parameterizedcomplexity, where, in addition to the overall input size, one also considers a parameter,with a focus on how these two dimensions interact in problem complexity. This book presents the proceedings of the 1st InternationalWorkshopon - rameterized and Exact Computation (IWPEC 2004,iwpec. org), which took place in Bergen, Norway, on September 14 16, 2004. The workshop was organized as part of ALGO 2004. There were seven previous workshops on the theory and applications of parameterized complexity. The rst was - ganized at the Institute for the Mathematical Sciences in Chennai, India, in September, 2000. The second was held at Dagstuhl Castle, Germany, in July, 2001. In December, 2002, a workshop on parameterized complexity was held in conjunction with the FST-TCS meeting in Kanpur, India. A second Dagstuhl workshop on parameterized complexity was held in July, 2003. Another wo- shoponthesubjectwasheldinOttawa,Canada,inAugust,2003,inconjunction with the WADS 2003 meeting. There have also been two Barbados workshops on applications of parameterized complexity. In response to the IWPEC 2004 call for papers, 47 papers were submitted, and from these the programcommittee selected 25 for presentation at the wo- shop. Inaddition,invitedlectureswereacceptedbythedistinguishedresearchers Michael Langston and Gerhard Woeginger. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of the 8th International Workshop on Cooperative Information Agents (CIA 2004), held at the Fair and Congress Center in - furt, Germany, September 27-29, 2004. It was part of the multi-conference Net. ObjectDays 2004, and, in particular, was co-located with the 2nd German Conference on Multiagent Systems Technologies (MATES 2004). In today's networked world of linked heterogeneous, pervasive computer systems, devices, and information landscapes, the intelligent coordination and provision of relevant added-value information at any time, anywhere, by means of cooperative information agents becomes increasingly important for a variety of applications. An information agent is a computational software entity that has access to one or multiple, heterogeneous, and geographically dispersed data and information sources. It proactively searches for and maintains information on behalf of its human users, or other agents, preferably just in time. In other words,itismanagingandovercomingthedi cultiesassociatedwithinformation overload in open, pervasive information and service landscapes. Cooperative - formation agents may collaborate with each other to accomplish both individual and shared joint goals depending on the actual preferences of their users, b- getary constraints, and resources available. One major challenge of developing agent-based intelligent information systems in open environments is to balance the autonomy of networked data, information, and knowledge sources with the potential payo of leveraging them using information agents. Interdisciplinaryresearchanddevelopmentofinformationagentsrequires- pertise in relevant domains of information retrieval, arti cial intelligence, database systems, human-computer interaction, and Internet and Web techn- ogy. 324 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Semantic Web o ers new options for information processes. Dr. Visser is dealing with twocore issuesin this area:the integrationofdata onthe sem- tic level and the problem of spatio-temporalrepresentation and reasoning. He tackles existing research problems within the eld of geographic information systems(GIS), thesolutionsofwhichareessentialfor animprovedfunction- ity of applicationsthat makeuse of the Semantic Web (e.g., for heterogeneous digitalmaps).Inaddition,theyareoffundamentalsigni canceforinformation sciences as such. In an introductory overview of this eld of research, he motivates the - cessity for formal metadata for unstructured information in the World Wide Web. Without metadata, an e cient search on a semantic level will turn out to be impossible, above all if it is not only applied to a terminological level but also to spatial-temporal knowledge. In this context, the task of infor- tionintegrationisdividedinto syntactic,structural,andsemanticintegration, the last class by far the most di cult, above all with respect to contextual semantic heterogeneities. A current overview of the state of the art in the eld of information in- gration follows. Emphasis is put particularly on the representation of spatial and temporal aspects including the corresponding inference mechanisms, and also the special requirements on the Open GIS Consortium. 172 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The best informal de nition of the Semantic Web is maybe found in the May 2001Scienti cAmericanarticle'TheSemanticWeb'(Berners-Leeetal. ),which says'TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de ned meaning, better enabling computers and people to work in cooperation. ' People who work on the Semantic Web quite often base their work on the famous 'semantic web tower', a product of Tim Berners-Lee's inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi cation of resources on the Web (URIs). The highest level concerns the problem of trusting information on the Web. Somewhere in the middle of the tower is the logic level. It addresses the problem of represe- ing information on the Web in a way so that inference rules can derive implicit information from explicitly stated information. The workshop 'Principles and Practices of Semantic Web Reasoning' (PPSWR 2004) addressed problems on this level. It took place in September 2004 as a satellite event of the 20th Int- national Conference on Logic Programming (ICLP) in St. Malo, France. After PPSWR 2003 in Mumbai, India, it was the second workshop in this series. This book contains the articles presented at the workshop. 180 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Algorithmic learning theory is mathematics about computer programs which learn from experience. This involves considerable interaction between various mathematical disciplines including theory of computation, statistics, and c- binatorics. There is also considerable interaction with the practical, empirical elds of machine and statistical learning in which a principal aim is to predict, from past data about phenomena, useful features of future data from the same phenomena. The papers in this volume cover a broad range of topics of current research in the eld of algorithmic learning theory. We have divided the 29 technical, contributed papers in this volume into eight categories (corresponding to eight sessions) re ecting this broad range. The categories featured are Inductive Inf- ence, Approximate Optimization Algorithms, Online Sequence Prediction, S- tistical Analysis of Unlabeled Data, PAC Learning & Boosting, Statistical - pervisedLearning,LogicBasedLearning,andQuery&ReinforcementLearning. Below we give a brief overview of the eld, placing each of these topics in the general context of the eld. Formal models of automated learning re ect various facets of the wide range of activities that can be viewed as learning. A rst dichotomy is between viewing learning as an inde nite process and viewing it as a nite activity with a de ned termination. Inductive Inference models focus on inde nite learning processes, requiring only eventual success of the learner to converge to a satisfactory conclusion. 528 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ForewordfromtheProgramChairs These proceedings contain the papers selected for presentation at the 9th - ropean Symposium on Research in Computer Security (ESORICS), held during September 13 15, 2004 in Sophia Antipolis, France. In response to the call for papers 159 papers were submitted to the conference. These papers were evaluated on the basis of their signi cance, novelty,and te- nicalquality. Eachpaper wasreviewedby at leastthree members of the program committee. The program committee meeting was held electronically; there was an intensive discussion over a period of two weeks. Of the papers submitted, 27 were selected for presentation at the conference, giving an acceptance rate lower than 17%. The conference program also included an invited talk. A workshop like this does not just happen; it depends on the volunteer e orts of ahostofindividuals. Thereisalonglistofpeoplewhovolunteeredtheirtimeand energy to put together the workshopand who deserve special thanks. Thanks to all the members of the program committee, and the external reviewers, for all their hardwork in the paper evaluation. Due to the large number of submissions the program committee members were really required to work hard in a short time frame, and we are very thankful to them for the commitment they showed with their active participation in the electronic discussion. 472 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 8th ERCIM Workshop 'User Interfaces for All' was held in Vienna, Austria, on 28-29 June 2004, building upon the results of the seven previous workshops held in Heraklion, Crete, Greece, 30-31 October 1995; Prague, Czech Republic, 7-8 Nov- ber 1996; Obernai, France, 3-4 November 1997; Stockholm, Sweden, 19-21 October 1998; Dagstuhl, Germany, 28 November - 1 December 1999; Florence, Italy, 25-26 October 2000; and Paris (Chantilly), France, 24-25 October 2002. The concept of 'User Interfaces for All' targets a proactive realization of the '- signforall'principleinthe eldofhuman-computerinteraction(HCI),andinvolvesthe developmentof user interfaces to interactiveapplicationsand e-services, which provide universalaccess andusabilityto potentiallyall users. In thetraditionofits predecessors, the 8th ERCIM Workshop 'User Interfaces for All' aimed to consolidate recent work and to stimulate further discussion on the state of the art in 'User Interfaces for All' and its increasing range of applications in the upcoming Information Society. The emphasis of the 2004 event was on 'User-Centered Interaction Paradigms for Universal Access in the Information Society. ' The requirement for user-centered u- versal access stems from the growing impact of the fusion of the emerging techno- gies and from the different dimensions of diversity that are intrinsic to the Information Society. These dimensions become evident when considering the broad range of user characteristics, the changing nature of human activities, the variety of contexts of use, the increasing availability and diversi cation of information, knowledge sources and e-services, the proliferation of technological platforms, etc. 504 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The message passing paradigm is the most frequently used approach to develop high-performancecomputing applications on paralleland distributed computing architectures. Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the two main representatives in this domain. This volume comprises 50 selected contributions presented at the 11th - ropean PVM/MPI Users' Group Meeting, which was held in Budapest, H- gary, September 19-22, 2004. The conference was organized by the Laboratory of Parallel and Distributed Systems (LPDS) at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI). The conference was previously held in Venice, Italy (2003), Linz, Austria (2002), Santorini, Greece (2001), Balatonfu red, Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow,Poland (1997).The rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). In its eleventh year, this conference is well established as the forum for users and developers of PVM, MPI, and other messagepassing environments.Inter- tionsbetweenthesegroupshaveprovedtobeveryusefulfordevelopingnewideas in parallel computing, and for applying some of those already existent to new practical elds.Themaintopicsofthe meeting wereevaluationandperformance of PVM and MPI, extensions, implementations and improvements of PVM and MPI, parallel algorithms using the message passing paradigm, and parallel - plications in science and engineering. In addition, the topics of the conference were extended to include cluster and grid computing, in order to re ect the importance of this area for the high-performance computing community. 472 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties. 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A large class of computing systems can be speci ed and veri ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due to their importance and design challenges, real-time systems have attracted the att- tion of a considerable number of computer scientists and engineers from various research areas. This volume collects a set of papers accompanying the lectures of the fourth edition of theInternational School on Formal Methods for the Design of C- puter,Communication andSoftware Systems (SFM). The school addressed the use of formal methods in computer science as a prominent approach to the r- orous design of computer, communication and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM-04:RT was devoted to real-time systems. It covered formal models and languagesforthespeci cation,modeling,analysis,andveri cationoftheseti- critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in di erent domains. 308 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 8th East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004.The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on constraint databases, deductive databases, heterogenous and Web information systems, cross enterprise information systems, knowledge discovery, database modeling, XML and semistructured databases, physical database design and query evaluation, transaction management and workflow systems, query processing and data streams, spatial databases, and agents and mobile systems. 440 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 Thisbookcontainsrefereedandimprovedpaperspresentedatthe5thIAPR - ternational Workshop on Graphics Recognition (GREC 2003). GREC 2003 was held in the Computer Vision Center, in Barcelona (Spain) during July 30-31, 2003. TheGRECworkshopisthemainactivityoftheIAPR-TC10,theTechnical 2 Committee on Graphics Recognition . Edited volumes from the previous wo- shops in the series are available as Lecture Notes in Computer Science: LNCS Volume 1072 (GREC 1995 at Penn State University, USA), LNCS Volume 1389 (GREC 1997 in Nancy, France), LNCS Volume 1941 (GREC 1999 in Jaipur, India), and LNCS Volume 2390 (GREC 2001 in Kingston, Canada). Graphics recognition is a particular eld in the domain of document ana- sis that combines pattern recognition and image processing techniques for the analysis of any kind of graphical information in documents, either from paper or electronic formats. Topics of interest for the graphics recognition community are: vectorization; symbol recognition; analysis of graphic documents with - agrammatic notation like electrical diagrams, architectural plans, engineering drawings, musical scores, maps, etc. ; graphics-based information retrieval; p- formance evaluation in graphics recognition; and systems for graphics recog- tion. Inadditiontotheclassicobjectives,inrecentyearsgraphicsrecognitionhas faced up to new and promising perspectives, some of them in conjunction with other, a ne scienti c communities. Examples of that are sketchy interfaces and on-line graphics recognition in the framework of human computer interaction, or query by graphic content for retrieval and browsing in large-format graphic d- uments, digital libraries and Web applications. Thus, the combination of classic challenges with new research interests gives the graphics recognition eld an active scienti c community, with a promising future. 404 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Information and Engineering Systems at Wellington - stitute of Technology in Wellington, New Zealand. The KES conferences attract a wide range of interest. The broad focus of the c- ference series is the theory and applications of computational intelligence and em- gent technologies. Once purely a research field, intelligent systems have advanced to the point where their abilities have been incorporated into many conventional appli- tion areas. The quest to encapsulate human knowledge and capabilities in domains such as reasoning, problem solving, sensory analysis, and other complex areas has been avidly pursued. This is because it has been demonstrated that these abilities have definite practical applications. The techniques long ago reached the point where they are being exploited to provide commercial advantages for companies and real beneficial effects on profits. KES 2004 provided a valuable mechanism for delegates to obtain a profound view of the latest intelligent systems research into a range of - gorithms, tools and techniques. KES 2004 also gave delegates the chance to come into contact with those applying intelligent systems in diverse commercial areas. The combination of theory and practice represents a uniquely valuable opportunity for - preciating the full spectrum of intelligent-systems activity and the 'state of the art'. 1404 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The proceedings of ECML/PKDD 2004 are published in two separate, albeit - tertwined,volumes:theProceedingsofthe 15thEuropeanConferenceonMac- ne Learning (LNAI 3201) and the Proceedings of the 8th European Conferences on Principles and Practice of Knowledge Discovery in Databases (LNAI 3202). The two conferences were co-located in Pisa, Tuscany, Italy during September 20 24, 2004. It was the fourth time in a row that ECML and PKDD were co-located. - ter the successful co-locations in Freiburg (2001), Helsinki (2002), and Cavtat- Dubrovnik (2003), it became clear that researchersstrongly supported the or- nization of a major scienti c event about machine learning and data mining in Europe. We are happy to provide some statistics about the conferences. 581 di erent papers were submitted to ECML/PKDD (about a 75% increase over 2003); 280 weresubmittedtoECML2004only,194weresubmittedtoPKDD2004only,and 107weresubmitted to both.Aroundhalfofthe authorsforsubmitted papersare from outside Europe, which is a clear indicator of the increasing attractiveness of ECML/PKDD. The Program Committee members were deeply involved in what turned out to be a highly competitive selection process. We assigned each paper to 3 - viewers, deciding on the appropriate PC for papers submitted to both ECML and PKDD. As a result, ECML PC members reviewed 312 papers and PKDD PC members reviewed 269 papers. We accepted for publication regular papers (45 for ECML 2004 and 39 for PKDD 2004) and short papers that were as- ciated with poster presentations (6 for ECML 2004 and 9 for PKDD 2004). The globalacceptance ratewas14.5%for regular papers(17% if we include the short papers). 588 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University College London with the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation. 300 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Medical imaging and medical image analysisare rapidly developing. While m- ical imaging has already become a standard of modern medical care, medical image analysis is still mostly performed visually and qualitatively. The ev- increasing volume of acquired data makes it impossible to utilize them in full. Equally important, the visual approaches to medical image analysis are known to su er from a lack of reproducibility. A signi cant researche ort is devoted to developing algorithms for processing the wealth of data available and extracting the relevant information in a computerized and quantitative fashion. Medical imaging and image analysis are interdisciplinary areas combining electrical, computer, and biomedical engineering; computer science; mathem- ics; physics; statistics; biology; medicine; and other elds. Medical imaging and computer vision, interestingly enough, have developed and continue developing somewhat independently. Nevertheless, bringing them together promises to b- e t both of these elds. We were enthusiastic when the organizers of the 2004 European Conference on Computer Vision (ECCV) allowed us to organize a satellite workshop devoted to medical image analysis. 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of the Lecture Notes in Computer Science series contains the set of papers accepted for presentation at the 5th International Workshop on Quality of future Internet Services (QofIS 2004) and at the two one-day workshops - locatedwithQofIS2004,namelythe1stInternationalWorkshoponQoSRouting (WQoSR 2004) and the 4th International Workshop on Internet Charging and QoS Technology (ICQT 2004). QofIS 2004, the fth international event, was organized under the umbrella of the E-NEXT Network of Excellence on Emerging Networking Experiments and Technologies , which started its activities in January 2004. QofIS 2004 took place on September 29 30, 2004 at the Telef onica premises in Barcelona, and was arranged by the Universitat Polit` ecnica de Catalunya (UPC). QofIS 2004 in Barcelona followed the highly successful workshops in Stockholm in 2003, Zuric h in2002,Coimbrain2001,andBerlinin2000.ThepurposeofQofIS2004,asofall QofIS events, was to present and discuss design and implementation techniques for providing quality of service in the Internet. Theimpactofemergingterminals,mobilityandembeddedsystemsiscreating a new environment where networks are ambient. New challenges are opened by this new space where networks of interest ranging from personal networks to large-scale application networks need to be designed and often integrated. Protocol mechanisms for supporting quality of service at the di erent layers of thenetworksneedtobeassessedandeventuallyredesignedinsuchenvironments. In this context, the focus of the QofIS 2004 workshop was on the provisioning of Quality of Service in the Emerging Networking Panorama, assessed by results of experiments carried out in simulation platforms and test-beds, and given the progressive irruption of optical technologies. 412 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a documentation of the main results in the research area In- gration of Software Speci cation Techniques for Applications in Engineering . On one hand it is based on the Priority Program Integration von Techniken der Softwarespezi kation fur ingenieurwissenschaftliche Anwendungen , short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Sp- i cation Techniques for Applications in Engineering . INT 2004 was launched as a satellite event of ETAPS in Barcelona, the European Joint Conferences on Theory and Practice of Software . The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di erent aspects from computer science, and by E. Schnieder and E. Westk amper concerning two main application areas in engineering, namely Tra c Control Systems and Production Automation . After acceptance of SoftSpez by the German Research Council for the period of 1998 2004 a call for speci c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A. 644 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Arti cial Immune Systems have come of age. They are no longer an obscure computersciencetechnique,workedonbyacoupleoffarsightedresearchgroups. Today, researchers across the globe are working on new computer algorithms inspired by the workings of the immune system. This vigorous eld of research investigates how immunobiology can assist our technology, and along the way is beginning to help biologists understand their unique problems. AIS is now old enough to understand its roots, its context in the research community, and its exciting future. It has grown too big to be con ned to s- cial sessions in evolutionary computation conferences. AIS researchers are now forming their own community and identity. The International Conference on Arti cial Immune Systems is proud to be the premiere conference in the area. As its organizers, we were honored to have such a variety of innovative and original scienti c papers presented this year. ICARIS 2004 was the third international conference dedicated entirely to the eld of Arti cial Immune Systems (AIS). It was held in Catania, on the beautiful island of Sicily, Italy, during September 13-16, 2004. While hosting the conference, the city of Catania gave the participants the opportunity to enjoy the richness of its historical and cultural atmosphere and the beauty of its natural resources, the sea, and the Etna volcano. 460 pp. Englisch.…