7167 search results - page 127 / 1434 » A Technique for Invariant Generation |
178
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a set of feature enhancement techniques coupled with hardware-accelerated nonphotorealistic rendering for generating more perceptually effective visualizations...
189
click to vote
ICISS
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we introduce a distortion free watermarking e for relational databases based on the Abstract Interpretation framework. The watermarking technique is partition based. ...
168
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
158
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Many transportation providers such as package delivery companies and postal service organizations face the problem of designing a transportation network in order to service their ...
155
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
The power dissipated by system-level buses is the largest contribution to the global power of complex VLSI circuits. Therefore, the minimization of the switching activity at the I...