5122 search results - page 689 / 1025 » Comparing Consequence Relations |
168
click to vote
SIGIR
2006
ACM
16 years 21 days ago
2006
ACM
Pseudo-relevance feedback has proven to be an effective strategy for improving retrieval accuracy in all retrieval models. However the performance of existing pseudo feedback meth...
194
click to vote
UIST
2006
ACM
16 years 21 days ago
2006
ACM
Interactive environment-aware display bubbles have been introduced in a novel display metaphor [3] which allows screens to be instantiated with a freeform shape anywhere on demand...
171
click to vote
CSFW
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
180
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...
168
click to vote
ECRTS
2005
IEEE
16 years 11 days ago
2005
IEEE
Branch prediction mechanisms are becoming commonplace within current generation processors. Dynamic branch predictors, albeit able to predict branches quite accurately in average,...