Results 21 to 30 of about 176,906 (321)
Airborne Radar Super-Resolution Imaging Based on Fast Total Variation Method
Remote Sensing, 2021 Total variation (TV) is an effective super-resolution method to improve the azimuth resolution and preserve the contour information of the target in airborne radar imaging.
Qiping Zhang +4 more
doaj +1 more source
Atmosphere, 2023 Idealized large-eddy simulations of shallow convection often utilize horizontally periodic computational domains. The development of precipitation in shallow cumulus convection changes the spatial structure of convection and creates large-scale ...
Oumaima Lamaakel +3 more
doaj +1 more source
A Denotational Semantics for First-Order Logic [PDF]
, 2000 In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic.
E. M. Clarke +9 more
core +4 more sources
Entropy, 2020 Information dynamics and computational mechanics provide a suite of measures for assessing the information- and computation-theoretic properties of complex systems in the absence of mechanistic models.
David Darmon
doaj +1 more source
A computational model of the referential semantics of projective prepositions [PDF]
, 2006 In this paper we present a framework for interpreting locative expressions containing the prepositions in front of and behind. These prepositions have different semantics in the viewer-centred and intrinsic frames of reference (Vandeloise, 1991).
Kelleher, John D., van Genabith, Josef
core +2 more sources
Text: now in 2D! A framework for lexical expansion with contextual similarity
Journal of Language Modelling, 2013 A new metaphor of two-dimensional text for data-driven semantic modeling of natural language is proposed, which provides an entirely new angle on the representation of text: not only syntagmatic relations are annotated in the text, but also paradigmatic ...
Chris Biemann, Martin Riedl
doaj +1 more source
Mathematics, 2022 The computational complexity of the multiple-input and multiple-output (MIMO) based least square algorithm is very high and it cannot be run on processing-inefficient low-cost platforms.
Hasan Raza +6 more
doaj +1 more source
Entanglement as a semantic resource [PDF]
, 2010 The characteristic holistic features of the quantum theoretic formalism and the intriguing notion of entanglement can be applied to a field that is far from microphysics: logical semantics. Quantum computational logics are new forms of quantum logic that
Dalla Chiara, ML +3 more
core +1 more source
Second order inference in natural language semantics
Journal of Language Modelling, 2018 In this paper I look at a number of apparently trivial validinferences (as well as some invalid and missing inferences) associatedwith the possessive construction and with different types ofadjectival modification of nouns.
Stephen Guy Pulman
doaj +1 more source
Semantic Abstraction and Quantum Computation [PDF]
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially ...
Di Pierro, Alessandra, Wiklicky, Herbert
openaire +1 more source