Sciweavers

6434 search results - page 103 / 1287
» Model Transformations with Reference Models
Sort
View
RTS
2006
176views more  RTS 2006»
13 years 10 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
BMCBI
2010
105views more  BMCBI 2010»
13 years 10 months ago
Evaluation of fecal mRNA reproducibility via a marginal transformed mixture modeling approach
Background: Developing and evaluating new technology that enables researchers to recover gene-expression levels of colonic cells from fecal samples could be key to a non-invasive ...
Nysia I. George, Joanne R. Lupton, Nancy D. Turner...
ICIP
2004
IEEE
14 years 11 months ago
Statistical transformations of frontal models for non-frontal face verification
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
Conrad Sanderson, Samy Bengio
VVEIS
2007
13 years 11 months ago
Transformation of BPMN Models for Behaviour Analysis
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, J...
IDA
2009
Springer
14 years 4 months ago
Modeling the Short Time Fourier Transform Ratio and Application to Underdetermined Audio Source Separation
This paper presents the theoretical background for the Model Based Underdetermined Source Separation presented in [5]. We show that for a given frequency band, in contrast to custo...
Dinh-Tuan Pham, Zaher El-Chami, Alexandre Gu&eacut...