Sciweavers

6018 search results - page 235 / 1204
» Factored Translation Models
Sort
View
ACL
1998
15 years 7 months ago
Automatic Acquisition of Language Model based on Head-Dependent Relation between Words
Language modeling is to associate a sequence of words with a priori probability, which is a key part of many natural language applications such as speech recognition and statistic...
Seungmi Lee, Key-Sun Choi
ESOP
2003
Springer
15 years 11 months ago
Automatic Software Model Checking Using CLP
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
Cormac Flanagan
CP
2007
Springer
15 years 10 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
ACL
2007
15 years 7 months ago
Guiding Statistical Word Alignment Models With Prior Knowledge
We present a general framework to incorporate prior knowledge such as heuristics or linguistic features in statistical generative word alignment models. Prior knowledge plays a ro...
Yonggang Deng, Yuqing Gao
NIPS
1998
15 years 7 months ago
Learning a Continuous Hidden Variable Model for Binary Data
A directed generative model for binary data using a small number of hidden continuous units is investigated. A clipping nonlinearity distinguishes the model from conventional prin...
Daniel D. Lee, Haim Sompolinsky