1389 search results - page 219 / 278 » Model Combination for Machine Translation |
120
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Discovering complex associations, anomalies and patterns in distributed data sets is gaining popularity in a range of scientific, medical and business applications. Various algor...
122
click to vote
PEPM
1999
ACM
15 years 5 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
101
Voted
UAIS
2008
15 years 19 days ago
2008
This paper presents the modules that comprise a knowledge-based sign synthesis architecture for Greek sign language (GSL). Such systems combine natural language (NL) knowledge, mac...
224
click to vote
VLDB
2005
ACM
16 years 1 months ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...