4767 search results - page 708 / 954 » Moving between Contexts |
155
click to vote
ALT
2003
Springer
16 years 3 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
182
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
166
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Recently, there has been considerable interest in providing “trusted computing platforms” using hardware — TCPA and Palladium being the most publicly visible examples. In th...
178
click to vote
MMM
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, a novel framework is developed to support personalized news video recommendation. First, multi-modal information sources for news videos are seamlessly integrated an...
182
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...