2312 search results - page 223 / 463 » Invariance in Property Testing |
157
click to vote
ICIP
2000
IEEE
15 years 10 months ago
2000
IEEE
The human visual system plays a key role in the final perceived quality of the compressed images. It is therefore desirable to allow system designers and users to take advantage o...
226
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
A new concept and algorithm are presented for noniterative robust estimation of piecewise smooth curves of maximal edge strength in small image windows – typically ¢¡£ to...
139
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
The class of piecewise linear homeomorphisms (PLH) provides a convenient functional representation for many applications wherein an approximation to data is required that is inver...
131
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
155
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...