6201 search results - page 206 / 1241 » Implementation of Axiomatic Language |
122
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Statistical machine translation (SMT) systems for spoken languages suffer from conversational speech phenomena, in particular, the presence of speech dis uencies. We examine the i...
146
click to vote
DKE
2010
15 years 5 months ago
2010
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide use...
136
click to vote
IEICET
2008
15 years 4 months ago
2008
In this paper, we propose a PLSA-based language model for sports live speech. This model is implemented in unigram rescaling technique that combines a topic model and an n-gram. I...
143
click to vote
ENTCS
2002
15 years 4 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
133
click to vote
ERSA
2009
15 years 2 months ago
2009
We present the architecture and programming model for MORA, a coarse-grained reconfigurable processor aimed at multimedia applications. The MORA architecure is a MIMD machine consi...