8094 search results - page 8 / 1619 » Improvements in Formula Generalization |
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
ALT
2002
Springer
14 years 4 months ago
2002
Springer
The general dimension is a combinatorial measure that characterizes the number of queries needed to learn a concept class. We use this notion to show that any p-evaluatable concep...
LATA
2009
Springer
14 years 2 months ago
2009
Springer
We present a new series of run-rich strings, and give a new lower bound 0.94457567 of the maximum number of runs in a string. We also introduce the general conjecture about a asymp...
AMC
2008
13 years 7 months ago
2008
In the article, the noted Darboux's formula of functions with single variable is generalized to that of functions of two independent variables with integral remainder, some im...
TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...