Sciweavers

526 search results - page 67 / 106
» Improved Decomposition of STGs
Sort
View
DICTA
2003
13 years 11 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
ICASSP
2007
IEEE
13 years 10 months ago
Multiscale Color-Texture Image Segmentation with Adaptive Region Merging
Anovelmultiscaleimagesegmentationalgorithmispresented, which is based on the dominant color and homogeneous texture features (HTF) that are adopted in the MPEG-7 standard. These f...
Tao Wan, Nishan Canagarajah, Alin Achim
FMSD
2008
110views more  FMSD 2008»
13 years 10 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
CCE
2006
13 years 10 months ago
Hierarchical multiscale model-based design of experiments, catalysts, and reactors for fuel processing
In this paper a hierarchical multiscale simulation framework is outlined and experimental data injection into this framework is discussed. Specifically, we discuss multiscale mode...
D. G. Vlachos, A. B. Mhadeshwar, N. S. Kaisare
JMLR
2008
108views more  JMLR 2008»
13 years 10 months ago
A Recursive Method for Structural Learning of Directed Acyclic Graphs
In this paper, we propose a recursive method for structural learning of directed acyclic graphs (DAGs), in which a problem of structural learning for a large DAG is first decompos...
Xianchao Xie, Zhi Geng