Sciweavers

2287 search results - page 163 / 458
» Making it Real
Sort
View
ISCI
2008
166views more  ISCI 2008»
13 years 8 months ago
A discretization algorithm based on Class-Attribute Contingency Coefficient
Discretization algorithms have played an important role in data mining and knowledge discovery. They not only produce a concise summarization of continuous attributes to help the ...
Cheng-Jung Tsai, Chien-I Lee, Wei-Pang Yang
IVC
2008
142views more  IVC 2008»
13 years 8 months ago
3D-spline reconstruction using shape from shading: Spline from shading
In this work, we propose an original method of resolution of the shape from shading problem, which is accurate and converges with a few iterations. It relies on two simple ideas. ...
Frédéric Courteille, Alain Crouzil, ...
JAR
2008
105views more  JAR 2008»
13 years 8 months ago
Proof Synthesis and Reflection for Linear Arithmetic
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
Amine Chaieb, Tobias Nipkow
JCIT
2008
131views more  JCIT 2008»
13 years 8 months ago
Intelligent Tutoring System: Predicting Students Results Using Neural Networks
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
E. R. Naganathan, R. Venkatesh, N. Uma Maheswari
CSDA
2007
94views more  CSDA 2007»
13 years 8 months ago
Some extensions of score matching
Many probabilistic models are only defined up to a normalization constant. This makes maximum likelihood estimation of the model parameters very difficult. Typically, one then h...
Aapo Hyvärinen