1382 search results - page 74 / 277 » Formal Analysis of Online Algorithms |
308
click to vote
AUGHUMAN
2010
15 years 4 months ago
2010
We propose a system that registers and retrieves text documents to annotate them on-line. The user registers a text document captured from a nearly top view and adds virtual annot...
170
click to vote
CONCURRENCY
1998
15 years 5 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
392
click to vote
ICA
2012
Springer
14 years 1 months ago
2012
Springer
Non-negative spectrogram factorization algorithms such as probabilistic latent component analysis (PLCA) have been shown to be quite powerful for source separation. When training d...
240
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Many scenarios involve merging of two B-tree indexes, both covering the same key range. Increasing demand for continuous availability and high performance requires that such mergi...
172
click to vote
GLVLSI
2005
IEEE
15 years 11 months ago
2005
IEEE
We develop a novel on-line built-in self-test (BIST) technique for testing FPGAs that has a very high diagnosability even in presence of clustered faults, a fault pattern for whic...