检索结果-内蒙古大学图书馆

COMPUTER LANGUAGES 1997年第1期23卷 1-24页

作者： AlMulhem, M Ali, S Information & Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia

Visual Occam (VISO) is a visual programming language for concurrent programming. It uses message passing for interprocess communication and processes are disjoint. The VISO language uses a modular approach to visual programming which simplifies the specification of programs. It has a graphical syntax based on the language Occam. The petri net formalism is used to represent the semantics of the VISO language. This paper describes the design and implementation of the VISO language. It presents syntax, semantics, and a number of concurrent programs specified in the VISO language. Also, it discusses how synchronous communication can be expressed in petri nets. (C) 1997 Elsevier Science Ltd.

关键词： visual programming languages petri nets syntax and semantics Occam concurrent programming

来源：评论

学校读者我要写书评

暂无评论

The combinatory morphemic lexicon

引用

COMPUTATIONAL LINGUISTICS 2002年第2期28卷 145-186页

作者： Bozsahin, C Middle E Tech Univ TR-06531 Ankara Turkey

Grammars that expect words from the lexicon may be at odds with the transparent projection of syntactic and semantic scope relations of smaller units. We propose a morphosyntactic framework based on Combinatory Categorial Grammar that provides flexible constituency, flexible category consistency, and lexical projection of morphosyntactic properties and attachment to grammar in order to establish a morphemic grammar-lexicon. These mechanisms provide enough expressive power in the lexicon to formulate semantically transparent specifications without the necessity to confine structure forming to words and phrases. For instance, bound morphemes as lexical items can have phrasal scope or word scope, independent of their attachment characteristics but consistent with their semantics. The controls can be attuned in the lexicon to language-particular properties. The result is a transparent interface of inflectional morphology, syntax, and semantics. We present a computational system and show the application of the framework to English and Turkish.

关键词： .category lexical items phrasal constituency morphosyntactic syntax and semantics Morphemic Combinatory Categorial bound morphemes bracketings

来源：评论

学校读者我要写书评

暂无评论

A DIGITAL SYSTEM DESIGN LANGUAGE (DDL)

引用

IEEE TRANSACTIONS ON COMPUTERS 1968年第9期C 17卷 850-+页

作者： DULEY, JR DIETMEYER, DL IEEE

Abstract—Successful design and manufacture of future digital systems will depend upon the availability of a suitable design language. A precise, concise language is presented which facilitates the specification of complex digital systems. The language 1) is independent of any particular technology, design procedure, machine organization, etc., 2) allows specification at different levels of detail from architecture to detailed Boolean equations, and 3) may be com- piled into manufacturing information. Its syntax and semantics per- mit documents with an organization which parallels the block struc- ture of the systems they specify.

关键词： Index Terms—Automata Boolean equations computer design declarations design automation design language digital systems syntax and semantics system design system model.

来源：评论

学校读者我要写书评

暂无评论

Completeness before post: Bernays, Hilbert, and the development of propositional logic

引用

BULLETIN OF SYMBOLIC LOGIC 1999年第3期5卷 331-366页

作者： Zach, R Univ Calif Berkeley Grp Log & Methodol Sci Berkeley CA 94720 USA

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics;syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged.

关键词： .Lecture notes took distinction syntactic axiomatic most important DAVID HILBERT syntax and semantics Foundations of Mathematics Hilbert and Bernays COMPLETENESS BEFORE POST nkel

来源：评论

学校读者我要写书评

暂无评论

Assessing Users' Reputation from Syntactic and Semantic Information in Community Question Answering 12

Assessing Users' Reputation from Syntactic and Semantic Info...

引用

12th International Conference on Language Resources and Evaluation (LREC)

作者： Woldemariam, Yonas Umea Univ Dept Comp Sci Umea Sweden

ISBN: (纸本)9791095546344

Textual content is the most significant as well as substantially the big part of CQA forums. Users gain reputation for contributing such content. Although linguistic quality is the very essence of textual information, that does not seem to be considered in estimating users' reputation. As existing users' reputation systems seem to solely rely on vote counting, adding that bit of linguistic information surely improves their quality. In this study, we investigate the relationship between users' reputation and linguistic features extracted from their associated answers content. And we build statistical models on a Stack Overflow dataset that learn reputation from complex syntactic and semantic structures of such content. The resulting models reveal how users' writing styles in answering questions play important roles in building reputation points. In our experiments, extracting answers from systematically selected users followed by linguistic features annotation and models building. The models are evaluated on in-domain (e.g., Server Fault, Super User) and out-domain (e.g., English, Maths) datasets. We found out that the selected linguistic features have quite significant influences over reputation scores. In the best case scenario, the selected linguistic feature set could explain 80% variation in reputation scores with the prediction error of 3%. The performance results obtained from the baseline models have been significantly improved by adding syntactic and punctuation marks features.

