4184 search results - page 62 / 837 » Names of Our Lives |
STACS
2010
Springer
15 years 6 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Language model (LM) adaptation is often achieved by combining a generic LM with a topic-specific model that is more relevant to the target document. Unlike previous work on unsup...
110
click to vote
FLOPS
2004
Springer
15 years 5 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
—We propose a new design for the Domain Name System (DNS) that takes advantage of recent advances in disk storage and multicast distribution technology. In essence, our design co...
ACL
2008
15 years 1 months ago
2008
A Named Entity Recognizer (NER) generally has worse performance on machine translated text, because of the poor syntax of the MT output and other errors in the translation. As som...