1454 search results - page 67 / 291 » Learning and Extending Sublanguages |
136
Voted
SAT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
120
Voted
AAAI
2010
15 years 4 months ago
2010
Methods for discovering causal knowledge from observational data have been a persistent topic of AI research for several decades. Essentially all of this work focuses on knowledge...
121
click to vote
EMNLP
2007
15 years 4 months ago
2007
We present a method for learning to find English to Chinese transliterations on the Web. In our approach, proper nouns are expanded into new queries aimed at maximizing the probab...
119
click to vote
NIPS
2008
15 years 4 months ago
2008
Young children demonstrate the ability to make inferences about the preferences of other agents based on their choices. However, there exists no overarching account of what childr...
116
Voted
PTS
2007
15 years 4 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...