Author: René Leermakers
Publisher: Springer Science & Business Media
ISBN: 1461531861
Category : Computers
Languages : en
Pages : 158
Book Description
Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their generalizations. Efficient deterministic parsing algorithms have been developed for parsing programming languages, and quite different algorithms are employed for analyzing natural language. The Functional Treatment of Parsing provides a functional framework within which the different traditional techniques are restated and unified. The resulting theory provides new recursive implementations of parsers for context-free grammars. The new implementations, called recursive ascent parsers, avoid explicit manipulation of parse stacks and parse matrices, and are in many ways superior to conventional implementations. They are applicable to grammars for programming languages as well as natural languages. The book has been written primarily for students and practitioners of parsing technology. With its emphasis on modern functional methods, however, the book will also be of benefit to scientists interested in functional programming. The Functional Treatment of Parsing is an excellent reference and can be used as a text for a course on the subject.
The Functional Treatment of Parsing
Author: René Leermakers
Publisher: Springer Science & Business Media
ISBN: 1461531861
Category : Computers
Languages : en
Pages : 158
Book Description
Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their generalizations. Efficient deterministic parsing algorithms have been developed for parsing programming languages, and quite different algorithms are employed for analyzing natural language. The Functional Treatment of Parsing provides a functional framework within which the different traditional techniques are restated and unified. The resulting theory provides new recursive implementations of parsers for context-free grammars. The new implementations, called recursive ascent parsers, avoid explicit manipulation of parse stacks and parse matrices, and are in many ways superior to conventional implementations. They are applicable to grammars for programming languages as well as natural languages. The book has been written primarily for students and practitioners of parsing technology. With its emphasis on modern functional methods, however, the book will also be of benefit to scientists interested in functional programming. The Functional Treatment of Parsing is an excellent reference and can be used as a text for a course on the subject.
Publisher: Springer Science & Business Media
ISBN: 1461531861
Category : Computers
Languages : en
Pages : 158
Book Description
Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their generalizations. Efficient deterministic parsing algorithms have been developed for parsing programming languages, and quite different algorithms are employed for analyzing natural language. The Functional Treatment of Parsing provides a functional framework within which the different traditional techniques are restated and unified. The resulting theory provides new recursive implementations of parsers for context-free grammars. The new implementations, called recursive ascent parsers, avoid explicit manipulation of parse stacks and parse matrices, and are in many ways superior to conventional implementations. They are applicable to grammars for programming languages as well as natural languages. The book has been written primarily for students and practitioners of parsing technology. With its emphasis on modern functional methods, however, the book will also be of benefit to scientists interested in functional programming. The Functional Treatment of Parsing is an excellent reference and can be used as a text for a course on the subject.
Functional and Logic Programming
Author: Aart Middeldorp
Publisher: Springer Science & Business Media
ISBN: 354066677X
Category : Computers
Languages : en
Pages : 379
Book Description
This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr ́?guez-Artalejo.
Publisher: Springer Science & Business Media
ISBN: 354066677X
Category : Computers
Languages : en
Pages : 379
Book Description
This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr ́?guez-Artalejo.
Formal Languages and Applications
Author: Carlos Martin-Vide
Publisher: Springer Science & Business Media
ISBN: 9783540209072
Category : Computers
Languages : en
Pages : 636
Book Description
"Formal Languages and Applications" provides an overall course-aid and self-study material for graduates students and researchers in formal language theory and its applications. The main results and techniques are presented in an easily accessible way accompanied with many references and directions for further research. This carefully edited monograph is intended to be the gate to formal language theory and its applications and is very useful as a general source of information in formal language theory.
Publisher: Springer Science & Business Media
ISBN: 9783540209072
Category : Computers
Languages : en
Pages : 636
Book Description
"Formal Languages and Applications" provides an overall course-aid and self-study material for graduates students and researchers in formal language theory and its applications. The main results and techniques are presented in an easily accessible way accompanied with many references and directions for further research. This carefully edited monograph is intended to be the gate to formal language theory and its applications and is very useful as a general source of information in formal language theory.
Advances in Artificial Intelligence
Author: Canadian Society for Computational Studies of Intelligence. Conference
Publisher: Springer Science & Business Media
ISBN: 3540403000
Category : Business & Economics
Languages : en
Pages : 656
Book Description
This book constitutes the refereed proceedings of the 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, held in Halifax, Canada in June 2003. The 30 revised full papers and 24 revised short papers presented were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on knowledge representation, search, constraint satisfaction, machine learning and data mining, AI and Web applications, reasoning under uncertainty, agents and multi-agent systems, AI and bioinformatics, and AI and e-commerce.
Publisher: Springer Science & Business Media
ISBN: 3540403000
Category : Business & Economics
Languages : en
Pages : 656
Book Description
This book constitutes the refereed proceedings of the 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, held in Halifax, Canada in June 2003. The 30 revised full papers and 24 revised short papers presented were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on knowledge representation, search, constraint satisfaction, machine learning and data mining, AI and Web applications, reasoning under uncertainty, agents and multi-agent systems, AI and bioinformatics, and AI and e-commerce.
Compositional Translation
Author: M.T. Rosetta
Publisher: Springer Science & Business Media
ISBN: 9401583064
Category : Computers
Languages : en
Pages : 484
Book Description
This book provides an in-depth review of machine translation by discussing in detail a particular method, called compositional translation, and a particular system, Rosetta, which is based on this method. The Rosetta project is a unique combination of fundamental research and large-scale implementation. The book covers all scientifically interesting results of the project, highlighting the advantages of designing a translation system based on a relation between reversible compositional grammars. The power of the method is illustrated by presenting elegant solutions to a number of well-known translation problems. The most outstanding characteristic of the book is that it provides a firm linguistic foundation for machine translation. For this purpose insights from Montague Grammar are integrated with ideas developed within the Chomskyan tradition, in a computationally feasible framework. Great care has been taken to introduce the basic concepts of the underlying disciplines to the uninitiated reader, which makes the book accessible to a wide audience, including linguists, computer scientists, logicians and translators.
Publisher: Springer Science & Business Media
ISBN: 9401583064
Category : Computers
Languages : en
Pages : 484
Book Description
This book provides an in-depth review of machine translation by discussing in detail a particular method, called compositional translation, and a particular system, Rosetta, which is based on this method. The Rosetta project is a unique combination of fundamental research and large-scale implementation. The book covers all scientifically interesting results of the project, highlighting the advantages of designing a translation system based on a relation between reversible compositional grammars. The power of the method is illustrated by presenting elegant solutions to a number of well-known translation problems. The most outstanding characteristic of the book is that it provides a firm linguistic foundation for machine translation. For this purpose insights from Montague Grammar are integrated with ideas developed within the Chomskyan tradition, in a computationally feasible framework. Great care has been taken to introduce the basic concepts of the underlying disciplines to the uninitiated reader, which makes the book accessible to a wide audience, including linguists, computer scientists, logicians and translators.
Explorations in Automatic Thesaurus Discovery
Author: Gregory Grefenstette
Publisher: Springer Science & Business Media
ISBN: 1461527104
Category : Computers
Languages : en
Pages : 313
Book Description
Explorations in Automatic Thesaurus Discovery presents an automated method for creating a first-draft thesaurus from raw text. It describes natural processing steps of tokenization, surface syntactic analysis, and syntactic attribute extraction. From these attributes, word and term similarity is calculated and a thesaurus is created showing important common terms and their relation to each other, common verb--noun pairings, common expressions, and word family members. The techniques are tested on twenty different corpora ranging from baseball newsgroups, assassination archives, medical X-ray reports, abstracts on AIDS, to encyclopedia articles on animals, even on the text of the book itself. The corpora range from 40,000 to 6 million characters of text, and results are presented for each in the Appendix. The methods described in the book have undergone extensive evaluation. Their time and space complexity are shown to be modest. The results are shown to converge to a stable state as the corpus grows. The similarities calculated are compared to those produced by psychological testing. A method of evaluation using Artificial Synonyms is tested. Gold Standards evaluation show that techniques significantly outperform non-linguistic-based techniques for the most important words in corpora. Explorations in Automatic Thesaurus Discovery includes applications to the fields of information retrieval using established testbeds, existing thesaural enrichment, semantic analysis. Also included are applications showing how to create, implement, and test a first-draft thesaurus.
Publisher: Springer Science & Business Media
ISBN: 1461527104
Category : Computers
Languages : en
Pages : 313
Book Description
Explorations in Automatic Thesaurus Discovery presents an automated method for creating a first-draft thesaurus from raw text. It describes natural processing steps of tokenization, surface syntactic analysis, and syntactic attribute extraction. From these attributes, word and term similarity is calculated and a thesaurus is created showing important common terms and their relation to each other, common verb--noun pairings, common expressions, and word family members. The techniques are tested on twenty different corpora ranging from baseball newsgroups, assassination archives, medical X-ray reports, abstracts on AIDS, to encyclopedia articles on animals, even on the text of the book itself. The corpora range from 40,000 to 6 million characters of text, and results are presented for each in the Appendix. The methods described in the book have undergone extensive evaluation. Their time and space complexity are shown to be modest. The results are shown to converge to a stable state as the corpus grows. The similarities calculated are compared to those produced by psychological testing. A method of evaluation using Artificial Synonyms is tested. Gold Standards evaluation show that techniques significantly outperform non-linguistic-based techniques for the most important words in corpora. Explorations in Automatic Thesaurus Discovery includes applications to the fields of information retrieval using established testbeds, existing thesaural enrichment, semantic analysis. Also included are applications showing how to create, implement, and test a first-draft thesaurus.
Reversible Grammar in Natural Language Processing
Author: T. Strzalkowski
Publisher: Springer Science & Business Media
ISBN: 1461527228
Category : Computers
Languages : en
Pages : 468
Book Description
Reversible grammar allows computational models to be built that are equally well suited for the analysis and generation of natural language utterances. This task can be viewed from very different perspectives by theoretical and computational linguists, and computer scientists. The papers in this volume present a broad range of approaches to reversible, bi-directional, and non-directional grammar systems that have emerged in recent years. This is also the first collection entirely devoted to the problems of reversibility in natural language processing. Most papers collected in this volume are derived from presentations at a workshop held at the University of California at Berkeley in the summer of 1991 organised under the auspices of the Association for Computational Linguistics. This book will be a valuable reference to researchers in linguistics and computer science with interests in computational linguistics, natural language processing, and machine translation, as well as in practical aspects of computability.
Publisher: Springer Science & Business Media
ISBN: 1461527228
Category : Computers
Languages : en
Pages : 468
Book Description
Reversible grammar allows computational models to be built that are equally well suited for the analysis and generation of natural language utterances. This task can be viewed from very different perspectives by theoretical and computational linguists, and computer scientists. The papers in this volume present a broad range of approaches to reversible, bi-directional, and non-directional grammar systems that have emerged in recent years. This is also the first collection entirely devoted to the problems of reversibility in natural language processing. Most papers collected in this volume are derived from presentations at a workshop held at the University of California at Berkeley in the summer of 1991 organised under the auspices of the Association for Computational Linguistics. This book will be a valuable reference to researchers in linguistics and computer science with interests in computational linguistics, natural language processing, and machine translation, as well as in practical aspects of computability.
Compiler Construction
Author: Reinhard Wilhelm
Publisher: Springer
ISBN: 3540453067
Category : Computers
Languages : en
Pages : 383
Book Description
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Publisher: Springer
ISBN: 3540453067
Category : Computers
Languages : en
Pages : 383
Book Description
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Compiler Construction
Author:
Publisher: PediaPress
ISBN:
Category :
Languages : en
Pages : 629
Book Description
Publisher: PediaPress
ISBN:
Category :
Languages : en
Pages : 629
Book Description
Speech-to-Speech Translation
Author: Hiroaki Kitano
Publisher: Springer Science & Business Media
ISBN: 1461527325
Category : Computers
Languages : en
Pages : 205
Book Description
Speech--to--Speech Translation: a Massively Parallel Memory-Based Approach describes one of the world's first successful speech--to--speech machine translation systems. This system accepts speaker-independent continuous speech, and produces translations as audio output. Subsequent versions of this machine translation system have been implemented on several massively parallel computers, and these systems have attained translation performance in the milliseconds range. The success of this project triggered several massively parallel projects, as well as other massively parallel artificial intelligence projects throughout the world. Dr. Hiroaki Kitano received the distinguished `Computers and Thought Award' from the International Joint Conferences on Artificial Intelligence in 1993 for his work in this area, and that work is reported in this book.
Publisher: Springer Science & Business Media
ISBN: 1461527325
Category : Computers
Languages : en
Pages : 205
Book Description
Speech--to--Speech Translation: a Massively Parallel Memory-Based Approach describes one of the world's first successful speech--to--speech machine translation systems. This system accepts speaker-independent continuous speech, and produces translations as audio output. Subsequent versions of this machine translation system have been implemented on several massively parallel computers, and these systems have attained translation performance in the milliseconds range. The success of this project triggered several massively parallel projects, as well as other massively parallel artificial intelligence projects throughout the world. Dr. Hiroaki Kitano received the distinguished `Computers and Thought Award' from the International Joint Conferences on Artificial Intelligence in 1993 for his work in this area, and that work is reported in this book.