We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
This paper describes the National Research Council (NRC) Word Sense Disambiguation (WSD) system, as applied to the English Lexical Sample (ELS) task in Senseval-3. The NRC system ...
This paper describes the characteristic features of dependency structures of Japanese spoken language by investigating a spoken dialogue corpus, and proposes a stochastic approach...
We present a novel method to improve word alignment quality and eventually the translation performance by producing and combining complementary word alignments for low-resource la...