Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee mas
Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Lee mas
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lee mas
Statistical Language and Speech Processing
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...
Lee mas
String Processing and Information Retrieval
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, ...
Lee mas
Supercomputing Frontiers
This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
Lee mas
Symbol Grounding and Beyond
PrefaceThis volume is the collection of papers and abstracts of the Third Annual Inter-national Workshop on the Emergence ...
Lee mas
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...
Lee mas
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. ...
Lee mas
Technologies for E-Services (vol. # 3811)
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Technologies for E-Services ...
Lee mas
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lee mas
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 ...
Lee masText Analytics : An Introduction to the Science and Applications of Unstructured Information Analysis / John Atkinson-Abutridy
A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...
Lee mas
Text, Speech and Dialogue (vol. # 3658)
Thisyear’sconferencewaspartiallyorientedtowardsmulti-modalhuman-computer interaction (HCI), which can be seen as the most ...
Lee mas
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 ...
Lee mas
The Acquisition of Verbs and their Grammar: The Effect of Particular Languages
This volume investigates the linguistic development of children with regard to their knowledge of the verb and its grammar.
Lee mas
The Adaptive Web
Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
Lee mas
The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Lee mas
The Austin Protocol Compiler
The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Lee mas
The Cambridge Handbook of Intercultural Pragmatics / Istvan Kecskes
Intercultural pragmatics addresses one of the major issues of human communication in the globalized world: how do people ...
Lee mas
