1040 search results - page 149 / 208 » A Syntactical Approach to Revision |
ENTCS
2007
13 years 8 months ago
2007
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...
ENTCS
2007
13 years 8 months ago
2007
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...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
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 ...
COLING
2002
13 years 8 months ago
2002
This paper describes the characteristic features of dependency structures of Japanese spoken language by investigating a spoken dialogue corpus, and proposes a stochastic approach...
ACL
2010
13 years 7 months ago
2010
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...