6059 search results - page 251 / 1212 » A Technique for Verifying Measurements |
142
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
The presented work addresses the observation problem for a large class of nonlinear systems, including systems which are nonlinear in the unmeasured states. Assuming partial state ...
146
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
A number of network path delay, loss, or bandwidth inference mechanisms have been proposed over the past decade. Concurrently, several network measurement services have been deplo...
158
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
JVT Scalable Video Coding (SVC) provides high coding efficiency for progressive video sequences with combined scalability. However, interlaced SVC is only the straightforward exte...
288
Voted
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper deals with a new type of privacy threat, called "corruption", in anonymized data publication. Specifically, an adversary is said to have corrupted some individ...
187
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...