6800 search results - page 706 / 1360 » Testing with Functions as Specifications |
207
click to vote
ICIAP
1995
ACM
15 years 10 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...
217
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
Discovering repetitive, interesting, and functional substructures in a structural database improves the ability to interpret and compress the data. However, scientists working wit...
175
click to vote
CTRS
1987
15 years 10 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
205
click to vote
AAAI
2008
15 years 9 months ago
2008
The recent years have witnessed a surge of interests in semi-supervised learning methods. A common strategy for these algorithms is to require that the predicted data labels shoul...
173
click to vote
ADBIS
2008
Springer
15 years 9 months ago
2008
Springer
Integration processes are increasingly used in order to integrate distributed and heterogeneous systems. Although transactional behavior of workflows has been discussed extensively...