2119 search results - page 329 / 424 » Structure-Preserving Model Reduction |
108
Voted
KDD
2006
ACM
16 years 3 months ago
2006
ACM
Many applications in text processing require significant human effort for either labeling large document collections (when learning statistical models) or extrapolating rules from...
133
click to vote
KDD
2005
ACM
16 years 3 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
124
Voted
KDD
2004
ACM
16 years 3 months ago
2004
ACM
We use clustering to derive new relations which augment database schema used in automatic generation of predictive features in statistical relational learning. Clustering improves...
131
Voted
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
134
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...