Filter by
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- 83 b/w illustrations
- Series Title
- -
- Call Number
- -
NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA,…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17523-2
- Collation
- XIII, 458
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Natural Language Processing and Information Systems:20th International Confer…
This book constitutes the refereed proceedings of the 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, held in Passau, Germany, in June 2015. The 18 full papers, 15 short papers, 14 poster and demonstration papers presented were carefully reviewed and selected from 100 submissions. The papers cover the following topics: information extraction…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-19580-3
- Collation
- XV, 460
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Natural Language Processing and Chinese Computing : 4th CCF Conference, NLPCC…
This book constitutes the refereed proceedings of the 4th CCF Conference, NLPCC 2015, held in Nanchang, China, in October 2015.The 35 revised full papers presented together with 22 short papers were carefully reviewed and selected from 238 submissions. The papers are organized in topical sections on fundamentals on language computing; applications on language computing; NLP for search technolog…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25206-3
- Collation
- XX, 610
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Multiword Expressions Acquisition
This book is an excellent introduction to multiword expressions. It provides a unique, comprehensive and up-to-date overview of this exciting topic in computational linguistics. The first part describes the diversity and richness of multiword expressions, including many examples in several languages. These constructions are not only complex and arbitrary, but also much more frequent than one…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-09206-5
- Collation
- XIV, 230
- Series Title
- Theory and Applications of Natural Language Processing
- Call Number
- -
Multilingualism in the Australian Suburbs
This book introduces a framework for examining bilingual identity and presents the cases of seven individual children from a study of young students’ bilingual identities in an Australian primary school. The new Bilingual Identity Negotiation Framework brings together three elements that influence bilingual identity development – sociocultural connection, investment and interaction. The cas…
- Edition
- 1
- ISBN/ISSN
- 978-981-287-452-8
- Collation
- XV, 230
- Series Title
- -
- Call Number
- -
Multi-Agent Systems:12th European Conference, EUMAS 2014, Prague, Czech Repub…
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions. They are organized in topical sections named: agent-based models, trust and reputation; coordination, coalitions and tea…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17129-6
- Collation
- XVII, 426
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
The SenticNet Sentiment Lexicon: Exploring Semantic Richness in Multi-Word Co…
The research and its outcomes presented in this book, is about lexicon-based sentiment analysis. It uses single-, and multi-word concepts from the SenticNet sentiment lexicon as the source of sentiment information for the purpose of sentiment classification. In 6 chapters the book sheds light on the comparison of sentiment classification accuracy between single-word and multi-word concepts, fo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-38971-4
- Collation
- -
- Series Title
- -
- Call Number
- -
The Semantic Web - ISWC 2015
The two-volume set LNCS 9366 and 9367 constitutes the refereed proceedings of the 14th International Semantic Web Conference, ISWC 2015, held in Bethlehem, PA, USA, in October 2015. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discus…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25007-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Models of Strategic Reasoning:Logics, Games, and Communities
Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-48539-2
- Collation
- XI, 333
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography