Sciweavers

7434 search results - page 173 / 1487
» Still
Sort
View
CVPR
2010
IEEE
16 years 27 days ago
Using cloud shadows to infer scene structure and camera calibration
We explore the use of clouds as a form of structured lighting to capture the 3D structure of outdoor scenes observed over time from a static camera. We derive two cues that relate ...
Nathan Jacobs, Brian Bies, and Robert Pless
134
Voted
TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
15 years 11 months ago
Computing the Leakage of Information-Hiding Systems
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
122
Voted
STACS
2010
Springer
15 years 11 months ago
Construction Sequences and Certifying 3-Connectedness
Given two 3-connected graphs G and H, a construction sequence constructs G from H (e. g. from the K4) with three basic operations, called the Barnette-Grünbaum operations. These...
Jens M. Schmidt
ICDS
2010
IEEE
15 years 11 months ago
The All-In Publication Policy
—The productivity of scientists and the quality of their papers differ enormously. Still, all papers written get published eventually and the impact factor of the publication cha...
Christoph Bartneck
IEEEARES
2010
IEEE
15 years 11 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...