3395 search results - page 466 / 679 » Computational Differential Privacy |
155
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We investigate the relationship between camera design and 3D photography, by examining the influence of camera design on the estimation of the motion and structure of a scene fro...
161
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
198
click to vote
HPCA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
151
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
The TCP transport layer protocol is designed for connections that traverse a single path between the sender and receiver. However, there are several environments in which multiple...
174
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
Current Quality of Service models such as those embodied in the Differentiated Services proposals, rely on data path aggregation to achieve scalability. Data path aggregation bund...