3557 search results - page 157 / 712 » Reviews |
161
click to vote
RSCTC
1998
Springer
15 years 11 months ago
1998
Springer
This paper reviews and discusses generalizations of Pawlak rough set approximation operators in mathematical systems, such as topological spaces, closure systems, lattices, and pos...
180
click to vote
FSTTCS
1994
Springer
15 years 11 months ago
1994
Springer
We review the past ten years in computational complexity theory by focusing on ten theorems that the author enjoyed the most. We use each of the theorems as a springboard to discus...
145
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
133
click to vote
IFIP
1992
Springer
15 years 11 months ago
1992
Springer
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...
174
click to vote
AII
1989
15 years 11 months ago
1989
In the recent development ofwrious models of learning inspired by the PAC learning model (introduced by Valiant) there has been a trend towards models which are as representation ...