252 search results - page 7 / 51 » A Methodology for Automatic Diagnosability Analysis |
UML
2000
Springer
15 years 3 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Some auxiliary systems of next generation naval ships will utilize distributed automatic control. Such distributed control systems will use interconnected sensors, actuators, cont...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
115
click to vote
PR
2011
14 years 6 months ago
2011
The Student’s-t hidden Markov model (SHMM) has been recently proposed as a robust to outliers form of conventional continuous density hidden Markov models, trained by means of t...
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
Kth increasing uncertainties in the modeling and pmcessing of semiconductor devices, it is essential that the sources of failures be identified once the devices ure manufactured I...