5675 search results - page 141 / 1135 » Exploiting Chaos for Computation |
183
Voted
SPIN
2009
Springer
16 years 20 days 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 ...
149
click to vote
COLCOM
2008
IEEE
16 years 18 days 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...
190
Voted
CSE
2008
IEEE
16 years 18 days 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...
141
click to vote
DCC
2008
IEEE
16 years 18 days 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...
175
click to vote
ACCV
2007
Springer
16 years 9 days 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)...