Results 51 to 60 of about 166,773 (130)

Fast Split Bregman Based Deconvolution Algorithm for Airborne Radar Imaging

Remote Sensing, 2020
Deconvolution methods can be used to improve the azimuth resolution in airborne radar imaging. Due to the sparsity of targets in airborne radar imaging, an L 1 regularization problem usually needs to be solved.
Yin Zhang, Qiping Zhang, Yongchao Zhang, Jifang Pei, Yulin Huang, Jianyu Yang   +5 more
doaj   +1 more source

Cognitive Computation sans Representation [PDF]

, 2017
The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content
A Clark, A Noë, CE Shannon, D Hutto, F Brentano, F Dretske, F Dretske, F Egan, F Egan, G Piccinini, G Piccinini, H Putnam, J Fodor, J Fodor, J Fodor, J Fodor, J Searle, J Searle, M Milkowski, M Rescorla, M Sprevak, N Chomsky, O Shagrir, P Schweizer, P Schweizer, R Brooks, R Millikan, R Millikan, S Stich, T Crane, T Gelder Van   +30 more
core   +2 more sources

Empirical methods for computing phrasal and sentential semantics in Vietnamese

Vietnam Journal of Computer Science, 2017
The purpose of this paper is to build the sets of clauses in definite clause grammar, which can express the phrasal and sentential semantics. We build these sets based on the semantic models of computational and inferential methods for analyzing the ...
Son The Pham, Dang Tuan Nguyen
doaj   +1 more source

Computational Soundness for Dalvik Bytecode

, 2016
Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenges that existing approaches for understanding an app's behavior struggle to
Backes M., Backes M., Barthe G., Galindo D., Internet, Lochbihler A., Shao J.   +6 more
core   +1 more source

A General Framework for Sound and Complete Floyd-Hoare Logics [PDF]

, 2008
This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the ...
Arthan R., Blass A., Boulton R. J., Erik A. Mathiesen, Escardó M. H., Martin U., Paulo Oliva, Rob Arthan, Simpson A. K., Ursula Martin   +9 more
core   +1 more source

DLNet: A Dual-Level Network with Self- and Cross-Attention for High-Resolution Remote Sensing Segmentation

Remote Sensing
With advancements in remote sensing technologies, high-resolution imagery has become increasingly accessible, supporting applications in urban planning, environmental monitoring, and precision agriculture.
Weijun Meng, Lianlei Shan, Sugang Ma, Dan Liu, Bin Hu   +4 more
doaj   +1 more source

Towards Universal Semantic Tagging [PDF]

, 2017
The paper proposes the task of universal semantic tagging---tagging word tokens with language-neutral, semantically informative tags. We argue that the task, with its independent nature, contributes to better semantic analysis for wide-coverage ...
Abzianidze, Lasha, Bos, Johan
core   +1 more source

A Short Note on Generating a Random Sample from Finite Mixture Distributions

Axioms
Computational statistics is a critical skill for professionals in fields such as data science, statistics, and related disciplines. One essential aspect of computational statistics is the ability to simulate random variables from specified probability ...
Luai Al-Labadi, Anna Ly
doaj   +1 more source

The Equational Approach to CF2 Semantics

, 2012
We introduce a family of new equational semantics for argumentation networks which can handle odd and even loops in a uniform manner. We offer one version of equational semantics which is equivalent to CF2 semantics, and a better version which gives the ...
Gabbay, Dov M.
core   +1 more source

Efficient Nyström-Based Unitary Single-Tone 2D DOA Estimation for URA Signals

Mathematics
We propose an efficient Nyström-based unitary subspace method for low-complexity two-dimensional (2D) direction-of-arrival (DOA) estimation in uniform rectangular array (URA) signal processing systems.
Liping Yuan, Ke Wang, Fengkai Luan
doaj   +1 more source