1228 search results - page 85 / 246 » Continuations, proofs and tests |
ICMLA
2003
13 years 9 months ago
2003
– Discretization is a process of converting a continuous attribute into an attribute that contains small number of distinct values. One of the major reasons for discretizing an a...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
STOC
1992
ACM
14 years 4 days ago
1992
ACM
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...
CIE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Graph isomorphism (GI) is one of the few remaining problems in NP whose complexity status couldn't be solved by classifying it as being either NP-complete or solvabl...
Lecture Notes
These notes cover several topics such as Review of Statistics, Least Squares and Maximum Likelihood Estimation, Index Models, Testing CAPM and Multifactor Models
Event Studies, Ti...