7167 search results - page 194 / 1434 » A Technique for Invariant Generation |
176
click to vote
DAC
1999
ACM
16 years 8 months ago
1999
ACM
While previous watermarking-based approaches to intellectual property protection (IPP) have asymmetrically emphasized the IP provider's rights, the true goal of IPP is to ens...
203
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
Methods for solving Distributed Constraint Optimization Problems (DCOP) have emerged as key techniques for distributed reasoning. Yet, their application faces significant hurdles...
209
click to vote
NPAR
2000
ACM
15 years 11 months ago
2000
ACM
Researchers in nonphotorealistic rendering (NPR) have investigated a variety of techniques to simulate the styles of artists. Recent work has resulted in methods for pen-and-ink i...
242
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
201
click to vote
IPM
2007
15 years 7 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...