Page 6
Page 6
Text, Speech and Dialogue ; 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedings
This book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between text and speech oriented systems; parsing issues; parsing problems in spoken texts; multi-lingual issues; multi-lingual dialogue systems; information retrieval and information extraction; text/topic summarization; machine translation; semantic networks and ontologies; semantic web; speech modeling; speech segmentation; speech recognition; search in speech for IR and IE; text-to-speech synthesis; dialogue systems; development of dialogue strategies; prosody in dialogues; emotions and personality modeling; user modeling; knowledge representation in relation to dialogue systems; assistive technologies based on speech and dialogue; applied systems and software; facial animation; and visual speech synthesis
Text Analytics : An introduction to the science and applications of unstructured information analysis
A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic knowledge discovery from unstructured information sources, for both industrial and academic purposes. The book introduces the main concepts, models, and computational techniques that enable the reader to solve real decision-making problems arising from textual and/or documentary sources.
Tests and Proofs ; 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Term rewriting and applications ; Vol. 3467 ; 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of rewriting.
Technologies for E-Services ; Vol. 3811 ; 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers
Cnstitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Technologies for E-Services held in September 2005.The nine revised full papers presented together with one keynote article were carefully reviewed and selected from forty submissions for inclusion in the book. As e-services become pervasive, e-service management will play a central role. The workshop's objective is to provide a forum for researchers and practitioners to present new developments and experience reports. The goal of the TES workshop is to identify the technical issues, models, and infrastructures that enable enterprises to provide e-services to other businesses and individual customers.
Syntax and Semantics of Prepositions
This book is the first to provide an integrated view of preposition from morphology to reasoning, via syntax and semantics. It offers new insights in applied and formal linguistics, and cognitive science. It underlines the importance of prepositions in a number of computational linguistics applications, such as information retrieval and machine translation. The reader will benefit from a wide range of views and applications to various linguistic frameworks, among which, most notably, HPSG. The book is for researchers working in the fields of computational linguistics, linguistics, and artificial intelligence.
Symbolic and quantitative approaches to reasoning with uncertainty ; 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings
Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical models, learning causal networks, planning, causality and independence, preference modeling and decision, argumentation systems, inconsistency handling, and uncertainty measures.
Symbolic and quantitative approaches to reasoning with uncertainty ; 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings
These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in Barcelona (Spain), July 6-8, 2005.
Symbol Grounding and Beyond ; 3rd International Workshop on the Emergence and Evolution of Linguistic Communications, EELC 2006, Rome, Italy, September 30-October 1, 2006, Proceedings
Focuses on the evolution and emergence of language. This isa fast-growing interdisciplinary research area with researchers coming from dis-ciplines such as anthropology, linguistics, psychology, primatology, neuroscience,cognitive science and computer science. Although most papers focus on evolu-tion, a number of papers focus more on language acquisition.
Sustainable Metals Management : Securing Our Future - Steps Towards a Closed Loop Economy
Metals have been vital to human civilization for many thousands of years. This book assembles experts from many fields to discuss the conditions and limits of sustainable metals management. The contributors examine the theoretical ideas and goals of sustainability, and apply them across the metal making and trading process.
Supercomputing Frontiers ; 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & Libraries Programming System Software Architecture, Network/Communications & Management Data, Storage & Visualisation
String Processing and Information Retrieval ; 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020, Proceedings
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2020, held in Orlando, FL, USA, in October 2020. The 17 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 32 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.
Statistical language and speech processing ; 8th International Conference, SLSP 2020, Cardiff, UK, October 14–16, 2020, Proceedings
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, SLSP 2020, held in Cardiff, UK, in October 2020. The 13 full papers presented together with one invited paper in this volume were carefully reviewed and selected from 25 submissions. They papers cover the wide spectrum of statistical methods that are currently in use in computational language or speech processing.
Static Analysis ; Vol. 3672 ; 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."
Static Analysis ; 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.
Static Analysis ; 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007).
STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference of February 22-24, 2007, held at Aachen was the 24th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), and Marseille (2006). The interest in STACS has been increasing continuously in recent years. The STACS 2007 call for papers led to approximately 400 submissions from all over the world.
STACS 2006 ; 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.
Stabilization, Safety, and Security of Distributed Systems ; 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of 3 invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems.
Spatial Information Theory ; International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings
Constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, NY, USA in September 2005. The papers are organized in topical sections on vagueness, uncertainty, and gradation; paths and routes; ontologies and semantics; ontologies and spatial relations; and more.
