9067 search results - page 1449 / 1814 » Adaptive Model Checking |
391
Voted
SIGCOMM
2012
ACM
13 years 10 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
268
Voted
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
209
Voted
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We present a novel multi-view denoising algorithm. Our
algorithm takes noisy images taken from different viewpoints
as input and groups similar patches in the input images using
...
203
Voted
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
We present an approach for tracking varying number of objects through both temporally and spatially significant occlusions. Our method builds on the idea of object permanence to r...
202
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We present an online, recursive filtering technique to model linear dynamical systems that operate on the state space of symmetric positive definite matrices (tensors) that lie on...