3690 search results - page 496 / 738 » Computation with classical sequents |
206
click to vote
CGF
2007
15 years 6 months ago
2007
In this paper, a new free-form shape deformation approach is proposed. We combine a skeleton-based mesh deformation technique with discrete differential coordinates in order to cr...
161
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
173
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We relate the notion of matroid pathwidth to the minimum trellis state-complexity (which we term trellis-width) of a linear code, and to the pathwidth of a graph. By reducing from ...
183
click to vote
JMLR
2006
15 years 6 months ago
2006
Sparsity or parsimony of statistical models is crucial for their proper interpretations, as in sciences and social sciences. Model selection is a commonly used method to find such...
172
click to vote
LOGCOM
2008
15 years 6 months ago
2008
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...