766 search results - page 86 / 154 » Detecting modifications in paper documents: a coding approac... |
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
IH
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we introduce a new feature-based steganalytic method for JPEG images and use it as a benchmark for comparing JPEG steganographic algorithms and evaluating their embe...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
As the use of Electronic Medical Records (EMRs) becomes more widespread, so does the need for effective information discovery on them. Recently proposed EMR standards are XML-based...
IEEEPACT
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—In this paper1, we propose and analyze a novel idea of performing interference cancellation (IC) in a distributed/cooperative manner, with a motivation to provide multiu...