4555 search results - page 39 / 911 » Deductive Algorithmic Knowledge |
JAR
2002
13 years 9 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
SLSFS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Matrix factorization is a fundamental building block in many computer vision and machine learning algorithms. In this work we focus on the problem of ”structure from mo...
JELIA
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...
SIGIR
2009
ACM
2009
ACM
Incorporating prior knowledge into a transductive ranking algorithm for multi-document summarization
14 years 4 months ago
This paper presents a transductive approach to learn ranking functions for extractive multi-document summarization. At the first stage, the proposed approach identifies topic th...
RELMICS
2009
Springer
14 years 4 months ago
2009
Springer
