3235 search results - page 162 / 647 » Partial Redundant Modeling |
161
click to vote
ICAPR
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. In this paper, we deal with the problem of partially observed objects. These objects are defined by a set of points and their shape variations are represented by a statis...
181
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
313
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
188
click to vote
DCC
2001
IEEE
16 years 6 months ago
2001
IEEE
Lossless compression researchers have developed highly sophisticated approaches, such as Huffman encoding, arithmetic encoding, the Lempel-Ziv family, Dynamic Markov Compression (D...
190
click to vote
STORAGESS
2005
ACM
16 years 1 days ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...