3233 search results - page 76 / 647 » Validation Method for Intelligent Systems |
128
click to vote
LOPSTR
1995
Springer
15 years 6 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
119
click to vote
TSE
1998
15 years 2 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
118
click to vote
AIPR
2005
IEEE
15 years 8 months ago
2005
IEEE
Medical image fusion is becoming increasingly popular for enhancing diagnostic accuracy by intelligently ‘fusing’ information obtained from two different images. These images ...
113
Voted
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
130
click to vote
MAGS
2008
15 years 2 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...