Modelling human interaction and decision-making within a simulation presents a particular challenge. This paper describes a methodology that is being developed known as `knowledge...
Stewart Robinson, Thanos Alifantis, Robert Hurrion...
Word alignment plays a crucial role in statistical machine translation. Word-aligned corpora have been found to be an excellent source of translation-related knowledge. We present...
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
We report results of experiments aimed at improving the translation quality by incorporating the cognate information into translation models. The results confirm that the cognate...
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...