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 th...
详细信息
ISBN:
(数字)9781461527220
ISBN:
(纸本)9780792394167;9781461361732
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.
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Sp...
详细信息
ISBN:
(数字)9783642753329
ISBN:
(纸本)9783540520498
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelität. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelität entdecken und das Progamm in parallel ausführbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie Synchronisation und Kommunikation zu kümmern. Dies vereinfacht insbesondere die Programmierung von Systemen mit vielen Prozessoren. Auf der Grundlage einer einfachen funktionalen Beispielsprache, die den Kern aller funktionalen Sprachen umfaßt, werden in diesem Buch die Techniken zur automatischen Parallelisierung funktionaler Programme erläutert und formal spezifiziert. Im Vordergrund steht jedoch der sprachorientierte Entwurf einer Parallelrechnerarchitektur, die die Ausführung funktionaler Programme in besonderer Weise unterstützt.
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and tec...
详细信息
ISBN:
(数字)9783540450252
ISBN:
(纸本)9783540677277
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is on techniques that combine precision with concision, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high. However,the number of submissions has decreased compared to the pre- ous conferences in the series. Each paper was refereed by at least ?ve and often more committee members. In order to maintain the high standards of the c- ference the committee took a stringent view on quality; this has meant that, in some cases, a paper was rejected even though there was a basis for a good c- ference or journal paper but the submitted paper did not meet the committee’s required standards. In a few cases a good paper was rejected on the grounds that it did not ?t within the scope of the conference.
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 Labor...
详细信息
ISBN:
(数字)9783540479505
ISBN:
(纸本)9783540666776
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.
This volume presents the proceedings of a conference covering European activities in the field of distributed memory computing architectures, programming tools, operating systems, programming languages and application...
详细信息
ISBN:
(数字)9783540464785
This volume presents the proceedings of a conference covering European activities in the field of distributed memory computing architectures, programming tools, operating systems, programming languages and applications. New architectures discussed within the framework of several ESPRIT projects are covered as well as the application of a number of European and non-European commercial multiprocessor systems. Research on different interconnection topologies including mesh and hypercubes and on virtual shared memory systems is presented. One of the main topics of the book is tools for programming such architectures (debuggers, performance analysers, visualizers, load balancers, mappers) with the goal of enhancing the productivity of the programmer. Alternative execution models such as systolic arrays and dataflow processors are also addressed.
Following five successful workshops in the previous five years, the Rendering Workshop is now well established as a major international forum and one of the most reputable events in the field of realistic image synthe...
详细信息
ISBN:
(数字)9783709194300
ISBN:
(纸本)9783211827338
Following five successful workshops in the previous five years, the Rendering Workshop is now well established as a major international forum and one of the most reputable events in the field of realistic image synthesis. Including the best 31 papers which were carefully evaluated out of 68 submissions the book gives an overview on hierarchical radiosity, Monte Carlo radiosity, wavelet radiosity, nondiffuse radiosity, and radiosity performance improvements. Some papers deal with ray tracing, reconstruction techniques, volume rendering, illumination, user interface aspects, and importance sampling. Also included are two invited papers by James Arvo and Alain Fournier. As is the style of the Rendering Workshop, the contributions are mainly of algorithmic nature, often demonstrated by prototype implementations. From these implementations result numerous color images which are included as appendix.
The Rendering Workshop proceedings are certainly an obligatory piece of literature for all scientists working in the rendering field, but they are also very valuable for the practitioner involved in the implementation of state of the art rendering system certainly influencing the scientific progress in this field.
This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers i...
详细信息
ISBN:
(数字)9783642453403
ISBN:
(纸本)9783642453397
This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.
暂无评论