1401 search results - page 178 / 281 » Randomness in Interactive Proofs |
VR
2010
IEEE
14 years 8 months ago
2010
IEEE
VirtualizeMe introduces a new design for a fully immersive TeleImmersion system for remote collaboration and virtual world interaction. This system introduces a new avatar creatio...
116
click to vote
LICS
2012
IEEE
13 years 9 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
100
click to vote
CVPR
2007
IEEE
15 years 12 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
ICML
2009
IEEE
15 years 4 months ago
2009
IEEE
Empirical evidence suggests that hashing is an effective strategy for dimensionality reduction and practical nonparametric estimation. In this paper we provide exponential tail bo...
ICDCSW
2008
IEEE
15 years 4 months ago
2008
IEEE
—This paper reviews the characteristics of overlay networks and defines effective relay nodes that can improve the performance of interactive real-time applications. A heuristic ...