2219 search results - page 395 / 444 » Dynamic Programming and Graph Algorithms in Computer Vision |
118
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...
142
Voted
KDD
2007
ACM
16 years 2 months ago
2007
ACM
The blogosphere has unique structural and temporal properties since blogs are typically used as communication media among human individuals. In this paper, we propose a novel tech...
123
Voted
P2P
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
106
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
94
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...