679 search results - page 33 / 136 » hybrid 2010 |
ENDM
2000
13 years 9 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 8 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
JDCTA
2010
13 years 4 months ago
2010
The method of improved wavelet transform neural network based on hybrid GA(genetic algorithm) is presented to diagnose rolling bearings faults in this paper. Genetic Artificial Ne...
DSS
2000
13 years 9 months ago
2000
Z .The World-Wide Web WWW based Internet services have become a major channel for information delivery. For the same reason, information overload also has become a serious problem...
IJACTAICIT
2010
13 years 7 months ago
2010
We have proposed a fault-prone software module detection method using text-filtering approach, called Fault-proneness filtering. Even though the fault-proneness filtering achieved...