4620 search results - page 667 / 924 » Comparing Object Encodings |
171
click to vote
JLP
2010
15 years 1 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
223
click to vote
PVLDB
2010
15 years 1 months ago
2010
Workflows are prevalent in diverse applications, which can be scientific experiments, business processes, web services, or recipes. With the dramatically growing number of workflo...
173
click to vote
TIFS
2010
15 years 1 months ago
2010
Quantitative steganalysis strives to estimate the change rate defined as the relative number of embedding changes introduced by steganography. In this paper, we propose two new cla...
139
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we present a new algorithm for removing drums from a polyphonic audio signal. The aim of this algorithm is to discard time/frequency bins which present a percussive...
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This contribution presents a modified Kalman filter approach for single channel speech enhancement which is operating in the frequency domain. In the first step, temporal corre...