3690 search results - page 96 / 738 » Computation with classical sequents |
TLCA
2001
Springer
15 years 2 months ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...
NIPS
1997
14 years 11 months ago
1997
Prioritized sweeping is a model-based reinforcement learning method that attempts to focus an agent’s limited computational resources to achieve a good estimate of the value of ...
ICANN
2010
Springer
14 years 10 months ago
2010
Springer
Independent Component Analysis (ICA) is a statistical computation method that transforms a random vector in another one whose components are independent. Because the marginal distr...
115
click to vote
VISAPP
2007
14 years 11 months ago
2007
In this paper, we address the problem of robustly recovering several instances of a curve model from a single noisy data set with outliers. Using M-estimators revisited in a Lagran...
101
click to vote
TCS
2010
14 years 8 months ago
2010
We study the following variant of the bin packing problem. We are given a set of items, where each item has a (non-negative) size and a color. We are also given an integer paramet...