2610 search results - page 467 / 522 » Computational Probabilistic Non-interference |
KI
2010
Springer
13 years 8 months ago
2010
Springer
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
PR
2010
13 years 8 months ago
2010
In this paper, we present a semi-supervised approach to space carving by casting the recovery of volumetric data from multiple views into an evidence combining setting. The method...
ASPDAC
2010
ACM
13 years 8 months ago
2010
ACM
- Dynamic power consumption in CMOS circuits is usually estimated based on the number of signal transitions. However, when considering glitches, this is not accurate because narrow...
DAGM
2010
Springer
13 years 8 months ago
2010
Springer
We present a novel method for 3D reconstruction of urban scenes extending a recently introduced heightmap model. Our model has several advantages for 3D modeling of urban scenes: i...
ICIP
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we focus on a new application of mobile visual search: snapping a photo with a mobile device of a video playing on a TV screen to automatically retrieve and stream ...