490 search results - page 1 / 98 » Automated Generalization of Translation Examples |
COLING
2000
13 years 6 months ago
2000
ICLP
1990
Springer
13 years 8 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
Scoring rules are a broad and concisely-representable class of voting rules which includes, for example, Plurality and Borda. Our main result asserts that the class of scoring rul...
SACMAT
2009
ACM
13 years 11 months ago
2009
ACM
Role-based provisioning has been adopted as a standard component in leading Identity Management products due to its low administration cost. However, the cost of adjusting existin...
RIDE
2003
IEEE
13 years 10 months ago
2003
IEEE
Translating documents from a source to a target language is a repetitive activity. The attempt to automate such a difficult task has been a long-term scientific dream. Among the...