7991 search results - page 35 / 1599 » Using More Reasoning to Improve |
190
click to vote
SIGMOD
2009
ACM
16 years 2 days ago
2009
ACM
We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and delicious.co...
107
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
105
click to vote
CSL
2010
Springer
14 years 12 months ago
2010
Springer
Meeting summarization provides a concise and informative summary for the lengthy meetings and is an effective tool for efficient information access. In this paper, we focus on ext...
103
click to vote
CADE
2004
Springer
15 years 5 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
110
click to vote
KI
2001
Springer
15 years 4 months ago
2001
Springer
Ontologies will play a pivotal rˆole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applicatio...