Results 31 to 40 of about 226,897 (274)
Dynamic Semantics for Metaphor [PDF]
PUBLISHED An intensional logic with dynamic interpretation is presented in order to provide a formal semantics for sense extension, lexical ambiguity and metaphoricity. Intensionality is required in order to provide the right account of polysemy and homonymy.
openaire +3 more sources
Order Effects in Dynamic Semantics [PDF]
AbstractIn their target article, Wang and Busemeyer (2013) discuss question order effects in terms of incompatible projectors on a Hilbert space. In a similar vein, Blutner recently presented an orthoalgebraic query language essentially relying on dynamic update semantics.
openaire +3 more sources
δ-Almost Periodic Functions and Applications to Dynamic Equations
In this paper, by employing matched spaces for time scales, we introduce a δ -almost periodic function and obtain some related properties. Also the hull equation for homogeneous dynamic equation is introduced and results of the existence are ...
Chao Wang +2 more
doaj +1 more source
Dynamic Scene Semantics SLAM Based on Semantic Segmentation
Simultaneous Localization and Mapping (SLAM) have become a new research hotspot in the field of artificial intelligence applications such as unmanned driving and mobile robots. Most of the current SLAM research is based on the assumption of static scenes,
Shuangquan Han, Zhihong Xi
doaj +1 more source
Dynamics and Elastic Properties of Glassy Metastable States
By a molecular dynamics (MD) simulation method which ensures the system will be under hydrostatic pressure, dynamic and elastic properties of glassy metatstable states are investigated.
Keiko M. Aoki
doaj +1 more source
In this paper, the non-eigenvalue forms of Liouville’s formulas for delta, nabla and α -diamond matrix dynamic equations on time scales are given and proved.
Zhien Li, Chao Wang, Ravi P. Agarwal
doaj +1 more source
Anaphora and the Logic of Change [PDF]
This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic.
Muskens, Reinhard
core +5 more sources
The Influence of Servo Drive Control on the NC Vertical Milling Machine Dynamic Compliance
A model Numerical Control (NC) machine tool dynamic compliance is analyzed, including the influence of its mechanical structure and position control feed drive algorithms.
Jan Grau, Pavel Souček, Matěj Sulitka
doaj +1 more source
This paper discusses a recent opposition between the influential dynamic semantic account of presupposition projection and a recent Gricean-pragmatic theory.
Stokke, Andreas
core +1 more source
Tabling with Sound Answer Subsumption [PDF]
Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require an ...
Desouter, Benoit +3 more
core +3 more sources

