Sciweavers

1912 search results - page 225 / 383
» On the evaluation of argumentation formalisms
Sort
View
ICML
2008
IEEE
16 years 7 months ago
A worst-case comparison between temporal difference and residual gradient with linear function approximation
Residual gradient (RG) was proposed as an alternative to TD(0) for policy evaluation when function approximation is used, but there exists little formal analysis comparing them ex...
Lihong Li
ICML
1999
IEEE
16 years 7 months ago
AdaCost: Misclassification Cost-Sensitive Boosting
AdaCost, a variant of AdaBoost, is a misclassification cost-sensitive boosting method. It uses the cost of misclassifications to update the training distribution on successive boo...
Wei Fan, Salvatore J. Stolfo, Junxin Zhang, Philip...
WWW
2001
ACM
16 years 7 months ago
Finding authorities and hubs from link structures on the World Wide Web
Recently, there have been a number of algorithms proposed for analyzing hypertext link structure so as to determine the best "authorities" for a given topic or query. Wh...
Allan Borodin, Gareth O. Roberts, Jeffrey S. Rosen...
CHI
2009
ACM
16 years 7 months ago
GestureBar: improving the approachability of gesture-based interfaces
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
Andrew Bragdon, Robert C. Zeleznik, Brian Williams...
CAV
2009
Springer
150views Hardware» more  CAV 2009»
16 years 7 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur