快好知 kuaihz


semantics造句
121. In fact, in his criticism, has also developed a modal logic with non-modal logic truth table semantics sentence comparable to the form of semantics. 122. Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics. 123. Based on operational semantics of a parallel language, a set of transformation rules for various language constructs is established. 124. Semantic primitive is an important concept in lexical semantics. However, it has not been widely studied in the current research of computational linguistics. 125. Metaphor plays an unreplaceable role in the development of vocabulary. It causes the change of prototype meaning, the expansion of semantics, and the development of category. 126. In checking, the semantics embedded in the sample procedure is withdrawn, by which the semantic relation frame describing the procedure is set up. 127. According to the formation of dialect nouns in Lingshi, this paper discusses the grammatical function, semantics and phonetics features of overlap-nouns of dialect in Lingshi. 128. OWL has more facilities for expressing meaning and semantics than XML, RDF, and RDF-S, and thus OWL goes beyond these languages in its ability to represent machine interpretable content on the Web. 129. Some applications, though, may find it useful for pacing message delivery or providing their own delivery insurance semantics. 130. The motivation of nouns verbalization is explored from four perspectives in this paper: philosophy, semantics, principle of economy, and culture. 131. Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations. 132. This paper deals with the background of the celebrated Goodman's new riddle of induction and the logic and semantics of predicate grue. 133. Hyponymy in semantics is related to denotation and connotation in logics. 134. The method to verify soundness of workflow model is researched, though verifying its semantic integrity, based on analysis to workflow model topology and semantics. 135. The most common use of control dependence in software engineering is in determining whether a change to the semantics of a program statement affects the execution of another program statement. 136. Both Cognitive Semantics and Conceptual Semantics take psychologist linguistic view which stresses the study on mental processes and cognitive strategies. 137. Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program. It suits for precisely representing the dynamic semantics of a model. 138. The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs. 139. This paper presents a new image retrieval method based on high-level semantics word and color name. 140. Because of the technical defect of intensional semantics, situantional semantics is much more powerful in the knowledge representation. 141. Programming was fun because I could make cool stuff, but what actually got me obsessed about it was suddenly seeing something interesting in the semantics and syntactics of the very lines of code. 142. On the ground of empiricism, basing on the body perception of the objective world, cognitive semantics thinks that semantic is the process of conceptualization and categorization. 143. One must also develop a denotational semantics for function abstraction and application. 144. This includes identifying and understanding the information semantics, such as the meaning of the data model elements as well as structural information. 145. Cognitive semantics is very important in researches of contemporary linguistics. 146. A BLA definition provides operational semantics for its constituent parts. 147. Therefore, the formal semantics study for UML can improve the veracity, consistency, and extendibility of the language. 148. To some extent the names reflect the typical usage of each lock mode — but the semantics are all the same. 149. However, in accordance with the conceptual structure of the DOC verbs, two objects in DOC show a different degree of salience. This difference is more a matter of semantics than syntax. 150. Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets.