springer berlin heidelberg springer berlin heidelberg jun 2003 (212 results)

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 20th British National Conference on Databases, BNCOD 20, held in Coventry, UK, in July 2003.The 20 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on XML and semi-structured data; performance in searching and mining; transformation, integration, and extension; events and transactions; and personalization and the Web. 300 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The International User Modeling Conferences are the events at which research foundations are being laid for the personalization of computer systems. In the last 15 years, the field of user modeling has produced significant new theories and methods to analyze and model computer users in short and long term interactions. A user model is an explicit representation of properties of individual users or user classes. It allows the system to adapt its performance to user needs and preferences. Methods for personalizing human computer interaction based on user models have been successfully developed and applied in a number of domains, such as information filtering, adaptive natural language and hypermedia presentation, tutoring systems, e commerce and medicine. There is also a growing recognition of the need to evaluate the results of new user modeling methods and prototypes in empirical studies and a growing focus on evaluation methods. New trends in HCI create new and interesting challenges for user modeling. While consolidating results in traditional domains of interest, the user modeling field now also addresses problems of personalized interaction in mobile and ubiquitous computing and adaptation to user attitudes and affective states. Finally, with the spread of user modeling in everyday applications and on the Web, new concerns about privacy preservation are emerging. All these topics are covered in the proceedings of UM 2003, the 9th International Conference on User Modeling. 456 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development. 296 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003.The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency. 456 pp. Englisch.

