4502 search results - page 387 / 901 » Regular Model Checking |
180
click to vote
APCSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
Multimedia devices demands a platform integrated various functional modules and an increasing support of multiple standards. Stream architecture is able to solve the problem. Howev...
169
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
While much work has been devoted to the study of cache behavior during the execution of codes with regular access patterns, little attention has been paid to irregular codes. An i...
165
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
Trajectory-based interactions, such as navigating through nested-menus, drawing curves, and moving in 3D worlds, are becoming common tasks in modern computer interfaces. Users’ ...
189
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a novel method for addressing the model selection problem in the context of kernel methods. In contrast to existing methods which rely on hold-out testing or t...
164
click to vote
NIPS
2001
15 years 8 months ago
2001
We derive an equivalence between AdaBoost and the dual of a convex optimization problem, showing that the only difference between minimizing the exponential loss used by AdaBoost ...