Sciweavers

1054 search results - page 79 / 211
» Translation Validation of System Abstractions
Sort
View
KES
2005
Springer
15 years 11 months ago
Extraction of Lexico-Syntactic Information and Acquisition of Causality Schemas for Text Annotation
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...
Laurent Alamarguy, Rose Dieng-Kuntz, Catherine Far...
AMTA
2004
Springer
15 years 11 months ago
Multi-align: Combining Linguistic and Statistical Techniques to Improve Alignments for Adaptable MT
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
Necip Fazil Ayan, Bonnie J. Dorr, Nizar Habash
CRIWG
2004
15 years 7 months ago
Reusing Groupware Applications
Abstract. Many groupware applications have been developed and continue being developed over white-box groupware platforms. These platforms have brought important contributions to t...
Sergio F. Ochoa, Luis A. Guerrero, José A. ...
CSAC
2006
15 years 7 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
DCC
2011
IEEE
15 years 1 months ago
Sparse Boolean equations and circuit lattices
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
Igor Semaev