2887 search results - page 46 / 578 » Name Generation and Linearity |
180
click to vote
NIPS
2004
15 years 7 months ago
2004
Linear Discriminant Analysis (LDA) is a well-known scheme for feature extraction and dimension reduction. It has been used widely in many applications involving high-dimensional d...
201
click to vote
JMLR
2006
15 years 5 months ago
2006
In recent years, several methods have been proposed for the discovery of causal structure from non-experimental data. Such methods make various assumptions on the data generating ...
167
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
145
click to vote
IJCNN
2007
IEEE
16 years 3 days ago
2007
IEEE
— A piecewise linear network is discussed which classifies N-dimensional input vectors. The network uses a distance measure to assign incoming input vectors to an appropriate clu...
154
click to vote
MKM
2007
Springer
15 years 12 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...