1054 search results - page 14 / 211 » Translation Validation of System Abstractions |
FINTAL
2006
15 years 3 months ago
2006
Abstract. German compound words pose special problems to statistical machine translation systems: the occurence of each of the components in the training data is not sufficient for...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Flash memory is a good candidate for the storage device in real-time systems due to its non-fluctuating performance, low power consumption and high shock resistance. Ho...
MSV
2004
15 years 1 months ago
2004
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
WWW
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we introduce our multi metamodel process ontology (m3po), which is based on various existing reference models and languages from the workflow and choreography domain...
SERP
2003
15 years 1 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...