1450773
Multiresolution video watermarking using perceptual models and scene segmentation
We introduce a watermarking procedure to embed copyright protection into digital video. Our video dependent watermarking procedure directly exploits the masking and temporal properties to embed an invisible and robust watermark. The watermark consists of static and dynamic temporal components that are generated from a temporal wavelet transform of the video scenes. To generate the watermark, the resulting wavelet coefficient frames are modified by a perceptually shaped pseudo-random sequence representing the author. The noise-like watermark is statistically undetectable to thwart unauthorized removal. Furthermore, the author representation resolves the deadlock problem. The multiresolution watermark may be detected on single frames without knowledge of the location of the frames in the video scene. We demonstrate the robustness of the watermarking procedure to several video distortions.
5048240
Current state of the art, challenges and future directions for audio watermarking
Transparent data embedding algorithms embed binary streams in host multimedia signals. The embedded data is perceptually inaudible to maintain the quality of the source data. The embedded data can add features to the host multimedia signal or provide copyright protection. We review developments and requirements in transparent data embedding techniques for audio signals. We describe our latest audio embedding algorithm and include experimental results indicating robustness to low bit rate MPEG-Layer 3, AAC, and Dolby AC-3 coding. We conclude with a discussion of future research directions.
15174288
Create a large-scale digital library for geo-referenced information
One of the most challenging research issues for geospatial collections is to develop techniques to support fuzzy, conceptbased, geographic information retrieval (GIR). Based on an artificial intelligence approach, this project presents a Geospatial Knowledge Representation System (GKRS) prototype system that integrates multiple multimedia (textual and image) knowledge sources to support concept-based GIR. Based on semantic network and neural network representations, GKRS loosely couples different knowledge sources and adopts spreading activation algorithms for concept-based knowledge inferencing. Both textual analysis and image processing techniques have been employed to create textual and visual geographical knowledge structures. This project suggests a framework for developing a complete GKRS-based system and describes in detail the prototype.
12364749
A Note on the Cramer-Damgård Identification Scheme
In light of the recent work of Micali and Reyzin on showing the subtleties and complexities of the soundness notions of zero-knowledge (ZK) protocols when the verifier has his public-key, we re-investigate the Cramer-Damgard intended-verifier identification scheme and show two man-in-the-middle attacks in some reasonable settings: one simple replaying attack and one ingenious interleaving attack. Our attacks are independent of the underlying hardness assumptions assumed.
14599346
Generating Test Case from Functional Requirement of Web Applications
E-commerce has been developing rapidly around the world. We run Web application to support e-commerce. Quality of Web applications influences the functionalities and security of e-commerce. Modeling and testing are important to Quality of Web applications. Many researchers are still to find effective ways to model and test Web applications. Formal methods can improve the quality of Web applications. This paper suggests utilizing a formal language (object-z to) describe functional requirement of Web applications. An approach to generating test sequence is introduced in this paper. We analyze formal specification to find out atomic operations and then identify the environment precondition of the operation (EPRE) for each atomic operation. We use EPREs to build an environment Transition Graph (ETG). The steps of transforming an ETG into environment transition sequences are also addressed. Two test adequacy criteria are defined as a guideline for the selection of the test sequences.
45804784
A new one-and-half layer channel routing algorithm based on assigning resources for CMOS gate array
It is demonstrated that sufficient and reasonable utilization of the constrained horizontal and vertical routing resources is the key to achieving a high completion rate in this one-and-one-half layer routing approach. By using the minimum intersection graph to order the nets, the number of intersections among the nets is minimum, the number of intersection columns is as small as possible, and the total length of poly-bars used in wiring is as short as possible. From this the requirements for the horizontal and vertical routing resources are as few as possible. A reasonable assignment of the horizontal routing resources can be achieved by operating the active track matrices of the nets at the predicted columns, while the optimal assignment of the vertical routing resources is obtained by using the cluster assignment algorithm of the incidence intersection columns. Guided by the wiring tracks in the predicted columns and using the poly-bars assigned, the channel routing can be implemented with high performance by scanning the channel from left to right and column by column. >
7975073
A Collection of Visual Thesauri for Browsing Large Collections of Geographic Images
Digital libraries of geo-spatial multimedia content are currently deficient in providing fuzzy, concept-based retrieval mechanisms to users. The main challenge is that indexing and thesaurus creation are extremely laborintensive processes for text documents and especially for images. Recently, 800,000 declassified satellite photographs were made available by the United States Geological Survey. Additionally, millions of satellite and aerial photographs are archived in national and local map libraries. Such enormous collections make human indexing and thesaurus generation methods impossible to utilize. In this article we propose a scalable method to automatically generate visual thesauri of large collections of geo-spatial media using fuzzy, unsupervised machine-learning techniques.