4029 search results - page 567 / 806 » Experience with Software Watermarking |
175
click to vote
STTT
2010
15 years 22 days ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
184
click to vote
TASLP
2010
15 years 22 days ago
2010
Traditional n-gram language models are widely used in state-of-the-art large vocabulary speech recognition systems. This simple model suffers from some limitations, such as overfi...
153
click to vote
TASLP
2010
15 years 22 days ago
2010
We present a frequency-domain technique based on PARAllel FACtor (PARAFAC) analysis that performs multichannel blind source separation (BSS) of convolutive speech mixtures. PARAFAC...
163
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Video error concealment is a post-processing technique that conceals the errors in a decoded video sequence based on data available only at the decoder. Most of the current techni...
198
click to vote
ESORICS
2011
Springer
14 years 5 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...