Sciweavers

1054 search results - page 13 / 211
» Translation Validation of System Abstractions
Sort
View
ECAI
2006
Springer
15 years 3 months ago
Environment-Driven Skeletal Plan Execution for the Medical Domain
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
Peter Votruba, Andreas Seyfang, Michael Paesold, S...
CLEF
2006
Springer
15 years 3 months ago
Translation by Text Categorisation: Medical Image Retrieval in ImageCLEFmed 2006
Abstract. We present the fusion of simple retrieval strategies with thesaural resources to perform document and query translation by text categorisation for cross
Julien Gobeill, Henning Müller, Patrick Ruch
COLING
2000
15 years 1 months ago
A Model of Competence for Corpus-Based Machine Translation
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...
Michael Carl
EMSOFT
2007
Springer
15 years 6 months ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...
HASE
2007
IEEE
15 years 3 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...