2266 search results - page 202 / 454 » How Not to Evaluate a Developmental System |
145
click to vote
ANLP
1997
15 years 7 months ago
1997
We proposed a method of machine translation using inductive learning with genetic algorithms, and confirmed the effectiveness of applying genetic algorithms. However, the system b...
COLING
1996
15 years 7 months ago
1996
In this paper we discuss how we allply discourse predictions along with non context-based predictions to the problem of parse disambiguation in Enthusiast, a Spanish-to-English tr...
166
click to vote
FORTE
1990
15 years 7 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
165
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
157
click to vote
CORR
2011
Springer
15 years 28 days ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...