3007 search results - page 221 / 602 » Designed -in-diagnostics: A new optical method |
174
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
157
click to vote
ISOLA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
162
click to vote
TIP
2002
15 years 6 months ago
2002
Watermarkingwith both obliviousdetection and high robustness capabilities is still a challenging problem. The existing methods are either robust or oblivious, but it is di cult to...
203
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Mapping intra-cellular signaling networks is a critical step in developing an understanding of and treatments for many devastating diseases. The predominant ways of disco...
168
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Information theoretic tools lead to the design and analysis of new blind data hiding methods. A novel quantizationbased blind method, which uses trellis coded quantization, is pro...