1941 search results - page 290 / 389 » Reasoning about Computations Using Two-Levels of Logic |
185
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we present a method for reasoning about privacy using the concepts of exchangeability and deFinetti's theorem. We illustrate the usefulness of this technique by...
90
Voted
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The expected VoIP call capacity in a one hop IEEE 802.11b network with G.711 voice codec is about 85 simultaneous calls, but the actual observed capacity is only 5 calls even a...
132
Voted
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
112
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
123
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We present an approach for tracking varying number of objects through both temporally and spatially significant occlusions. Our method builds on the idea of object permanence to r...