Buch. Condition: Neu. Neuware -Quantum maps are presented with special emphasis on their physical origin. They represent a testing ground for understanding concepts in quantized chaotic systems. The book teaches the modern mathematical methods from analytic and algebraic number theory as applied to quantum maps. It gives a broad and in-depth overview of the mathematical problems arising in this area. Also treated are the numerical aspects in quantum chaos such as eigenvalue and eigenfunctions computations for chaotic quantum systems. The book addresses scientists and advanced students in mathematics and mathematical physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The author emphasizes a non-uniform ellipticity condition as the main approach to regularity theory for solutions of convex variational problems with different types of non-standard growth conditions.This volume first focuses on elliptic variational problems with linear growth conditions. Here the notion of a 'solution' is not obvious and the point of view has to be changed several times in order to get some deeper insight. Then the smoothness properties of solutions to convex anisotropic variational problems with superlinear growth are studied. In spite of the fundamental differences, a non-uniform ellipticity condition serves as the main tool towards a unified view of the regularity theory for both kinds of problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18¿20,2003.ItwassponsoredbyAda- Europe, the European federation of national Ada societies, and Ada-France, in cooperation with ACM SIGAda. It was organized by members of Adalog, CS, UPS/IRIT and ONERA. Toulouse was certainly a very appropriate place for this conference. As the heart of the European aeronautic and space industry, it is a place where so- ware development leaves no place for failure. In the end, reliability is a matter of human skills. But these skills build upon methods, tools, components and c- trolled practices. By exposing the latest advances in these areas, the conference contributed to ful lling the needs of a very demanding industry. As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when attendees had the opportunity to catch up on a variety of topics related to the eld, at both introductory and advanced levels. On Friday, a workshopon¿QualityofServiceinComponent-BasedSoftwareEngineering¿was held. Further, the conference was accompanied by an exhibition where vendors presented their reliability-related products.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -TheInternationalConferenceonMachineLearningandDataMining(MLDM)is the third meeting in a series of biennial events, which started in 1999, organized by the Institute of Computer Vision and Applied Computer Sciences (IBaI) in Leipzig. MLDM began as a workshop and is now a conference, and has brought the topic of machine learning and data mining to the attention of the research community. Seventy- ve papers were submitted to the conference this year. The program committeeworkedhardtoselectthemostprogressiveresearchinafairandc- petent review process which led to the acceptance of 33 papers for presentation at the conference. The 33 papers in these proceedings cover a wide variety of topics related to machine learning and data mining. The two invited talks deal with learning in case-based reasoning and with mining for structural data. The contributed papers can be grouped into nine areas: support vector machines; pattern dis- very; decision trees; clustering; classi cation and retrieval; case-based reasoning; Bayesian models and methods; association rules; and applications. We would like to express our appreciation to the reviewers for their precise andhighlyprofessionalwork.WearegratefultotheGermanScienceFoundation for its support of the Eastern European researchers. We appreciate the help and understanding of the editorial sta at Springer Verlag, and in particular Alfred Hofmann,whosupportedthepublicationoftheseproceedingsintheLNAIseries. Last, but not least, we wish to thank all the speakers and participants who contributed to the success of the conference. 456 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003. The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions. A broad variety of topics in discrete mathematics and the theory of computing is addressed including information theory, coding, algorithms, complexity, automata, computational mathematics, combinatorial computations, graph computations, algorithmic geometry, relational methods, game-theoretic methods, combinatorial optimization, and finite state systems. 316 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Agents in multiagent systems are concurrent autonomous entities that need to coordinate and to cooperate so as to perform their tasks; these coordination and cooperation tasks might be achieved through communication. Communication, also called interaction by some authors, thus represents one of the major topics in multiagent systems.This book presents the state of the art of research on communication in multiagent systems. First, three seminal papers by Cohen and Perrault, by Singh, and by Davis and Smith present background information and introduce the newcomer to the area. The main part of the book is devoted to current research work dealing with agent communication, communication for coordination and argumentation, protocols, and dialogue games and conversational agents. Finally, the last paper deals with the future of agent communication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002.The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata and related structures. 324 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the ¿best¿ design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci cation and Descr- tion Language rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci cations were certainly more formal than the main alternative: natural languagewith some ad hoc gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description. 424 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems.This book is the first one focusing on quality issues of components and component-based systems. The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coherent and competent survey of the state of the art in the area. The book is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The International Symposium on Smart Graphics 2003 was held on July 2¿4, 2003 in Heidelberg, Germany. It was the fourth event in a series that started in 1999 as an AAAI Spring Symposium. In response to the overwhelming success of the 1999 symposium, its organizers decided to turn it into a self-contained event in2000. WiththesupportofIBM,the rsttwoInternationalSymposiaonSmart Graphics were held at the T. J. Watson Research Center in Hawthorne, NY. The 2003 symposium was supported by the Klaus Tschira Foundation and moved to the European Media Lab in Heidelberg, thus underlining the international character of the Smart Graphics enterprise and its community. The core idea behind these symposia is to bring together researchers and practitioners from the eld of computer graphics, arti cial intelligence, cog- tive psychology, and ne art. Each of these disciplines contributes to what we mean by the term ¿Smart Graphics¿: the intelligent process of creating expr- sive and esthetic graphical presentations. While artists and designers have been creating communicative graphics for centuries, arti cial intelligence focuses on automating this process by means of the computer. While computer graphics provides the tools for creating graphical presentations in the rst place, cog- tive sciences contribute the rules and models of perception necessary for the design of e ective graphics. The exchange of ideas between these four discip- nes has led to many exciting and fruitful discussions, and the Smart Graphics Symposia draw their liveliness from a spirit of open minds and the willingness to learn from and share with other disciplines. 256 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book contains the proceedings of the Workshop on OpenMP Applications and Tools, WOMPAT 2003. WOMPAT 2003 was held on June 26and 27, 2003 in Toronto, Canada. The workshop brought together the users and developers of the OpenMP API to meet, share ideas and experiences, and to discuss the latest developments in OpenMP and its applications. The OpenMP API is now a widely accepted standard for high-level shar- memory parallel programming. Since its introduction in 1997, OpenMP has gained support from the majority of high-performance compiler and hardware vendors. WOMPAT 2003 was the latest in a series of OpenMP-related workshops, which have included the annual o erings of the Workshop on OpenMP Appli- tions and Tools (WOMPAT), the European Workshop on OpenMP (EWOMP) and the Workshop on OpenMP: Experiences and Implementations (WOMPEI). The WOMPAT 2003 program committee formally solicited papers. Extended abstracts were submitted by authors and all abstracts were reviewed by three members of the program committee. Of the 17 submitted abstracts, 15 were selected for presentation at the workshop. This book was published in time to be available at WOMPAT 2003, and therefore we hope that the papers contained herein are timely and useful for current developers and researchers. This book also contains selected papers from WOMPAT 2002. No formal proceedings had been created for this previous o ering of the workshop, and so presenters were invited to prepare their papers for inclusion in this volume. 284 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The Tenth LMS-EPSRC Numerical Analysis Summer School was held at the University of Durham, UK, from the 7th to the 19th of July 2002. This was the second of these schools to be held in Durham, having previously been hosted by the University of Lancaster and the University of Leicester. The purpose of the summer school was to present high quality instructional courses on topics at the forefront of numerical analysis research to postgraduate students. The speakers were Franco Brezzi, Gerd Dziuk, Nick Gould, Ernst Hairer, Tom Hou and Volker Mehrmann. This volume presents written contributions from all six speakers which are more comprehensive versions of the high quality lecture notes which were distributed to participants during the meeting. At the time of writing it is now more than two years since we first contacted the guest speakers and during that period they have given significant portions of their time to making the summer school, and this volume, a success. We would like to thank all six of them for the care which they took in the preparation and delivery of their material.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -In 30 chapters, the text deals with commercially available chemicals used for patch testing. It is the first book to provide a short and concise explanation for physicians, patients, and employees as how to minimize allergic contact dermatitis when patch testing is completed. The second book of this mini-series, 'Patch testing and Prick testing' covers the new standard of patch testing and prick testing procedures in an efficient and practical way. Thus, both of these well-structured books should not be missed by any physician in daily practise when treating patients with dermatological problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The papers collected in this volume reproduce contributions by leading sch- arstoaninternationalschoolandworkshopwhichwasorganizedandheldwith thegoaloftakinga snapshotofadiscipline undertumultuous growth. Indeed, the area of protein folding, docking and alignment is developing in response to needs for a mix of heterogeneous expertise spanning biology, chemistry, mathematics, computer science, and statistics, among others. Some of the problems encountered in this area are not only important for the scienti c challenges they pose, but also for the opportunities they disclose intermsofmedicalandindustrialexploitation. Atypicalexampleiso eredby protein-drug interaction (docking), a problem posing daunting computational problems at the crossroads of geometry, physics and chemistry, and, at the same time, a problem with unimaginable implications for the pharmacopoeia of the future. The schoolfocused on problems posed by the study of the mechanisms - hind protein folding, and explored di erent ways of attacking these problems under objective evaluations of the methods. Together with a relatively small core of consolidated knowledge and tools, important re ections were brought to this e ort by studies in a multitude of directions and approaches. It is obviously impossible to predict which, if any, among these techniques will prove completely successful, but it is precisely the implicit dialectic among them that best conveys the current avor of the eld. Such unique diversity and richness inspired the format of the meeting, and also explains the slight departure of the present volume from the typical format in this series: the exposition of the current sediment is complemented here by a selection of quali ed specialized contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -At the Summer School Saint Petersburg 2001, the main lecture courses bore on recent progress in asymptotic representation theory: those written up for this volume deal with the theory of representations of infinite symmetric groups, and groups of infinite matrices over finite fields; Riemann-Hilbert problem techniques applied to the study of spectra of random matrices and asymptotics of Young diagrams with Plancherel measure; the corresponding central limit theorems; the combinatorics of modular curves and random trees with application to QFT; free probability and random matrices, and Hecke algebras.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002.The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages; combinatorial and algebraic properties of languages; decision problems; relations to complexity theory, logic picture description and analysis, DNA computing, cryptography, concurrency, quantum computing, and algebraic systems. 448 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind. As these different disciplines gain a deeper understanding of their fellow disciplines and their research approaches, they increasingly find ways to combine their insights and to conceive powerful mechanisms to analyze and synthesize cognitive systems. Spatial cognition has now reached a point where we can see how different pieces of the puzzle may fit together to form integrated systems of specialized cognitive components. The research triggers new quests for basic issues of cognition and sparks ideas for the development of technological applications that make use of spatial structures and spatial computation. Potential applications can be found in such diverse areas as autonomous robotics, geographic information systems, locati- based services, spatial task assistance, multi-agent communication, to name but a few. This third volume on Spatial Cognition marks the final phase of the German Spatial Cognition Priority Program. It augments the results presented in the two precursor volumes published in 1998 and 2000, respectively. The interdisciplinary 1 research program was established by the Deutsche Forschungsgemeinschaft (DFG) in 1996 and terminated after six years, the maximum duration of DFG priority programs. The Spatial Cognition Priority Program consists of 17 research projects at 13 research institutions throughout Germany. Besides carrying out research in individual projects and joint research between projects, the program organized ¿topical colloquiä and annual plenary colloquia, largely with internationalparticipation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The thoroughly refereed postproceedings of the International Workshop on Architectures for Quality of Service in the Internet, Art-QoS 2003, held in Warsaw, Poland, in March 2003. The 22 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on architectures for next generation networks, architectures and services, signalling, admission control, AQUILA-resource control, AQUILA-QoS at work, MPLS traffic engineering, and traffic control mechanisms. 324 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -lectures of the summer school in Belgium in 2002, which took place from August 12¿16, 2002, at the Katholieke Universiteit Leuven, Belgium.In2003asummerschoolinOPSFwillbeheldinCoimbra,Portugal.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume contains the papers presented at the Fourth IAPR Workshop on Graph Based Representations in Pattern Recognition. The workshop was held at the King¿s Manor in York, England between 30 June and 2nd July 2003. The previous workshops in the series were held in Lyon, France (1997), Haindorf, Austria (1999), and Ischia, Italy (2001). The city of York provided an interesting venue for the meeting. It has been said that the history of York is the history of England. There have been both Roman and Viking episodes. For instance, Constantine was proclaimed emperor in York. The city has also been a major seat of ecclesiastical power and was also involved in the development of the railways in the nineteenth century. Much of York¿s history is evidenced by its buildings, and the King¿s Manor is one of the most important and attractive of these. Originally part of the Abbey, after the dissolution of the monasteries by Henry VIII, the building became a center of government for the Tudors and the Stuarts (who stayed here regularly on their journeys between London and Edinburgh), serving as the headquarters of the Council of the North until it was disbanded in 1561. The building became part of the University of York at its foundation in 1963. The papers in the workshop span the topics of representation, segmentation, graph-matching, graph edit-distance, matrix and spectral methods, and gra- clustering. 284 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001.The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering. 404 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The International Conference TSD 2003, the sixth event in the series on Text, Speech, and Dialogue, which originated in 1998, presents state-of-the-art technology and - cent achievements in the eld of natural language processing. This year¿s conference includes invited talks given by top-class researchers (Frederick Jelinek from Johns H- kinsUniversityofBaltimore,SadaokiFuruifromtheUniversityofTechnologyinTo kyo, President of ISCA, and Steven Krauwer from the Institute of Linguistics of Utrecht U- versity), plenary and problem-oriented sessions, as well as poster sessions and dem- strations involving 28 functional applications. The conference declares its intent to be an interdisciplinary forum, which intertwines researchinspeechandlanguageprocessingaswellasresearchintheEasternandWestern hemispheres. We feel that the mixture of different approaches and applications gives agreatopportunitytogetacquaintedwiththecurrentactivitiesinallaspects oflanguage communication and to witness the amazing vitality of research from the former East Block countries. The nancial support of ISCA (International Speech Communication Association) enables the wide attendance of researchers from all active regions of the world. This volume contains a collection of all the papers presented at the international conf- ence organized by the Faculty of Applied Sciences of the University of West Bohemia in Pilsen in collaboration with the Faculty of Informatics, Masaryk University in Brno, and held in the beautiful city of Ceske ¿ Budejo vice (South Bohemia, Czech Republic), September 8¿12, 2003. Each of the submitted papers was thoroughly reviewed by three membersoftheconferencereviewingteamconsistingofmorethan40world-famouss- cialists in the conference topic areas. 448 pp. Englisch.

