Sciweavers

2995 search results - page 151 / 599
» On multi-avoidance of generalized patterns
Sort
View
BIRTHDAY
2005
Springer
14 years 2 months ago
Psychological Validity of Schematic Proofs
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
Mateja Jamnik, Alan Bundy
ECSQARU
1999
Springer
14 years 1 months ago
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
Ofer Arieli, Arnon Avron
GFKL
2007
Springer
164views Data Mining» more  GFKL 2007»
14 years 1 months ago
Classification with Invariant Distance Substitution Kernels
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
Bernard Haasdonk, Hans Burkhardt
FLAIRS
2000
13 years 10 months ago
Systematic Treatment of Failures Using Multilayer Perceptrons
This paper discusses the empirical evaluation of improving generalization performance of neural networks by systematic treatment of training and test failures. As a result of syst...
Fadzilah Siraj, Derek Partridge
COLING
1996
13 years 10 months ago
Towards a Syntactic Account of Punctuation
Little notice has been taken of punctuation in the field of natural language processing, chiefly due to the lack of any coherent theory on which to base implementations. Some work...
Bernard E. M. Jones