5863 search results - page 274 / 1173 » An evaluation of the TRIPS computer system |
186
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
181
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Robust channel estimation scheme is essential for pulse-shaping OFDM systems in the multipath mobile environment. This paper proposes three types of channel estimation schemes for ...
155
click to vote
COLING
2002
15 years 6 months ago
2002
Speech dialog systems need to deal with various kinds of ill-formed speech inputs that appear in natural human-human dialog. Self-correction (or speech-repair) is a particularly p...
139
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes a strategy of improving file availability of peer-to-peer file storage systems, which provides the ability of identifying duplicate files and leveraging the ...
149
click to vote
COLING
1994
15 years 8 months ago
1994
This paper presents the results of an experiment usiug machine-readable dictionaries (Mill)s) and corpora for building concatenativc units for text to speech (T'PS) systems. ...