Results 211 to 220 of about 311,501 (260)
Some of the next articles are maybe not open access.
Parametric Temporal Logic for “Model Measuring”
ACM Transactions on Computational Logic, 1999We extend the standard model checking paradigm of linear temporal logic, LTL, to a “model measuring” paradigm where one can obtain more quantitative information beyond a “Yes/No” answer. For this purpose, we define a parametric temporal logic , PLTL, which allows statements such as “a request p
ALUR R +3 more
openaire +3 more sources
A modeling paradigm incorporating parametric and non-parametric methods
The 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2005A novel parametric/non-parametric modeling paradigm was defined and used in characterization of synaptic transmission. In this paradigm, parametric and nonparametric techniques were incorporated in a complementary manner. Non-parametric method was used to generalize experimental data and extract system input/output properties.
D, Song +3 more
openaire +2 more sources
Integrating parametric and non-parametric models for scene labeling
2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2015We adopt Convolutional Neural Networks (CNN) as our parametric model to learn discriminative features and classifiers for local patch classification. As visually similar pixels are indistinguishable from local context, we alleviate such ambiguity by introducing a global scene constraint.
Bing Shuai +4 more
openaire +1 more source
A parametric model for heart sounds
2015 49th Asilomar Conference on Signals, Systems and Computers, 2015This paper presents a novel way to represent heart sound signals by using a harmonic plus noise model (HNM). A set of time-frequency waveforms are selected by the Matching Pursuit algorithm to form the harmonic part. The noise part is obtained after subtracting the harmonic part to the original signal and is modeled as an autorregresive process using ...
Roilhi F. Ibarra +3 more
openaire +1 more source
Interactive animation of parametric models
The Visual Computer, 1985This paper describes a program which allows parametric models of three-dimensional characters and scenes to be interactively controlled for computer animation. The system attempts to span the two most common approaches to animation: language-driven or programmed and visually-driven or interactive.
Pat Hanrahan, David J. Sturman
openaire +1 more source
VCS and CVS: New combined parametric and non-parametric operation research models
Sustainable Operations and Computers, 2021Mirpouya Mirmozaffari +2 more
exaly
Fitting parametric cure models in R using the packages cuRe and rstpm2
Computer Methods and Programs in Biomedicine, 2022Lasse Jakobsen +2 more
exaly
Customized designs of short thumb orthoses using 3D hand parametric models
Assistive Technology, 2022Chien-Hsiou Liu +2 more
exaly