4814 search results - page 752 / 963 » Combining abstract interpreters |
101
click to vote
IFM
2004
Springer
15 years 6 months 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...
102
click to vote
IFM
2004
Springer
15 years 6 months 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...
92
Voted
INLG
2004
Springer
15 years 6 months 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 (...
105
Voted
ISER
2004
Springer
15 years 6 months 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 ...
98
Voted
NN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Voice quality has been defined as the characteristic auditory colouring of an individual's voice, derived from a variety of laryngeal and supralaryngeal features and...