12194 search results - page 14 / 2439 » cans 2010 |
MEDIAFORENSICS
2010
13 years 10 months ago
2010
YASS is a steganographic algorithm for digital images that hides messages robustly in a key-dependent transform domain so that the stego image can be subsequently compressed and d...
ENTCS
2007
13 years 8 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
EDM
2010
13 years 10 months ago
2010
Learning management systems capture student's interactions with the course contents in the form of event logs, including the order in which resources are accessed. We build on...
INTERSPEECH
2010
13 years 3 months ago
2010
This study revisits the face-to-tongue articulatory inversion problem in speech. We compare the Multi Linear Regression method (MLR) with two more sophisticated methods based on H...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...