Sciweavers

2748 search results - page 135 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
ICST
2009
IEEE
15 years 2 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
ICASSP
2009
IEEE
15 years 11 months ago
Language model parameter estimation using user transcriptions
In limited data domains, many effective language modeling techniques construct models with parameters to be estimated on an in-domain development set. However, in some domains, no...
Bo-June Paul Hsu, James R. Glass
ISBI
2004
IEEE
16 years 5 months ago
Predictive Modeling of Anatomic Structures Using Canonical Correlation Analysis
In this paper, we present a method for predictive modeling of anatomic structures using canonical correlation analysis (CCA). Using this technique, certain anatomical structures, ...
Tianming Liu, Dinggang Shen, Christos Davatzikos
TSMC
1998
152views more  TSMC 1998»
15 years 4 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
DAC
2003
ACM
15 years 9 months ago
Model order reduction of nonuniform transmission lines using integrated congruence transform
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
Emad Gad, Michel S. Nakhla