68 search results - page 1 / 14 » Extension of First-Order Theories into Trees |
AISC
2006
Springer
13 years 8 months ago
2006
Springer
LICS
1998
IEEE
13 years 10 months ago
1998
IEEE
CSCLP
2006
Springer
13 years 10 months ago
2006
Springer
CORR
2004
Springer
13 years 6 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
ILP
2004
Springer
13 years 11 months ago
2004
Springer
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...