Sciweavers

6020 search results - page 1118 / 1204
» A New Approach to Model Counting
Sort
View
ACSAC
2009
IEEE
15 years 8 months ago
Justifying Integrity Using a Virtual Machine Verifier
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
Joshua Schiffman, Thomas Moyer, Christopher Shal, ...
MMM
2010
Springer
141views Multimedia» more  MMM 2010»
15 years 6 months ago
Slow Intelligence Systems
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...
Shi-Kuo Chang
ATAL
2010
Springer
15 years 5 months ago
On the role of distances in defining voting rules
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko
TIP
2010
255views more  TIP 2010»
14 years 11 months ago
Image Super-Resolution Via Sparse Representation
This paper presents a new approach to single-image superresolution, based on sparse signal representation. Research on image statistics suggests that image patches can be wellrepre...
Jianchao Yang, John Wright, Thomas S. Huang, Yi Ma
CVPR
2003
IEEE
16 years 6 months ago
Face Recognition Under Variable Lighting using Harmonic Image Exemplars
We propose a new approach for face recognition under arbitrary illumination conditions, which requires only one training image per subject (if there is no pose variation) and no 3...
Lei Zhang 0002, Dimitris Samaras
« Prev « First page 1118 / 1204 Last » Next »