458 search results - page 66 / 92 » A Dependently Typed Assembly Language |
AMTA
2004
Springer
14 years 1 months ago
2004
Springer
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...
CICLING
2008
Springer
13 years 9 months ago
2008
Springer
Nowadays there exist several kinds of question answering systems. According to recent evaluation results, most of these systems are complementary (i.e., each one is better than the...
AAIM
2008
Springer
13 years 9 months ago
2008
Springer
We consider a generalization of the shortest-path problem: given an alphabet , a graph G whose edges are weighted and -labeled, and a regular language L , the L-constrained shortes...
NAACL
2003
13 years 9 months ago
2003
WordFreak is a natural language annotation tool that has been designed to be easy to extend to new domains and tasks. Specifically, a plug-in architecture has been developed whic...
SIGPLAN
2008
13 years 7 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...