Sciweavers

2351 search results - page 122 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
PSTV
1992
113views Hardware» more  PSTV 1992»
14 years 11 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
CSDA
2008
154views more  CSDA 2008»
14 years 10 months ago
Independent factor discriminant analysis
In the general classification context the recourse to the so-called Bayes decision rule requires to estimate the class conditional probability density functions. In this paper we p...
Angela Montanari, Daniela G. Calò, Cinzia V...
COLING
2002
14 years 9 months ago
A Chart-Parsing Algorithm for Efficient Semantic Analysis
In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequen...
Pascal Vaillant
ACIIDS
2009
IEEE
105views Database» more  ACIIDS 2009»
14 years 7 months ago
Stability Analysis of Fuzzy Control for Nonlinear Systems
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
Po-Chen Chen, Ken Yeh, Cheng-Wu Chen, Shu-Hao Lin
ITNG
2008
IEEE
15 years 4 months ago
Prototype Generation from Ontology Charts
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...
George Tsaramirsis, Iman Poernomo