Sciweavers

78 search results - page 4 / 16
» Creating Invariance to
Sort
View
JSW
2008
97views more  JSW 2008»
13 years 6 months ago
Segmenting Histogram-based Robust Audio Watermarking Approach
Based on the invariant features and data distribution in time domain before and after attacking on the audio, it is clearly that the standard variance shows good invariant statisti...
Xiaoming Zhang
ECOOP
2012
Springer
11 years 9 months ago
Static Detection of Loop-Invariant Data Structures
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
Guoqing (Harry) Xu, Dacong Yan, Atanas Rountev
ASE
2002
160views more  ASE 2002»
13 years 6 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
DATE
2003
IEEE
66views Hardware» more  DATE 2003»
14 years 18 hour ago
Using RTL Statespace Information and State Encoding for Induction Based Property Checking
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
ICCV
2001
IEEE
14 years 8 months ago
Image Detection Under Varying Illumination and Pose
This paper focuses on the detection of objects with Lambertian surface under both varying dlumination and pose We offer to apply a novel detection method that proceeds by modeling...
Margarita Osadchy, Daniel Keren