4352 search results - page 258 / 871 » A Representation Theorem and Applications |
196
click to vote
CADE
2005
Springer
15 years 9 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
214
click to vote
ICMLA
2004
15 years 8 months ago
2004
Detecting outliers is an important topic in data mining. Sometimes the outliers are more interesting than the rest of the data. Outlier identification has lots of applications, su...
196
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Data mining is the process of extracting implicit, previously unknown, and potentially useful information from data in databases. It is widely recognized as a useful tool for deci...
202
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Researchers studying Evolutionary Algorithms and their applications have always been confronted with the sample complexity problem. The relationship between population size and gl...
164
click to vote
NIPS
2004
15 years 8 months ago
2004
We propose a family of kernels based on the Binet-Cauchy theorem and its extension to Fredholm operators. This includes as special cases all currently known kernels derived from t...