6047 search results - page 860 / 1210 » Modeling with Extend |
129
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Answer typing is commonly thought of as finding appropriate responses to given questions. We extend the notion of answer typing to information retrieval to ensure results contain...
175
click to vote
AAAI
2008
15 years 8 months ago
2008
Markov logic networks (MLNs) combine first-order logic and Markov networks, allowing us to handle the complexity and uncertainty of real-world problems in a single consistent fram...
171
Voted
AAAI
2008
15 years 8 months ago
2008
The study of random instances of NP complete and coNP complete problems has had much impact on our understanding of the nature of hard problems. In this work, we initiate an effor...
162
click to vote
WSC
2007
15 years 8 months ago
2007
The key question addressed by the resource-constrained project scheduling problem (RCPSP) is to determine the start times for each activity such that precedence and resource const...
166
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...