Sciweavers

3735 search results - page 46 / 747
» Order compression schemes
Sort
View
91
Voted
CALCO
2009
Springer
162views Mathematics» more  CALCO 2009»
15 years 7 months ago
Semantics of Higher-Order Recursion Schemes
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
Jirí Adámek, Stefan Milius, Jiri Vel...
CVPR
2010
IEEE
15 years 8 months ago
Multi-domain, Higher Order Level Set Scheme for 3D Image Segmentation on the GPU
Level set method based segmentation provides an efficient tool for topological and geometrical shape handling. Conventional level set surfaces are only C0 continuous since the le...
Ojaswa Sharma, Qin Zhang, Françs Anton, Chandraji...
143
Voted
POPL
2010
ACM
15 years 9 months ago
Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
ECSQARU
2009
Springer
15 years 7 months ago
Local Computation Schemes with Partially Ordered Preferences
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
Hélène Fargier, Nic Wilson
131
Voted
ICIP
2009
IEEE
14 years 10 months ago
Total variation projection with first order schemes
This article proposes a new algorithm to compute the projection on the set of images whose total variation is bounded by a constant. The projection is computed through a dual form...
Mohamed-Jalal Fadili, Gabriel Peyré