Buch. Condition: Neu. Neuware -This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. We propose a different way to program such systems, centered on inter object scenario-based behavior. The book describes a language, two tech niques, and a supporting tool. The language is a rather broad extension of live sequence charts (LSCs), the original version of which was proposed in 1998 by W. Damm and the first-listed author of this book. The first of the two techniques, called play-in, is a convenient way to 'play in' scenario based behavior directly from the system's graphical user interface (QUI). The second technique, play-out, makes it possible to execute, or 'play out', the behavior on the QUI as if it were programmed in a conventional intra object state-based fashion. All this is implemented in full in our tool, the Play-Engine. The book can be viewed as offering improvements in some ofthe phases of known system development life cycles, e.g., requirements capture and anal ysis, prototyping, and testing. However, there is a more radical way to view the book, namely, as proposing an alternative way to program reactivity, which, being based on inter-object scenarios, is a lot closer to how people think about systems and their behavior.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -conference, including the following principles: (i)GECCOshouldbeabroad-basedconferenceencompassingthewhole eld of genetic and evolutionary computation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1380 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 8th Australasian Conference on Information Security and Privacy, ACISP 2003, held in Wollongong, Australia, in July 2003.The 42 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on privacy and anonymity, elliptic curve cryptography, cryptanalysis, mobile and network security, digital signatures, cryptosystems, key management, and theory and hash functions.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Since 1993, PROPOR Workshops have become an important forum for re- archers involved in the Computational Processing of Portuguese, both written and spoken. This PROPOR Workshop follows previous workshops held in 1993 (Lisboa, Portugal), 1996 (Curitiba, Brazil), 1998 (Porto Alegre, Brazil), 1999 ¿ (Evora, Portugal) and 2000 (Atibaia, Brazil). The workshop has increasingly contributed to bring together researchers and industry partners from both sides of the Atlantic. The constitution of an international program committee and the adoption of high-standard referee procedures demonstrate the steady de- lopment of the eld and of its scienti c community. This can also be seen in the realization of the satellite workshop AVALON, which constitutes the rst evaluation campaign of Portuguese NLP systems. Each one of the 64 submitted papers received a careful, triple blind-review by the program committee. All those who contributed are mentioned in the following pages. The reviewing process led to the selection of 41 papers for oral presentation, 24 regular papers and 17 short papers, which are published in this volume. Theworkshopandthisbookwerestructuredaroundtheeightfollowingmain topics: (i) speech analysis and recognition; (ii) speech synthesis; (iii) pragmatics, discourse, semantics, syntax, and the lexicon; (iv) tools, resources, and appli- tions; (v) dialogue systems; (vi) summarization and information extraction; and (vii) evaluation. 288 pp. Englisch.