Sciweavers

2887 search results - page 46 / 578
» Name Generation and Linearity
Sort
View
NIPS
2004
15 years 7 months ago
Two-Dimensional Linear Discriminant Analysis
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...
Jieping Ye, Ravi Janardan, Qi Li
JMLR
2006
125views more  JMLR 2006»
15 years 6 months ago
A Linear Non-Gaussian Acyclic Model for Causal Discovery
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 ...
Shohei Shimizu, Patrik O. Hoyer, Aapo Hyvärin...
FSTTCS
2006
Springer
15 years 9 months ago
Validity Checking for Finite Automata over Linear Arithmetic Constraints
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
Gary Wassermann, Zhendong Su
IJCNN
2007
IEEE
16 years 14 days ago
A Piecewise Linear Network Classifier
— 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...
A. A. Abdurrab, Michael T. Manry, Jiang Li, Sanjee...
MKM
2007
Springer
16 years 8 days ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
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 ...
Predrag Janicic, Alan Bundy