17770 search results - page 3147 / 3554 » A Generalization of Forward-Backward Algorithm |
194
click to vote
DIALM
2007
ACM
15 years 10 months ago
2007
ACM
In the near future, mobile devices are expected to have a storage capacity comparable to today's desktop machines. As the amount of infomation grows, conventional search tool...
195
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
165
click to vote
APGV
2010
ACM
15 years 10 months ago
2010
ACM
The human visual system is able to quickly and robustly infer a wealth of scene information – the scene "gist" – already after 100 milliseconds of image presentation...
186
click to vote
COCO
2010
Springer
15 years 10 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
199
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
System optimization techniques based on dynamic voltage scaling (DVS) are widely used with the aim of reducing processor energy consumption. Inter-task DVS assigns the same voltag...