Search results: Found 12

Listing 1 - 10 of 12 << page
of 2
>>
Sort by
Prosodie und Konstruktionsgrammatik

Authors: ---
Book Series: Empirische Linguistik / Empirical Linguistics ISSN: 2198-8676 ISBN: 9783110637489 Year: Volume: 12 Pages: 286 DOI: 10.1515/9783110637489 Language: German
Publisher: De Gruyter
Subject: Linguistics
Added to DOAB on : 2020-05-08 10:43:48
License:

Loading...
Export citation

Choose an application

Abstract

Most forms of construction grammar offer a usage-based model of grammar. To date, construction grammar researchers have been dismissive of prosody. This anthology seeks to redress this gap in the research, examining the extent to which prosodic characteristics may be viewed as more or less stable characteristics of linguistic constructions.

La négation et ses emplois spéciaux en chinois mandarin

Author:
ISBN: 9781433168505 Year: Pages: 212 DOI: 10.3726/b15586 Language: French
Publisher: Peter Lang International Academic Publishing Group
Subject: Linguistics
Added to DOAB on : 2020-10-06 00:06:21
License:

Loading...
Export citation

Choose an application

Abstract

Sprachlernspiele im DaF-Unterricht in der VR China

Author:
Book Series: DaZ und DaF in der Diskussion ISBN: 9783631812419 Year: Pages: 216 DOI: 10.3726/b16557 Language: German
Publisher: Peter Lang International Academic Publishing Group
Subject: Linguistics
Added to DOAB on : 2020-10-06 00:05:15
License:

Representation Learning for Natural Language Processing

Authors: --- ---
ISBN: 9789811555732 Year: Pages: 334 DOI: 10.1007/978-981-15-5573-2 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Linguistics
Added to DOAB on : 2020-07-15 23:58:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access book provides an overview of the recent advances in representation learning theory, algorithms and applications for natural language processing (NLP). It is divided into three parts. Part I presents the representation learning techniques for multiple language entries, including words, phrases, sentences and documents. Part II then introduces the representation techniques for those objects that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, networks, and cross-modal entries. Lastly, Part III provides open resource tools for representation learning techniques, and discusses the remaining challenges and future research directions. The theories and algorithms of representation learning presented can also benefit other related domains such as machine learning, social network analysis, semantic Web, information retrieval, data mining and computational biology. This book is intended for advanced undergraduate and graduate students, post-doctoral fellows, researchers, lecturers, and industrial engineers, as well as anyone interested in representation learning and natural language processing.

Computational Cognitive Modeling and Linguistic Theory

Authors: ---
Book Series: Language, Cognition, and Mind ISBN: 9783030318468 Year: Pages: 294 DOI: 10.1007/978-3-030-31846-8 Language: English
Publisher: Springer Nature
Subject: Linguistics
Added to DOAB on : 2020-06-17 00:00:42
License:

Loading...
Export citation

Choose an application

Abstract

This open access book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science. The approach of this book is novel in more ways than one. Assuming the mental architecture and procedural modalities of Anderson’s ACT-R framework, it presents fine-grained computational models of human language processing tasks which make detailed quantitative predictions that can be checked against the results of self-paced reading and other psycho-linguistic experiments. All models are presented as computer programs that readers can run on their own computer and on inputs of their choice, thereby learning to design, program and run their own models. But even for readers who won't do all that, the book will show how such detailed, quantitatively predicting modeling of linguistic processes is possible. A methodological breakthrough and a must for anyone concerned about the future of linguistics! (Hans Kamp) This book constitutes a major step forward in linguistics and psycholinguistics. It constitutes a unique synthesis of several different research traditions: computational models of psycholinguistic processes, and formal models of semantics and discourse processing. The work also introduces a sophisticated python-based software environment for modeling linguistic processes. This book has the potential to revolutionize not only formal models of linguistics, but also models of language processing more generally. (Shravan Vasishth)

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532918 Year: Pages: 683 DOI: 10.1007/978-3-030-53291-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:38
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Bildspuren - Sprachspuren

Authors: --- ---
Book Series: Histoire ISBN: 9783839449981 Year: Pages: 344 DOI: 10.14361/9783839449981 Language: German
Publisher: transcript Verlag Grant: Austrian Science Fund - P-28950-G28
Subject: History
Added to DOAB on : 2020-09-25 00:08:54
License:

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030451905 Year: Pages: 501 DOI: 10.1007/978-3-030-45190-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452377 Year: Pages: 425 DOI: 10.1007/978-3-030-45237-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030449148 Year: Pages: 772 DOI: 10.1007/978-3-030-44914-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:21
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Listing 1 - 10 of 12 << page
of 2
>>
Sort by
Narrow your search

Publisher

Springer Nature (8)

Peter Lang International Academic Publishing Group (2)

De Gruyter (1)

transcript Verlag (1)


License

CC by (12)


Language

english (8)

german (3)

french (1)


Year
From To Submit

2020 (12)