5675 search results - page 141 / 1135 » Exploiting Chaos for Computation |
160
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
126
click to vote
COLCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Nowadays, increasing needs for information sharing arise due to extensive collaborations among organizations. Organizations desire to provide data access to their collaborators whi...
166
click to vote
CSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Several applications have been proposed for Wireless sensor networks. These include habitat monitoring, structural health monitoring, pipeline (gas, water, and oil) mon...
122
click to vote
DCC
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider symmetric multiple description coding for the Gaussian source, and provide upper and lower bounds for the individual description rate-distortion function. One of the m...
156
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we address the problem of producing visible spectrum facial images as we normally see by using thermal infrared images. We apply Canonical Correlation Analysis (CCA)...