1860 search results - page 160 / 372 » A Temporal Logic of Robustness |
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper describes a new passive approach to capture time-varying scene geometry in large acquisition volumes from multi-view video. It can be applied to reconstruct complete mo...
106
Voted
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Despite advances in the archiving of digital video, we are still unable to efficiently search and retrieve the portions that interest us. Video indexing by shot segmentation has b...
122
Voted
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
134
Voted
ICIP
2000
IEEE
15 years 5 months ago
2000
IEEE
This work introduces two complementary techniques to improve the packet loss resilience of scalable video coding systems. First, a “switch per-pixel” error concealment (SPEC) ...
136
click to vote
CCGRID
2004
IEEE
15 years 4 months ago
2004
IEEE
Recently Peer-to-Peer networks (P2P) have gained great attention and popularity. One key challenging aspect in a P2P resource sharing environment is an efficient searching algorit...