21342 search results - page 3574 / 4269 » A Structured Language Model |
204
Voted
JACM
2010
15 years 5 months ago
2010
clustering of documents according to sharing of topics at multiple levels of abstraction. Given a corpus of documents, a posterior inference algorithm finds an approximation to a ...
164
click to vote
JAIR
2010
15 years 5 months ago
2010
We study a setting where a principal needs to motivate a team of agents whose combination of hidden efforts stochastically determines an outcome. In a companion paper we devise an...
150
click to vote
JNS
2010
15 years 5 months ago
2010
We study soliton solutions to the nonlinear Schr¨odinger equation (NLS) with a saturated nonlinearity. NLS with such a nonlinearity is known to possess a minimal mass soliton. We ...
157
click to vote
JOT
2010
15 years 5 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
182
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...