2374 search results - page 21 / 475 » Automatic Generation of Model Translations |
182
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
148
click to vote
COLING
2010
15 years 28 days ago
2010
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
158
click to vote
MT
2006
15 years 5 months ago
2006
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
239
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM