Results 261 to 270 of about 379,530 (310)
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 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
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
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, 2022Mark Clements +2 more
exaly
Thinking difference: Theories and models of parametric design thinking
Design Studies, 2017Rivka Oxman
exaly