Results 221 to 230 of about 140,769 (264)

A Survey of Parametric Static Analysis

ACM Computing Surveys, 2021
Understanding program behaviors is important to verify program properties or to optimize programs. Static analysis is a widely used technique to approximate program behaviors via abstract interpretation. To evaluate the quality of static analysis, researchers have used three metrics: performance, precision, and soundness.
Jihyeok Park, Hongki Lee, Sukyoung Ryu
openaire   +1 more source

Parametric versus non-parametric complex image analysis

2009 IEEE International Geoscience and Remote Sensing Symposium, 2009
In this paper we compare parametric and non-parametric method for the analysis of complex valued high-resolution SAR data. Gauss-Markov Random Field (GMRF) model with a quadratic energy function as a parametric analysis parameterizes the spectogram of the signal, whereas nonlinear short time Fourier transform (STFT) method, the method based on time ...
Jagmal Singh, Matteo Soccorsi, Mihai Datcu   +2 more
openaire   +1 more source

Parametrizing Program Analysis

2014 Theoretical Aspects of Software Engineering Conference, 2014
A parametric analysis is an analysis whose input and output are parametrized with a number of parameters which can be instantiated to abstract properties after analysis is completed. We use Cousot and Cousot's Cardinal power domain to capture dependencies of analysis output on its input and present a method for obtaining parametric analyses from non ...
openaire   +1 more source

Parametric and non-parametric unsupervised cluster analysis

Pattern Recognition, 1997
Much work has been published on methods for assessing the probable number of clusters or structures within unknown data sets. This paper aims to look in more detail at two methods, a broad parametric method, based around the assumption of Gaussian clusters and the other a non-parametric method which utilises methods of scale-space filtering to extract ...
openaire   +1 more source

Parametric Analysis of Breast MRI

Journal of Computer Assisted Tomography, 2002
Parametric analysis of breast MRI provides unique mapping of pathophysiological characteristics that cannot be obtained by standard conventional MRI. We describe in this review methods based on intrinsic contrast and tissue elasticity as well as methods that use external paramagnetic contrast agents and follow the time evolution of contrast. Processing
Edna, Furman-Haran, Hadassa, Degani
openaire   +2 more sources

Parametric Canonical Correlation Analysis

2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019
Generally, suppose a wave is a linear combination of multiple basis(Not necessarily a sine or cosine waves, it could also be a wavelet, etc.), different types of waves may be similar on some basis, but vary greatly on a certain basis. To address this problem, we introduce a PCCA-based feature extraction method that extends canonical correlation ...
Shangyu Chen, Shuo Wang 0012, Richard O. Sinnott   +2 more
openaire   +1 more source

Non-Parametric Analysis of Covariance

Biometrics, 1995
An analysis of covariance model where the covariate effect is assumed only to be smooth is considered. The possibility of different shapes of covariate effect in different groups is also allowed and tests of equality and of parallelism across groups are constructed.
Young, Stuart G., Bowman, Adrian W.
openaire   +2 more sources

Parametric Transformations for Flexible Analysis

2012 19th Asia-Pacific Software Engineering Conference, 2012
We present an approach for flexible analysis of complex system models based on a parametric model-to-model (M2M) transformation where the target model has variants. We describe a M2M transformation from sequence diagrams (SDs) to coloured Petri nets (CPNs) with (untimed, timed, stochastic) variants enabling different forms of dependability and ...
Juliana Bowles, Dulani Apeksha Meedeniya
openaire   +1 more source

Analysis of parametric resonance in magnetohydrodynamics

European Journal of Mechanics - B/Fluids, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Parametric analysis of computer systems

1997
A general parametric analysis problem which allows the usage of parameter variables in both the real-time automata and the specifications is proposed and solved. The analysis algorithm is much simpler and can run more efficiently in average cases than previous work.
Farn Wang, Pao-Ann Hsiung
openaire   +1 more source