Sciweavers

46 search results - page 10 / 10
» Attribute reduction in decision-theoretic rough set models
Sort
View
FTRTFT
1998
Springer
15 years 1 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer