Sciweavers

423 search results - page 31 / 85
» Using Test Suites in Evaluation of Machine Translation Syste...
Sort
View
ISSTA
2004
ACM
15 years 3 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
PROPOR
2010
Springer
278views Languages» more  PROPOR 2010»
15 years 4 months ago
Translating from Complex to Simplified Sentences
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...
Lucia Specia
NLE
2010
104views more  NLE 2010»
14 years 8 months ago
Interlingual annotation of parallel text corpora: a new framework for annotation and evaluation
This paper focuses on an important step in the creation of a system of meaning representation and the development of semantically-annotated parallel corpora, for use in applicatio...
Bonnie J. Dorr, Rebecca J. Passonneau, David Farwe...
HPCA
2002
IEEE
15 years 10 months ago
Using Complete Machine Simulation for Software Power Estimation: The SoftWatt Approach
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
Sudhanva Gurumurthi, Anand Sivasubramaniam, Mary J...
KBSE
2008
IEEE
15 years 4 months ago
Query-Aware Test Generation Using a Relational Constraint Solver
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Lal...