6693 search results - page 1131 / 1339 » Methods of Automatic Algorithm Generation |
129
Voted
ISMAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper introduces a ”Diminished Reality” technique for removing an object or collection of objects and replacing it with an appropriate background image. Diminished Realit...
106
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
141
Voted
WWW
2003
ACM
15 years 8 months ago
2003
ACM
Current search engines generally employ link analysis techniques to web-page re-ranking. However, the same techniques are problematic in small webs, such as websites or intranet w...
121
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
132
Voted
APCCAS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we develop a robust bit-plane watermarking technique based on zerotree coding. A robust watermark is an imperceptible but indelible code that can be used for owners...