Results 41 to 50 of about 511,372 (153)
Factoring Predicate Argument and Scope Semantics : underspecified Semantics with LTAG
, 2003 In this paper we propose a compositional semantics for lexicalized tree-adjoining grammar (LTAG). Tree-local multicomponent derivations allow separation of the semantic contribution of a lexical item into one component contributing to the predicate ...
Joshi, Aravind K., Kallmeyer, Laura
core +1 more source
Action semantics for defining dynamic semantics of modeling languages [PDF]
, 2011 Most languages in Model Driven Engineering (MDE) are defined by metamodels. Metamodels specify the structural aspects of models but do not capture the computational meaning of the modeling constructs (the dynamic semantics).
Ivanov, Ivan +3 more
core +1 more source
CCS Dynamic Bisimulation is Progressing
, 1991 Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g.\ $\alpha.\tau.\beta.nil$ and $\alpha.\beta.nil$ are woc but $\tau ...
Ugo Montanari +3 more
core +1 more source
A Review on Advanced Sensing Materials for Agricultural Gas Sensors
Sensors, 2021 This work is a comprehensive review of sensing materials, which interact with several target gases pertinent to agricultural monitoring applications. Sensing materials which interact with carbon dioxide, water vapor (relative humidity), hydrogen sulfide,
Calvin Love +5 more
doaj +1 more source
Dual Content Semantics, privative adjectives, and dynamic compositionality
Semantics and Pragmatics, 2015 This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components.
Guillermo Del Pinal
doaj +1 more source
Indicative Conditionals and Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic.
Wesley H. Holliday, Thomas F. Icard III
doaj +1 more source
A Dynamic Pole Motion Approach for Control of Nonlinear Hybrid Soft Legs: A Preliminary Study
Machines, 2022 Hybrid soft leg systems have been studied for advanced gaits of soft robots. However, it is challenging to analyze and control hybrid soft legs due to their nonlinearity.
Ki-Young Song +2 more
doaj +1 more source
Event in Compositional Dynamic Semantics [PDF]
, 2011 ISBN : 978-3-642-22220-7International audienceWe present a framework which constructs an event-style dis- course semantics. The discourse dynamics are encoded in continuation semantics and various rhetorical relations are embedded in the resulting ...
Amblard, Maxime +3 more
core +1 more source
Parameter Estimation in the Age of Degeneracy and Unidentifiability
Mathematics, 2022 Parameter estimation from observable or experimental data is a crucial stage in any modeling study. Identifiability refers to one’s ability to uniquely estimate the model parameters from the available data. Structural unidentifiability in dynamic models,
Dylan Lederman +3 more
doaj +1 more source
Programming Language Semantics using Miranda [PDF]
, 1995 This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages.
Simon Thompson, Thompson, Simon
core