关键词： Reputation Prediction Community Question-Answering Competence Analysis syntax and semantics

来源：评论

学校读者我要写书评

暂无评论

The worlds' game: collective language manipulation as a space to develop logical abilities in a primary school classroom

引用

EUROPEAN JOURNAL OF PSYCHOLOGY OF EDUCATION 2019年第4期34卷 783-799页

作者： Coppola, Cristina Mollo, Monica Pacelli, Tiziana Univ Salerno Dipartimento Matemat Via Giovanni Paolo 2132 I-84084 Fisciano SA Italy Univ Salerno Dipartimento Sci Umane Filosof & Formaz Via Giovanni Paolo 2132 I-84084 Fisciano SA Italy

This paper presents a Vygotskian research device that focuses on collaborative activities based on the manipulation of linguistic objects in a primary school classroom, with 8-9-year-old children. Through social exchanges among the different points of view, the children were engaged in a dynamic process of building and negotiating mathematical meanings. How the children may become aware of the possibility that the same language can have different interpretations as well as some aspects of the distinction between syntax and semantic is analyzed. The analyzed activity is the "worlds' game," the final step of a didactic path based on the construction and manipulation of a procedural language. The content analysis of the elicitation interviews allows to reconstruct children's reasoning, individually developed during and after the activities. From a qualitative analysis, it emerges how almost all the children reached a good level of awareness and mastery about the possibility that the same language can have different interpretations and, therefore, about some aspects of the difference between syntax and semantics.

关键词： Language syntax and semantics Social interactions Manipulation

来源：评论

学校读者我要写书评

暂无评论

A flexible, syntax independent representation (SIR) for System Level Design models

A flexible, syntax independent representation (SIR) for Syst...

引用

9th EUROMICRO Conference on Digital System Design - Architectures, Methods and Tools

作者： Viskic, Ines Domer, Rainer Univ Calif Irvine Ctr Embedded Comp Syst Irvine CA 92617 USA

ISBN: (纸本)0769526098

System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer from detailed manual implementation by raising the level of abstraction in design models. There are many different modeling approaches to SLD. With the abundance of design languages and supporting tools, a designer can create a multitude of models of the same system that are difficult to compare and evaluate against each other Also, it is not unusual for the same system model to comply to specification guidelines in one simulation tool, and exceed them in another. This paper presents an approach to circumvent this problem by describing a design model using a syntax Independent Representation (SIR). Such representation of the model complies to modeling guidelines shared by various SLD languages but is not restricted by their syntactic compositions. Further, the same structure can represent models on different levels of abstraction. Our multidimensional and multipurpose SIR structure can be projected onto planes of modeling languages including SpecC and SystemC, as demonstrated by experimental results shown in this work.

关键词： system level design modeling simulation evaluation model representation data structure syntax and semantics

来源：评论

学校读者我要写书评

暂无评论

PASSING MARKERS - A THEORY OF CONTEXTUAL INFLUENCE IN LANGUAGE COMPREHENSION

引用

COGNITIVE SCIENCE 1983年第3期7卷 171-190页

作者： CHARNIAK, E Brown University

Most Artificial Intelligence theories of longuoge either assume o syntactic component which serves OS front end for the rest of the system, or else re- ject all attempts ot distinguishing modules within the comprehension system. In this paper we will present on alternotive which, while keeping modularity, will account for several puzzles for typical syntax first theories. The maior addition to this theory is o marker passing (or spreading activation ) com- ponent, which operates in parallel to the normal syntactic component.

关键词： .shown figure passing sentence assume Uses rest Markers activation puzzles syntactic spreading syntax and semantics language comprehension

来源：评论

学校读者我要写书评

暂无评论

Foundational issues

引用

JOURNAL OF LINGUISTICS 2004年第3期40卷 571-591页

作者： Phillips, C Lau, E Univ Maryland Dept Linguist College Pk MD 20782 USA

Reviews the book 'Foundations of Language,' by Ray Jackendoff.

关键词： .Agreement quite syntax and semantics Jackendo Cambridge University Press Foundations of language parallel architecture syntactocentric

来源：评论

学校读者我要写书评

暂无评论

Editor's Introduction: 2017 Rumelhart Prize Issue Honoring Lila R. Gleitman

引用

TOPICS IN COGNITIVE SCIENCE 2020年第1期12卷 7-21页

作者： Landau, Barbara Johns Hopkins Univ Dept Cognit Sci 241 Krieger Hall Baltimore MD 21218 USA

This is the Editor's introduction to the Special Issue of TopiCS in honor of Lila R. Gleitman's receipt of the 2017 David E. Rumelhart Prize. The introduction gives an overview of Gleitman's intellectual h... 详细信息

关键词： Lila R Gleitman Language learning Cognitive science Computational Syntactic bootstrapping syntax and semantics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：