6800 search results - page 508 / 1360 » Testing with Functions as Specifications |
184
click to vote
ICML
2003
IEEE
16 years 8 months ago
2003
IEEE
An important issue in reinforcement learning is how to incorporate expert knowledge in a principled manner, especially as we scale up to real-world tasks. In this paper, we presen...
224
click to vote
KDD
2005
ACM
16 years 8 months ago
2005
ACM
This paper presents a generalization of Regression Error Characteristic (REC) curves. REC curves describe the cumulative distribution function of the prediction error of models an...
192
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
225
click to vote
COORDINATION
2005
Springer
16 years 1 months ago
2005
Springer
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...
222
click to vote
CSCW
1994
ACM
15 years 11 months ago
1994
ACM
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...