Sciweavers

12943 search results - page 660 / 2589
» Predicting When Not to Predict
Sort
View
UIST
2005
ACM
16 years 25 days ago
Predictive interaction using the delphian desktop
Takeshi Asano, Ehud Sharlin, Yoshifumi Kitamura, K...
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
16 years 25 days ago
Predictive Reachability Using a Sample-Based Approach
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer,...
COLT
2005
Springer
16 years 25 days ago
Improved Second-Order Bounds for Prediction with Expert Advice
Nicolò Cesa-Bianchi, Yishay Mansour, Gilles...