17770 search results - page 3258 / 3554 » A Generalization of Forward-Backward Algorithm |
142
click to vote
KDD
2001
ACM
16 years 4 months ago
2001
ACM
The problem of similarity search (query-by-content) has attracted much research interest. It is a difficult problem because of the inherently high dimensionality of the data. The ...
109
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We present DRAGON, a direct manipulation interaction technique for frame-accurate navigation in video scenes. This technique benefits tasks such as professional and amateur video ...
241
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
265
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
247
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...