6258 search results - page 466 / 1252 » Applied Text Generation |
154
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
178
click to vote
AAAI
2006
15 years 8 months ago
2006
In this paper, we describe an evolutionary approach to one of the most challenging problems in computer music: modeling the knowledge applied by a musician when performing a score...
217
click to vote
WSCG
2000
15 years 8 months ago
2000
Image filtering is often applied as a post-process to Monte Carlo generated pictures, in order to reduce noise. In this paper we present an algorithm based on density estimation t...
177
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
This paper demonstrates how machine learning methods can be applied to deal with a realworld decipherment problem where very little background knowledge is available. The goal is ...
148
click to vote
ORDER
2000
15 years 6 months ago
2000
We prove a lemma which, under restrictive conditions, shows that epimorphisms in V are surjective if this is true for epimorphisms from irreducible members of V . This lemma is app...