When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Background: Oligonucleotide arrays have become one of the most widely used high-throughput tools in biology. Due to their sensitivity to experimental conditions, normalization is ...
Marc Hulsman, Anouk Mentink, Eugene P. van Someren...
This paper presents Bayesian edge inference (BEI), a
single-frame super-resolution method explicitly grounded in
Bayesian inference that addresses issues common to existing
meth...
Bryan S. Morse, Dan Ventura, Kevin D. Seppi, Neil ...
Authentication watermarking is the process that inserts hidden data into an object (image) in order to detect any fraudulent alteration perpetrated by a malicious hacker. In the l...
The encoding of shape information is a distinguishing feature of MPEG-4. In error prone communication networks, it is important and efficient to conceal shape errors spatially, so...
Guido M. Schuster, Xiaohuan Li, Aggelos K. Katsagg...