386 search results - page 35 / 78 » Model Classifications and Automated Verification |
WISE
2008
Springer
14 years 2 months ago
2008
Springer
This paper describes Automated Industry and Occupation Coding System (AIOCS). The main function of the system is to classify natural language responses to survey questionnaires int...
CBMS
2001
IEEE
13 years 11 months ago
2001
IEEE
An approach of abnormality detection from color jiindirs images for automated mass screening system is proposed in this paper, which uses the object-based color difference image. ...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
IJIT
2004
13 years 9 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...