4155 search results - page 612 / 831 » External Memory Algorithms |
116
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a methodology to develop recursive filters in reproducing kernel Hilbert spaces (RKHS). Unlike previous approaches that exploit the kernel trick on filtered ...
141
Voted
PAMI
2012
13 years 3 months ago
2012
Binary descriptors are becoming increasingly popular as a means to compare feature points very fast and while requiring comparatively small amounts of memory. The typical approach...
124
click to vote
CADE
2012
Springer
13 years 3 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
104
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Behavior synthesis and optimization beyond the register transfer level require an efficient utilization of the underlying platform features. This paper presents a platform-based ...
86
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
The need to allow threads to abort an attempt to acquire a lock (sometimes called a timeout) is an interesting new requirement driven by state-of-the-art database applications wit...