3812 search results - page 638 / 763 » Combinations of TRAP Based Systems |
94
Voted
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
101
click to vote
ESWS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we describe a methodology for harvesting information from large distributed repositories (e.g. large Web sites) with minimum user intervention. The methodol...
97
Voted
HIPC
2004
Springer
15 years 3 months ago
2004
Springer
Grids functionally combine globally distributed computers and information systems for creating a universal source of computing power and information. A key characteristic of grids ...
122
click to vote
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
Visual information has been shown to improve the performance of speech recognition systems in noisy acoustic environments. However, most audio-visual speech recognizers rely on a ...
INLG
2004
Springer
15 years 3 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 (...