78 search results - page 6 / 16 » Efficient Negation Using Abstract Interpretation |
108
Voted
EWCBR
2004
Springer
15 years 6 months ago
2004
Springer
Textual case-based reasoning (TCBR) provides the ability to reason with domain-specific knowledge when experiences exist in text. Ideally, we would like to find an inexpensive way ...
139
Voted
JMLR
2008
15 years 19 days ago
2008
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...
89
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
A broad class of boosting algorithms can be interpreted as performing coordinate-wise gradient descent to minimize some potential function of the margins of a data set. This class...
85
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--Recent result shows how to compute distributively and efficiently the linear MMSE for the multiuser detection problem, using the Gaussian BP algorithm. In the current wor...
112
Voted
ENTCS
2000
15 years 28 days ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...