3255 search results - page 341 / 651 » Combination of Abstractions in the ASTR |
177
click to vote
IDEAL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Image compression methods such as JPEG use quantisation of discrete cosine transform (DCT) coefficients of image blocks to produce lossy compression. During decoding, an...
187
click to vote
IFM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
180
click to vote
IFM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
156
click to vote
INLG
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
190
click to vote
ISER
2004
Springer
16 years 4 days ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...