1921 search results - page 232 / 385 » Stereo Without Search |
114
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
This paper presents the Finished Store Buffer (or FSB), an alternative and position-insensitive approach for building a scalable store buffer for an out-of-order processor. Exploi...
174
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
136
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present an effective method to optimize over the parameters of an image patch descriptor to obtain one that is computationally more efficient while maintaining a high recogniti...
173
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
156
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
A simple theoretical framework is developed to evaluate the security and usability of eavesdroppingresistant authentication schemes. Such schemes strive to allow users to authenti...