190 search results - page 1 / 38 » A Continuous Derivative for Real-Valued Functions |
CIE
2007
Springer
13 years 11 months ago
2007
Springer
JAR
2010
13 years 3 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
COLT
1998
Springer
13 years 9 months ago
1998
Springer
This paper concerns the use of real-valued functions for binary classification problems. Previous work in this area has concentrated on using as an error estimate the `resubstitut...
PPSN
2004
Springer
13 years 10 months ago
2004
Springer
This article describes a new model of probability density function and its use in estimation of distribution algorithms. The new model, the distribution tree, has interesting prope...
SIAMJO
2010
12 years 11 months ago
2010
In this work we introduce for extended real valued functions, defined on a Banach space X, the concept of K directionally Lipschitzian behavior, where K is a bounded subset of X. F...