Results 201 to 210 of about 160,246 (263)
PFTuner: An Efficient and Effective Multi-Objective Configuration Tuning Framework Adaptive to Different Software Systems. [PDF]
Sensors (Basel)Feng J, He M, Jin L, Dou H.
europepmc +1 more source
Quality Detection for Dragon Fruit Based on the End-of-Arm Spectral Sensor of the Harvesting Robot. [PDF]
FoodsBai Z, Xu Q, Lou K, Zhang B.
europepmc +1 more source
Large-Scale Drift-Resilient Localization via Multi-Sensor Fusion and Topological Map Matching. [PDF]
Sensors (Basel)Yang X, Shao C, Hou P, Yan J, Fu W.
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 +1 more source
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 +1 more source
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
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 +1 more source
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 +1 more source
Proceedings., International Conference on Image Processing, 2002
This paper deals with the design of a finite impulse response filter for optimal feature extraction in texture segmentation/classification. Motivated by the Fisher criterion, we develop techniques for optimal filter design. Posing some restrictions on the data, we are able to find a closed form solution to the problem, and we develop a unifying ...
Trygve Randen, John Håkon Husøy
openaire +1 more source
This paper deals with the design of a finite impulse response filter for optimal feature extraction in texture segmentation/classification. Motivated by the Fisher criterion, we develop techniques for optimal filter design. Posing some restrictions on the data, we are able to find a closed form solution to the problem, and we develop a unifying ...
Trygve Randen, John Håkon Husøy
openaire +1 more source