4850 search results - page 95 / 970 » Approximate Data Structures with Applications |
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
The paper presents a novel multi-view learning framework based on variational inference. We formulate the framework as a graph representation in form of graph factorization: the g...
103
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract –In this paper, a variational message passing framework is proposed for Markov random fields, which is computationally more efficient and admits wider applicability comp...
101
click to vote
ICICS
2007
Springer
15 years 1 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper seeks to increase the efficiency of background subtraction algorithms for motion detection. Our method uses a quadtree-base hierarchical framework that samples a small ...