1860 search results - page 160 / 372 » A Temporal Logic of Robustness |
201
click to vote
CVPR
2008
IEEE
16 years 9 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...
207
click to vote
ICPR
2000
IEEE
16 years 8 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...
215
click to vote
FMCAD
2004
Springer
16 years 13 days 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...
227
click to vote
ICIP
2000
IEEE
15 years 11 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) ...
220
click to vote
CCGRID
2004
IEEE
15 years 10 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...