3185 search results - page 235 / 637 » Domain and language evaluation results |
174
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
147
click to vote
LREC
2010
15 years 8 months ago
2010
As the interest of the NLP community grows to develop several treebanks also for languages other than English, we observe efforts towards evaluating the impact of different annota...
166
click to vote
COLING
2002
15 years 6 months ago
2002
One of the key issues in spoken language translation is how to deal with unrestricted expressions in spontaneous utterances. This research is centered on the development of a Chin...
168
Voted
CLEF
2007
Springer
16 years 27 days ago
2007
Springer
The Answer Validation Exercise at the Cross Language Evaluation Forum is aimed at developing systems able to decide whether the answer of a Question Answering system is correct or...
194
click to vote
CLEF
2005
Springer
16 years 7 days ago
2005
Springer
For the 2005 Cross-Language Evaluation Forum, Thomson Legal and Regulatory participated in the Hungarian, French, and Portuguese monolingual search tasks as well as French-to-Port...