Sciweavers

1724 search results - page 154 / 345
» Abstract Interpreters for Free
Sort
View
DICTA
2003
15 years 8 months ago
Image Ownership Verification via Private Pattern and Watermarking Wavelet Filters
Abstract. In this paper, we propose a watermarking scheme for the image ownership verification in terms of a private key pattern and wavelet filters. The watermarking is mainly ach...
Zhuan Qing Huang, Zhuhan Jiang
ANLP
2000
123views more  ANLP 2000»
15 years 7 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay
ICDE
2010
IEEE
183views Database» more  ICDE 2010»
15 years 6 months ago
A first step towards integration independence
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...
Laura M. Haas, Renée J. Miller, Donald Koss...
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 6 months ago
Tight Bounds on the Capacity of Binary Input random CDMA Systems
Abstract-- We consider code division multiple access communication over a binary input additive white Gaussian noise channel using random spreading. For a general class of symmetri...
Satish Babu Korada, Nicolas Macris
CORR
2008
Springer
59views Education» more  CORR 2008»
15 years 6 months ago
A global physician-oriented medical information system
Abstract. We propose an Internet-based, free, world-wide, centralized medical information system with two main target groups: practicing physicians and medical researchers. After a...
Axel Boldt, Michael Janich