Results 31 to 40 of about 265,863 (294)
DRAT and Propagation Redundancy Proofs Without New Variables [PDF]
Logical Methods in Computer Science, 2021 We study the complexity of a range of propositional proof systems which allow inference rules of the form: from a set of clauses $\Gamma$ derive the set of clauses $\Gamma \cup \{ C \}$ where, due to some syntactic condition, $\Gamma \cup \{ C \}$ is ...
Sam Buss, Neil Thapen
doaj +1 more source
Local Redundancy in SAT: Generalizations of Blocked Clauses [PDF]
Logical Methods in Computer Science, 2018 Clause-elimination procedures that simplify formulas in conjunctive normal form play an important role in modern SAT solving. Before or during the actual solving process, such procedures identify and remove clauses that are irrelevant to the solving ...
Benjamin Kiesl +3 more
doaj +1 more source
Difference Curvature Multidimensional Network for Hyperspectral Image Super-Resolution
Remote Sensing, 2021 In recent years, convolutional-neural-network-based methods have been introduced to the field of hyperspectral image super-resolution following their great success in the field of RGB image super-resolution. However, hyperspectral images appear different
Chi Zhang +4 more
doaj +1 more source
Coding for Optimized Writing Rate in DNA Storage [PDF]
, 2020 A method for encoding information in DNA sequences is described. The method is based on the precisionresolution framework, and is aimed to work in conjunction with a recently suggested terminator-free template independent DNA synthesis method.
Bruck, Jehoshua +3 more
core +1 more source
Visual Saliency Guided Foveated Video Compression
IEEE Access, 2023 Video compression has become increasingly crucial as video resolution and bitrate have surged in recent years. However, most widely applied video compression methods do not fully exploit the characteristics of the Human Visual System (HVS) to reduce ...
Shupei Zhang, Anup Basu
doaj +1 more source
Cut-elimination and Redundancy-elimination by Resolution
Journal of Symbolic Computation, 2000 The authors propose a new cut-elimination procedure for classical predicate calculus LK. The basic formulation treats a particular case: \[ \text{if }A,\Gamma\vdash\Delta\text{ is derivable and }A\text{ is valid, then }\Gamma\vdash\Delta\text{ is derivable}.\tag{\(*\)} \] In general a cut like \(\Gamma\vdash B\); \(B,\Gamma\vdash\Delta/\Gamma \vdash ...
Baaz, Matthias, Leitsch, Alexander
openaire +1 more source
Redundancy Resolution Schemes for Kinematically Redundant Parallel Manipulators
, 2019 Kinematic redundancy may be an alternative for enlarging the workspace and for improving the dynamic performance of parallel manipulators. It can be implemented by the introduction of an extra active joint in an active kinematic chain. Kinematically redundant parallel manipulators require redundancy resolution schemes since their inverse kinematic ...
Martins da Silva, Maíra +1 more
openaire +2 more sources
High Resolution 3D Shape Texture from Multiple Videos [PDF]
, 2014 International audienceWe examine the problem of retrieving high resolution textures of objects observed in multiple videos under small object deformations.
Boyer, Edmond +2 more
core +4 more sources
Image Super-Resolution Using Lightweight Multiscale Residual Dense Network
International Journal of Optics, 2020 The current super-resolution methods cannot fully exploit the global and local information of the original low-resolution image, resulting in loss of some information.
Shilin Li +4 more
doaj +1 more source
High-Resolution and Wide-Swath 3D Imaging for Urban Areas Based on Distributed Spaceborne SAR
Remote Sensing, 2023 Tomographic synthetic aperture radar (TomoSAR) obtains elevation resolution by adding multiple baselines successively in the direction perpendicular to the line of sight, thereby realizing three-dimensional (3D) reconstruction of complex scenes and ...
Yaqian Yang +5 more
doaj +1 more source