The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Word Sense Disambiguation, the process of identifying the
meaning of a word in a sentence when the word has multiple meanings,
is a critical problem of machine translation. It is generally very difficult
to select the correct meaning of a word in a sentence, especially when the
syntactical difference between the source and target language is big, e.g.,
English-Korean machine translation. To achieve a high level of accuracy
of noun sense selection in machine translation, we introduced a statistical
method...
Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are
often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed
to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation.
To the best of our knowledge, these algorithms have not been implemented....
Download Results (CSV)