971 search results - page 94 / 195 » Approximate Satisfiability and Equivalence |
193
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
112
Voted
ICIP
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a model for watermarking and some attacks on watermarks. Given the watermarked signal, the so-called Wiener attack performs minimum mean-squared error (MMSE) es...
85
Voted
JAR
2008
15 years 21 days ago
2008
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal...
100
click to vote
CN
2004
15 years 17 days ago
2004
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
110
Voted
TMM
2002
15 years 11 days ago
2002
This paper presents a model for watermarking and some attacks on watermarks. Given the watermarked signal, the so-called Wiener attack performs minimum mean-squared error (MMSE) es...