31387 search results - page 386 / 6278 » Abstracting abstract machines |
200
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
211
click to vote
ML
2010
ACM
15 years 5 months ago
2010
ACM
Abstract The tensor kernel has been used across the machine learning literature for a number of purposes and applications, due to its ability to incorporate samples from multiple s...
184
Voted
TAL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe OpenMaTrEx, a free/open-source examplebased machine translation (EBMT) system based on the marker hypothesis, comprising a marker-driven chunker, a collection...
177
click to vote
PVM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Manually tuning MPI runtime parameters is a practice commonly employed to optimise MPI application performance on a specific architecture. However, the best setting for ...
173
click to vote
NLDB
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. For many applications such as machine translation and bilingual information retrieval, the bilingual corpora play an important role in training the system. Because they a...