909 search results - page 114 / 182 » Reversible data hiding |
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
ICIP
1994
IEEE
14 years 1 months ago
1994
IEEE
This paper describes a new region-growing method for segmenting medical images. The method uses a closed snake driven by a pressure force that is a function of the statistical cha...
MBUI
2004
13 years 11 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
VCIP
2003
13 years 11 months ago
2003
Recent advances in video coding technology have resulted in rapid growth of application in mobile communication. With this explosive growth, reliable transmission and error resili...
CASCON
1993
13 years 11 months ago
1993
There is a signi cant di erence between documentinglarge programs and documenting small ones. By large programs we mean on the order of 1,000,000 lines, usually written by many di...