「Semantics」の共起表現一覧(1語右で並び替え)
該当件数 : 231件
| The appeal of this approach is the elegant | semantics: a change in the axioms has a well-defined c |
| With Peter Mosses he developed action | semantics, a combination of denotational semantics, op |
| Functional | Semantics: A Theory of Meaning, Structure and Tense in |
| In Henkin | semantics, a separate domain is included in each inter |
| Action | Semantics aims to be pragmatic. |
| Commit or rollback | semantics, also known as strong exception safety or no |
| In denotational | semantics an object function f : A → B can be modelled |
| Linguistic | Semantics: An introduction (1995) |
| introduced his adaptive Universal Syntax and | Semantics Analyzer (USSA) in 1992. |
| essor Victor Raskin, a father of ontological | semantics and noted international authority in the fie |
| l, The Navya-Nyaya Doctrine of Negation: The | Semantics and Ontology of Negative Statements in Navya |
| n both Hindi and English, about the grammar, | semantics, and dialectology of Hindi. |
| th continuous-time and event-driven modeling | semantics, and so is suitable for analog, digital, and |
| ocument presentations, that assigns specific | semantics and processing expectations to a fixed set o |
| It has first-order logic | semantics, and includes machinery for reasoning, inclu |
| al basis, i.e. they have a formal syntax and | semantics, and can be mapped to an existing formal lan |
| etical computer science (lambda-calculus and | semantics) and higher dimensional algebra. |
| In many Wiki markup languages, the | semantics and effect of HTML <blockquote> is different |
| "Structural | Semantics and Instrumental Music". |
| anguage (especially the relationship between | semantics and syntax), but he claims, "I'm probably be |
| nguage are used to represent both syntax and | semantics, and function is assigned in hard to grasp w |
| he original, relative to a particular formal | semantics and in fewer cases the transformations resul |
| ISO/IEC 26300 specification states that the | semantics and the syntax is dependant on the used name |
| Semantics and Pragmatics: Meaning in Language and Disc | |
| ther related dialects, their interpretation, | semantics, and compilation and contains code for 11 in |
| r debate is raging today between traditional | semantics and cognitive linguistics, over the view whe |
| It had largely Lisp-like | semantics and Algol 60-like syntax. |
| ge, since each of them has its own concepts, | semantics and terminology; the term may not even be ap |
| Well-defined formal | semantics and support for formal analysis |
| t whose expertise includes modals, situation | semantics, and a range of topics relating to the synta |
| ed a leading role in the development of game | semantics, and its applications to the semantics of pr |
| so interpret the model to provide executable | semantics and perform complex analyses. |
| "Moral | Semantics and Empirical Enquiry," Moral Psychology, ed |
| f the OWL family have model theoretic formal | semantics, and so have strong logical foundations. |
| He was one of the founders of denotational | semantics, and a pioneer in programming language desig |
| veloper of domain theory in logic form, game | semantics and categorical quantum mechanics |
| Jackendoff takes syntax, | semantics and phonology all to be generative, connecte |
| a-3 is defined with a structured operational | semantics and with a set of static type rules. |
| of Auckland, researcher on language syntax, | semantics and standardology. |
| The book is "a study in sociological | semantics and the sociology of science", as the subtit |
| tions in the study of modal logic and formal | semantics, and is author of Modal Logic for Philosophe |
| , Joachim (1971), Torsion theories, additive | semantics, and rings of quotients, With an appendix by |
| iding a common interface usable for defining | semantics applicable toward arbitrary language binding |
| t, and *-s, are highly widespread, but their | semantics are difficult to reconstruct (Matisoff 2003: |
| Newsqueak's syntax and | semantics are influenced by the C language, but its ap |
| to A(I,K), assuming the multiple assignment | semantics are left to right. |
| to a verbal structure; the arguments and the | semantics are determined by the N and the tense marker |
| More abstract | semantics are then derived; for instance, one may cons |
| Its syntax and | semantics are based on procedural (imperative) and fun |
| Ghinnawa | semantics are well-defined only in context, because of |
| 2.0 defines a mode of execution in which the | semantics are modified to be as close as possible to X |
| to an immutable object behaves with the same | semantics as a value type variable-for example, in bot |
| gramming language) is a future with blocking | semantics as defined above. |
| It happens that defining Actor | semantics as in Clinger [1981] does not require solvin |
| Semantics aside, I think that your version looks bette | |
| d Korzybski founded the Institute of General | Semantics at the former Richardson mansion in Lime Roc |
| aught English, creative writing, and general | semantics at San Francisco State College, where he was |
| (1879-1950) founded the Institute of General | Semantics at a country estate in the Salisbury hamlet |
| Aside from formal | semantics, attribute grammars have also been used for |
| s spurred on by the development of Cognitive | Semantics, beginning in 1975 and extending through the |
| level adds expressibility to the expression | semantics, but either loses some desirable property or |
| A Structural Approach to Operational | Semantics by G.D. Plotkin (1981) |
| ink this is incredibly disingenuous to bandy | semantics by calling it so. |
| g Z: A Specification Language and its Formal | Semantics, Cambridge University Press, Cambridge Tract |
| ations that exist in the industry containing | semantics compatible with leading business process mod |
| Denotational | semantics concerns itself with finding more appropriat |
| Their work has spawned work on | semantics, connections between classical logic and com |
| Political Philosophy, Philosophy of Biology, | Semantics, Critical Race Theory and Postcolonialism. |
| 1975, | Semantics, Crowell, 1975. |
| ves two operations, with simple denotational | semantics defined in terms of lambda calculus. |
| The most precise | semantics, describing very closely the actual executio |
| Formal | semantics: Description by mathematics. |
| Since Tarskian | semantics does not allow indeterminate truth values, i |
| hristi," in which he utilized "governmental" | semantics drawn from his training in law and his gener |
| pers and articles on his theory of cognitive | semantics, first called Three-Dimensional Semantics an |
| a formal language that provides a syntax and | semantics for the Web Service Modeling Ontology (WSMO) |
| the language (including a description of its | semantics) for a subset of Modula-2. |
| The game-theoretic | semantics for FOL treats a FOL formula as a game of pe |
| In Kripke | semantics for relevant logic, the implication operator |
| S defines a system architecture, syntax, and | semantics for representation of presence information a |
| Formal | Semantics for VHDL, pp. |
| The rewrite | semantics for RCGs is rather simple, identical to the |
| To prove that a particular operational | semantics for a language satisfies the logical formula |
| can therefore provide different meaning, or | semantics, for an operation, as well as differing impl |
| Superstructure that defines the notation and | semantics for diagrams and their model elements |
| Selinger gives a denotational | semantics for these languages in a category of superop |
| Vereofy uses constraint automata as formal | semantics for the components behavior and for Reo Coor |
| two objects, especially systems of axioms or | semantics for them, are called cryptomorphic if they a |
| Default | Semantics: Foundations of a Compositional Theory of Ac |
| The Action | Semantics framework was originally developed at the Un |
| OWL Full is based on a different | semantics from OWL Lite or OWL DL, and was designed to |
| Although deriving much of its | semantics from Scheme and other Lisps-some implementat |
| Program Verification and | Semantics: Further Work (2004) |
| tion mix from the disciplines of ontological | semantics, fuzzy logic, computational linguistics, and |
| carried out in Carl Hewitt's Message-Passing | Semantics Group at Massachusetts Institute of Technolo |
| A denotational | semantics guarantees the soundness of this definition. |
| In particular, HOL with Henkin | semantics has all the model-theoretic properties of fi |
| uropean language (PIE), their morphology and | semantics, have been reconstructed by modern linguists |
| The well-founded | semantics, however, has a built-in mechanism to circum |
| functional programming language with strict | semantics, implicit parallelism, and efficient array h |
| ecifying the new language features execution | semantics in terms of simple instructions: basic actio |
| theory of discourse interpretation, Default | Semantics, in which she breaks away from the tradition |
| Extension mechanisms allow refining standard | semantics in strictly additive manner, so that they ca |
| They are also related to Heyting algebra | semantics in intuitionistic logic. |
| mally defined using a structured operational | semantics in the style invented by Gordon Plotkin. |
| litigation against such companies as Circuit | Semantics, Inc. (CSI), Technology Modeling Associates, |
| mn, in which he comments on how language and | semantics influence culture and political discourse. |
| ent in that BPDM provides a specification of | semantics integrated in a metamodel, and it includes a |
| and STEP-NC aim to build the information and | semantics into the tool. |
| In logic programming, the well-founded | semantics is one definition of how we can make conclus |
| puter to apply these rules; the well-founded | semantics is one of these ways. |
| The | semantics is similar to English lord (from hlaford "br |
| FP84's | semantics is embodied in an underlying algebra of prog |
| The possibility of giving a type-erasure | semantics is a kind of abstraction principle, ensuring |
| The well-founded | semantics is also a way of making safe inferences in t |
| The cognitive linguistics view of | semantics is that any definition of a word ultimately |
| In mathematical logic, algebraic | semantics is a formal semantics based on algebras stud |
| Action | semantics is a framework for the formal specification |
| The Journal of | Semantics is a leading international peer-reviewed jou |
| A | semantics is a mathematical characterization of a poss |
| ALF's operational | semantics is based on the resolution rule to solve lit |
| Failure | Semantics is a concept used in distributed computing t |
| HOL with these | semantics is equivalent to many-sorted first-order log |
| In programming language theory, | semantics is the field concerned with the rigorous mat |
| ifically: Computational linguistics, Lexical | semantics, Knowledge representation, temporal reasonin |
| re David Crystal was a co-founder of Crystal | Semantics Limited. |
| ct interpretation consists in giving several | semantics linked by relations of abstraction. |
| Natural Language | Semantics Markup Language is a markup language for pro |
| Natural Language | Semantics Markup Language is currently a World Wide We |
| ming language with throw and catch exception | semantics much like in ML. |
| e grammar is an approach to natural language | semantics, named after American logician Richard Monta |
| In programming language | semantics, normalisation by evaluation (NBE) is a styl |
| Regardless of | semantics, nothing came of the week at Goodison Park, |
| -readable and intuitive, but the nesting and | semantics of the XML document are still clear. |
| Hintikka further argues that the standard | semantics of FOL cannot accommodate IF logic because t |
| ge in the UML family, designed to define the | semantics of subject matters precisely." |
| programming language isolates the execution | semantics of a computer architecture from the specific |
| issue in the development of the denotational | semantics of concurrency, and later became part of res |
| The | semantics of fork are that it creates a child process |
| currency, though the run-to-completion (RTC) | semantics of State machines limited the expressiveness |
| independent modeling element may affect the | semantics of the dependent modeling element. |
| ntactic approach, which does not incorporate | semantics of the assertions. |
| cing a number of important techniques in the | semantics of model theory, most importantly presenting |
| tion of the World Wide Web with well-defined | semantics of data structures, which makes it easy for |
| nd technology for storing and retrieving the | semantics of data elements, terminologies, and concept |
| ation, since bisimulation cannot capture the | semantics of the 'eventually' (or 'finally') operator |
| into consideration when defining the default | semantics of the feature. |
| "ANSI/ISO C leaves the | semantics of the wide character set to the specific im |
| ended to specify the encoding, structure and | semantics of a patient summary clinical document for e |
| d) to define an "abstract variable" with the | semantics of imperative variables (namely, with fetch |
| Based on the | semantics of Z39.50, its design objective is that quer |
| The | semantics of bunched logic can be given in terms of Kr |
| alternative | semantics of default logic; |
| Main article: Formal | semantics of programming languages |
| ge specifications has been influenced by the | semantics of a test suite (eg, in the past the specifi |
| der it possible to comprehend the syntax and | semantics of both kinds of language within a single na |
| ic link to be any type of file) and have the | semantics of a hardlink (i.e., they must be immediatel |
| Structads are an approach to the | semantics of logic that are based upon generalising th |
| The | Semantics of Programming Languages: An Elementary Intr |
| In the formal | semantics of programming languages, two terms M and N |
| l modal algebras is the equivalent algebraic | semantics of the modal logic K in the sense of abstrac |
| of Language (1964) and Harman and Davidson's | Semantics of Natural Language (1972). |
| s, in the case of Objective-C because of the | semantics of the #import directive, but more generally |
| This is the | semantics of remote promises in E. |
| f Objects, laying out formal calculi for the | semantics of object-oriented programming languages. |
| For instance, the concrete | semantics of an imperative programming language may as |
| ilored to expose the topics, terminology and | semantics of individual document collections. |
| o be efficiency gains that do not change the | semantics of the emitted object code. |
| aluation, or McCarthy evaluation denotes the | semantics of some Boolean operators in some programmin |
| n programming language theory, the algebraic | semantics of a programming language is a form of axiom |
| The syntax and | semantics of the language are explicit in the behavior |
| of representation which fully determines the | semantics of a sentence. |
| otes on A Structural Approach to Operational | Semantics of 1981 were very influential. |
| The formal | semantics of CTL* formulae are defined with respect to |
| The syntax and | semantics of concatenative languages form the algebrai |
| primarily concerned with syntax, grammar and | semantics of programming languages. |
| nsible for popularizing this approach to the | semantics of natural languages among linguists, especi |
| is a framework for describing the syntax and | semantics of natural languages. |
| The | semantics of μ-calculus in general are related to two- |
| As you can see, the | semantics of hierarchical state decomposition are desi |
| However, many believed that the syntax and | semantics of table:formula was not defined in sufficie |
| The same holds for the standard | semantics of IF logic, except that the games are of im |
| If the | semantics of "self::$word" had been based on "late sta |
| rus" is a famous sentence in relation to the | semantics of proper names. |
| The formal | semantics of a language is given by a mathematical mod |
| rrectness of the program based on the formal | semantics of program statements. |
| Thus, in standard | semantics, once the set of individuals is specified, t |
| It shows how denotational | semantics, operational semantics and algebraic semanti |
| larity) may be based on either the reduction | semantics or on the labelled transition semantics. |
| McDowell, eds., Truth and Meaning: Essays in | Semantics, Oxford University Press, 1976. |
| ciolinguistics, Phonetics/Phonology, Syntax, | Semantics, Pragmatics, Orthography, Historical linguis |
| , phonetics, morphology, syntax, vocabulary, | semantics, pragmatics, and sociolinguistics. |
| In the standard or full | semantics, quantifiers over higher-type objects range |
| His interests include | semantics, reference, naturalism, and relativism. |
| ality, restricted higher order logic (Henkin | semantics), restricted deontic and alethic modal logic |
| spreadsheet functions, including syntax and | semantics, should be created to augment these examples |
| r a small cost in performance, this provides | semantics similar to ext3 ordered mode and increases t |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
