1074 search results - page 159 / 215 » Adaptive color reduction |
127
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Enabling parallel processing is becoming increasingly necessary for video decoding as performance requirements continue to rise due to growing resolution and frame rate demands. I...
166
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
181
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Independent component analysis (ICA) is not only popular for blind source separation but also for unsupervised learning when the observations can be decomposed into some independe...
163
click to vote
SPIN
2009
Springer
16 years 26 days ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
176
click to vote
ICPP
2007
IEEE
16 years 19 days ago
2007
IEEE
Extension of battery lifetime has always been a major issue for mobile computing. While more and more data are involved in mobile computing, energy consumption caused by I/O opera...