1286 search results - page 226 / 258 » From System F to Typed Assembly Language |
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
BMCBI
2008
13 years 7 months ago
2008
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
APSEC
2000
IEEE
14 years 1 days ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
LREC
2010
13 years 9 months ago
2010
Errors in machine translations of English-Iraqi Arabic dialogues were analyzed at two different points in the systems development using HTER methods to identify errors and human a...
AAAI
2008
13 years 10 months ago
2008
Unlike English, where unfamiliar words can be queried for its meaning by typing out its letters, the analogous operation in Chinese is far from trivial due to the nature of its wr...