997 search results - page 194 / 200 » Learning Rule Representations from Boolean Data |
134
click to vote
TBILLC
2005
Springer
15 years 7 months ago
2005
Springer
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...
112
click to vote
ENTCS
2008
15 years 1 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
133
Voted
TSP
2010
14 years 8 months ago
2010
We propose a variance-component probabilistic model for sparse signal reconstruction and model selection. The measurements follow an underdetermined linear model, where the unknown...
118
Voted
AIME
2007
Springer
15 years 8 months ago
2007
Springer
This paper discusses variable selection for medical decision making; in particular decisions regarding when to provide treatment and which treatment to provide. Current variable se...
126
Voted
WSC
1997
15 years 3 months ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...