3690 search results - page 378 / 738 » Computation with classical sequents |
194
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
178
Voted
CIMAGING
2009
15 years 4 months ago
2009
Color image demosaicking is a key process in the digital imaging pipeline. In this paper, we present a rigorous treatment of a classical demosaicking algorithm based on alternatin...
192
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
This article introduces a best basis search algorithm in a nonstationary (NS) wavelet packets dictionary. It computes an optimized labeled quad-tree that indexes the filters used ...
167
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The paper presents a methodology for the enhanced stiffness analysis of parallel manipulators with internal preloading in passive joints. It also takes into account influ...
180
click to vote
ENDM
2010
15 years 4 months ago
2010
Many inequalities for Mixed-Integer Linear Programs (MILPs) or pure Integer Linear Programs (ILPs) are derived from the Gomory corner relaxation, where all the nonbinding constrai...