Results 221 to 230 of about 2,865,260 (284)
Robust point cloud lightweighting with multi-scale adaptive filtering and entropy-driven subdivision. [PDF]
PLoS OneZeng W, Gao X, Lu Q, Zhu N, Li M, Cai W.
europepmc +1 more source
Dual Color tau-STED Super Resolution Microscopy in <i>Arabidopsis</i> Root Tip. [PDF]
Bio ProtocFougère L +3 more
europepmc +1 more source
Letter: Assessing the True Filtering Effect of Colon Capsule Endoscopy in Surveillance Cohorts. [PDF]
Endosc Int OpenLei II, Koulaouzidis A.
europepmc +1 more source
Adaptive Visual Sensing Deviation Detection and Real-Time Tracking Control of Swing-Arc Narrow-Gap Weld Based on Variation Coefficient Recognition. [PDF]
Sensors (Basel)Wang J, Su N, Wang J.
europepmc +1 more source
High-dimensional partial linear model with trend filtering. [PDF]
Electron J StatLee SK, Loftfield E, Hong HG, Weng H.
europepmc +1 more source
Preprocessing Strategies for Animal Behavior Classification Using Inertial Sensors: Effects of Filtering, Normalization, and Data Representation. [PDF]
Sensors (Basel)Amorim MDN, Silva-Miranda KOD.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Abstract Optimal Linear Filtering
SIAM Journal on Control and Optimization, 2000The linear optimal filtering problems in infinite-dimensional Hilbert spaces and their extensions are investigated. The quality functional is allowed to be a general quadratic functional defined by a possibly degenerate operator. The solutions of the stable and the causal filtering problems are obtained.
Michael Ruzhansky
exaly +3 more sources
Science of Computer Programming, 2020
Abstract In propositional formulas, literals are assigned to True or False in each assignment. Backbone literals are always assigned to True in every satisfiable assignment (model) of the given formula. Backbone literals are keys to improve the performance of SAT testing and SAT-based applications, such as model checking and program analysis. In this
Yueling Zhang +2 more
openaire +2 more sources
Abstract In propositional formulas, literals are assigned to True or False in each assignment. Backbone literals are always assigned to True in every satisfiable assignment (model) of the given formula. Backbone literals are keys to improve the performance of SAT testing and SAT-based applications, such as model checking and program analysis. In this
Yueling Zhang +2 more
openaire +2 more sources
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2017
Backbone is the common part of each solution in a given propositional formula, which is a key to improving the performance of SAT solving and SAT-based applications, such as model checking and program analysis. In this paper, we propose an optimized approach that combines implication-driven (IDF), conflict-driven (CDF), and unique-driven (UDF ...
Yueling Zhang +4 more
openaire +2 more sources
Backbone is the common part of each solution in a given propositional formula, which is a key to improving the performance of SAT solving and SAT-based applications, such as model checking and program analysis. In this paper, we propose an optimized approach that combines implication-driven (IDF), conflict-driven (CDF), and unique-driven (UDF ...
Yueling Zhang +4 more
openaire +2 more sources
Statistics & Risk Modeling, 1993
Summary: We consider the problem of discrete-time causal filtering for scalar systems in the presence of data outliers. We model the outliers as an extension to time-series of Huber's \(\varepsilon\)-contamination model [\textit{P. J. Huber}, Ann. Math. Statist. 35, 73-101 (1964; Zbl 0136.398); ibid.
Birmiwal, Kailash, Shen, Jun
openaire +2 more sources
Summary: We consider the problem of discrete-time causal filtering for scalar systems in the presence of data outliers. We model the outliers as an extension to time-series of Huber's \(\varepsilon\)-contamination model [\textit{P. J. Huber}, Ann. Math. Statist. 35, 73-101 (1964; Zbl 0136.398); ibid.
Birmiwal, Kailash, Shen, Jun
openaire +2 more sources