Proof-theoretic semantics | Journal of Web Semantics | Institute of General Semantics | Denotational semantics of the Actor model#Clinger's Model | Algorithms for Recovery and Isolation Exploiting Semantics |
Alan Jeffrey (Jerry) Nussbaum (born December 17, 1947) is an American Indo-European (IE) linguist and classical philologist, best known for his work on the language of the Homeric epics and the nominals of the IE languages and of reconstructed Proto-Indo-European (PIE) — especially their derivational semantics and morphology (including that of the “Caland system”).
Abstract Query Model, A model for the structure and evaluation semantics of a query in JCR according to JSR-283 (see Content repository API for Java)
BMDFM dynamic scheduling subsystem performs an SMP emulation of Tagged-Token Dataflow Machine to provide the transparent dataflow semantics for the applications.
The scope of BCTCS includes all aspects of theoretical computer science, including algorithms, complexity, semantics, formal methods, concurrency, types, languages and logics.
The book is credited with converting the industry from tag soup and Flash to semantics and accessibility via correct use of HTML, CSS, and JavaScript.
This is distinctly different from the Folkish beliefs of most Germanic Neo-Pagans who distinctly eschew affiliations with Neo-Nazis and White Supremacists, although sometimes the lines are blurred by terminology and semantics.
HTML+TIME (Timed Interactive Multimedia Extensions) was the name of a W3C submission from Microsoft, Compaq/DEC and Macromedia that proposed an integration of SMIL semantics with HTML and CSS.
Gio Wiederhold and John Ehrman, "Inferred SYNTAX and SEMANTICS of PL/S", Proceedings of the SIGPLAN symposium on Languages for system implementation 1971, in SIGPLAN Notices 6(10) October 1971
Groenendijk wrote a joint Ph.D. dissertation with Martin Stokhof on the formal semantics of questions, under the supervision of Renate Bartsch and Johan van Benthem.
Lemmon was a pioneer of the modern approach to the semantics of modal logic, particularly through his collaboration with Dana Scott, but also became interested in the rival algebraic semantics of modal logic that follows more closely the kind of semantics found in the work of Tarski and Jònsson.
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal.
With the rise of new ideas after the ground break of Saussure's work, prestructuralist diachronic semantics was considerably criticized for the atomic study of words, the diachronic approach and the mingle of nonlinguistics spheres of investigation.
Semantics of this form has not provided a very great challenge to that sketched in Tarski's Semantic theory of truth, but many philosophers interested in reconstituting the semantics of logic in a way that respects Ludwig Wittgenstein's meaning is use have felt that harmony holds the key.
He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.
Interest revived in plurals with work in linguistics in the 1970s by Remko Scha, Godehard Link, Fred Landman, Roger Schwarzschild, Peter Lasersohn and others, who developed ideas for a semantics of plurals.
semantics, presentation, and behavior", and based on the then-common use of CSS hacks to work around rendering bugs in specific browsers, the PE strategy has taken on a life of its own as new designers have embraced the idea and extended and revised the approach.
Quantificational variability effect — a linguistic observation about a feature of natural language semantics
Sebastian Schaffert and Tassilo Pellegrini: Proceedings of the I-SEMANTICS 2007 as part of Triple-I 2007 JUCS.
Senseval-3 looked beyond the lexemes and started to evaluate systems that looked into wider areas of semantics, such as Semantic Roles (technically known as Theta roles in formal semantics), Logic Form Transformation (commonly semantics of phrases, clauses or sentences were represented in first-order logic forms) and Senseval-3 explored performances of semantics analysis on Machine Translations.
The interpretation of these triplets is (implicitly) based on the semantics of a simple Description logic (DL).
A high-level subject-oriented interpreter model for the semantics of the S-BPM constructs has been published by Egon Börger.
Cartman joins the United States Border Patrol as a volunteer, where he is instructed to stop Mexicans from crossing the border, regardless of the "semantics" of which direction they are traveling.
During the same month the UML Partners formed a Semantics Task Force, chaired by Cris Kobryn and administered by Ed Eykholt, to finalize the semantics of the specification and integrate it with other standardization efforts.
The Extended Metadata Registry (XMDR) is a project proposing and testing a set of extensions to the ISO/IEC 11179 metadata registry specifications that deal with the development of improved standards and technology for storing and retrieving the semantics of data elements, terminologies, and concept structures in metadata registries.