2351 search results - page 272 / 471 » A Method of Requirement Inconsistency Analysis |
146
click to vote
KES
2008
Springer
15 years 5 months ago
2008
Springer
Epilepsy is one of the most frequent neurological disorders. The main method used in epilepsy diagnosis is electroencephalogram (EEG) signal analysis. However this method requires ...
150
click to vote
TELSYS
2002
15 years 5 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
148
click to vote
IPM
2010
15 years 3 months ago
2010
Taxonomy construction is a resource-demanding, top down, and time consuming effort. It does not always cater for the prevailing context of the captured information. This paper pro...
150
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
183
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a method to detect characters on signboards in natural scene images. For many applications, both classifier with small computational cost and the efficient feature set,...