7978 search results - page 704 / 1596 » Combining shared-coin algorithms |
176
click to vote
IJCNLP
2005
Springer
16 years 28 days ago
2005
Springer
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
214
click to vote
INEX
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...
205
click to vote
SAT
2005
Springer
16 years 28 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
179
click to vote
SPIN
2005
Springer
16 years 27 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
178
click to vote
VLBV
2005
Springer
16 years 27 days ago
2005
Springer
In this paper, an ontology infrastucture for multimedia reasoning is presented, making it possible to combine low-level visual descriptors with domain specific knowledge and subs...