Sciweavers

1942 search results - page 239 / 389
» Parse
Sort
View
CNL
2009
15 years 3 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
ICML
2010
IEEE
15 years 3 months ago
Climbing the Tower of Babel: Unsupervised Multilingual Learning
For centuries, scholars have explored the deep links among human languages. In this paper, we present a class of probabilistic models that use these links as a form of naturally o...
Benjamin Snyder, Regina Barzilay
CORR
2008
Springer
115views Education» more  CORR 2008»
15 years 2 months ago
Determining the Unithood of Word Sequences using Mutual Information and Independence Measure
Most works related to unithood were conducted as part of a larger effort for the determination of termhood. Consequently, the number of independent research that study the notion ...
Wilson Wong, Wei Liu, Mohammed Bennamoun
IANDC
2008
86views more  IANDC 2008»
15 years 1 months ago
Unambiguous Boolean grammars
Abstract. Boolean grammars are an extension of context-free grammars, in which all propositional connectives are allowed. In this paper, the notion of ambiguity in Boolean grammars...
Alexander Okhotin
CSL
2006
Springer
15 years 1 months ago
A prosodic phrasing model for a Korean text-to-speech synthesis system
This paper presents a prosodic phrasing model for Korean to be used in a text-to-speech synthesis (TTS) system. Read text corpora were morpho-syntactically parsed and prosodically...
Kyuchul Yoon