3082 search results - page 315 / 617 » Deviation Analysis: A New Use of Model Checking |
198
click to vote
PKDD
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...
196
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
207
Voted
PET
2005
Springer
16 years 3 days ago
2005
Springer
Parallel mixing [7] is a technique for optimizing the latency of a synchronous re-encryption mix network. We analyze the anonymity of this technique when an adversary can learn the...
135
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
- This paper investigates important problems involved in the design of a CML buffer as well as a chain of tapered CML buffers. A new design procedure to systematically design a cha...
171
click to vote
DAGM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...