2488 search results - page 396 / 498 » An improvement in formal verification |
COLING
2010
14 years 8 months ago
2010
In this paper, we focus on the challenge of automatically converting a constituency treebank (source treebank) to fit the standard of another constituency treebank (target treeban...
COLING
2010
14 years 8 months ago
2010
We present an adaptation technique for statistical machine translation, which applies the well-known Bayesian learning paradigm for adapting the model parameters. Since state-of-t...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In this paper, the use of closed-form expressions is compared to the BIC approximation, with respect to speaker clustering. We first show that the particular BIC setting which is...
160
click to vote
LPNMR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
153
click to vote
AIME
2011
Springer
14 years 1 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...