3564 search results - page 260 / 713 » Evaluating a Formal Modelling Language |
212
click to vote
TASLP
2008
15 years 6 months ago
2008
This paper describes an approach for computing a consensus translation from the outputs of multiple machine translation (MT) systems. The consensus translation is computed by weigh...
156
click to vote
LREC
2008
15 years 7 months ago
2008
The present contribution aims at increasing our understanding of automatic speech recognition (ASR) errors involving frequent homophone or almost homophone words by confronting th...
148
click to vote
HLPPP
1991
15 years 9 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
162
Voted
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Modeling and simulating pipelined processors in procedural languages such as C/C++ requires lots of cost in handling concurrent events, which hinders fast simulation. A number of ...
143
click to vote
ESCIENCE
2006
IEEE
16 years 10 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...