Results 241 to 250 of about 12,438,139 (288)

A model-based method for myocardium flow estimation

Magma: Magnetic Resonance Materials in Physics, Biology, and Medicine, 2000
Results of the present study show that accurate estimates of myocardial blood flow may be obtained using a spatially distributed model of residual curves of an intravascular indicator. In order to improve myocardial blood flow reliability in blood flow estimates, also in presence of background noise inT/I curves, a wavelet-based denoising technique was
MF Santarelli, L Landini, M Lombardi, V Positano, A L'Abbate, A Benassi   +5 more
openaire   +4 more sources

Model-Based Evaluation of Image Segmentation Methods

2000
Image segmentation is the division of an image into (meaningful) parts. In spite of the numerous methods that have been presented over the years, it is surprising to see how little effort has been made to evaluate the results of the various segmentation methods.
Vincken, K.L., Koster, A.S.E., Graaf, C.N., Viergever, M.A.   +3 more
openaire   +2 more sources

MODEL-BASED METHODS FOR STEGANOGRAPHY AND STEGANALYSIS

International Journal of Image and Graphics, 2005
This paper presents methods for performing steganography and steganalysis using a statistical model of the cover medium. The methodology is general, and can be applied to virtually any type of media. It provides answers for some fundamental questions that have not been fully addressed by previous steganographic methods, such as how large a message can
openaire   +1 more source

A Generalized Model-Based Test Generation Method

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
In this paper we present a generalization to the W-method, which can be used for automatically generating test cases.In contrast to the W-method, this generalization allows for test case generation even in the absence of characterization sets for the specification.We give proofs of correctness for this generalization, and show how to derive the ...
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão   +2 more
openaire   +1 more source

A model-based method for phase unwrapping

IEEE Transactions on Medical Imaging, 1996
Presents a model-based phase unwrapping method which represents the unwrapped phase function by a truncated Taylor series and a residual function. An efficient, noniterative computational algorithm is also proposed for calculating the model parameters from the phase derivatives.
openaire   +2 more sources

Model-Based Method for Optimisation of an Adaptive System

International Journal of Software Science and Computational Intelligence, 2022
In a modern information system adaptation, optimization is a crucial aspect. Systems adaptation problematics have been explored in a large set of research, which have not been able to fix every single issue, leaving therefore so many challenges to be explored.
Magagi Ali Bachir, Ismail Jellouli, El Garouani Said, Souad Amjad   +3 more
openaire   +1 more source

Model Based Development with the Skeleton Design Method

2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), 2013
In the template design method, an algorithm is defined in abstract terms. The template can then be used to create various subclasses to override that abstract behavior. This paper discusses a way in which the template method can be extended to the generation of software artifacts from models.
Sean Whitsitt, Jonathan Sprinkle
openaire   +1 more source

A model based program comparison test method

2020 7th International Conference on Dependable Systems and Their Applications (DSA), 2020
In software testing, one of the most important issue is to validate the consistency of program and design. Usually, this kind of design information is expressed by software related documents, such as software requirements, software design, etc. Therefore, how to effectively extract the design information based on these documents is very important.
Shanling Li, Zhanwei Hui
openaire   +1 more source

Proximal policy optimization with model-based methods

Journal of Intelligent & Fuzzy Systems, 2022
Model-free reinforcement learning methods have successfully been applied to practical applications such as decision-making problems in Atari games. However, these methods have inherent shortcomings, such as a high variance and low sample efficiency. To improve the policy performance and sample efficiency of model-free reinforcement learning, we propose
Shuailong Li, Wei Zhang 0071, Huiwen Zhang 0003, Xin Zhang, Yuquan Leng   +4 more
openaire   +1 more source

Model-based verification methods and tools (abstract)

1994
We describe established verification methods in the framework of communicating concurrent systems, focusing on model-based approaches implemented by existing tools for automatic verification.
Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone   +2 more
openaire   +1 more source