1389 search results - page 219 / 278 » Model Combination for Machine Translation |
141
click to vote
CONCUR
2001
Springer
15 years 7 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...
120
click to vote
IPPS
2000
IEEE
15 years 7 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...
143
Voted
PEPM
1999
ACM
15 years 7 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...
120
click to vote
UAIS
2008
15 years 3 months 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...
255
Voted
VLDB
2005
ACM
16 years 3 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...