35416 search results - page 6731 / 7084 » Evaluation |
201
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We present the first temporal-difference learning algorithm for off-policy control with unrestricted linear function approximation whose per-time-step complexity is linear in the ...
192
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
211
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
219
click to vote
ISLPED
2010
ACM
15 years 7 months ago
2010
ACM
Memories play a key role in FGPAs in the forms of both programming bits and embedded memory blocks. FPGAs using non-volatile memories have been the focus of attention with zero bo...
177
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...