2137 search results - page 45 / 428 » Proving Abstract Non-interference |
SIAMNUM
2010
14 years 4 months ago
2010
Abstract. We introduce hybridization and postprocessing techniques for the RaviartThomas approximation of second-order elliptic eigenvalue problems. Hybridization reduces the Ravia...
100
click to vote
SOCIALCOM
2010
14 years 4 months ago
2010
Abstract--In this paper, we propose a game-theoretic mechanism to encourage truthful data sharing for distributed data mining. Our proposed mechanism uses the classic VickreyClarke...
TCOM
2010
14 years 4 months ago
2010
Abstract--Variable length codes (VLCs), used in data compression, are very sensitive to error propagation in the presence of noisy channels. Addressing this problem with joint sour...
129
click to vote
TSP
2010
14 years 4 months ago
2010
Abstract-- This paper presents greedy gossip with eavesdropping (GGE), a new average consensus algorithm for wireless sensor network applications. Consensus algorithms have recentl...
FGR
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract— This paper proposes a sparsity driven shape registration method for occluded facial feature localization. Most current shape registration methods search landmark locati...