Results 1 - 10
of
69
Multilevel Schwarz Methods With Partial Refinement
, 1994
"... . We consider multilevel additive Schwarz methods with partial refinement. These algorithms are generalizations of the multilevel additive Schwarz methods developed by Dryja and Widlund and many others. We will give two different proofs by using quasi-interpolants under two different assumptions on ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
. We consider multilevel additive Schwarz methods with partial refinement. These algorithms are generalizations of the multilevel additive Schwarz methods developed by Dryja and Widlund and many others. We will give two different proofs by using quasi-interpolants under two different assumptions
A low bit-rate video codec based on two-dimensional mesh motion compensation with adaptive interpolation
- IEEE Trans. Circuits Syst. Video Technol
, 2001
"... Abstract—Visual communication over low bandwidth channels, such as the telephone line, requires high compression. Motion estimation and compensation techniques play an important role in achieving high compression by reducing the temporal redundancy inherent in video sequences. Current video coding s ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
interpolation. However, the assumption of a globally smooth motion field is not valid for most natural occurring scenes, where motion discontinuities exist due to moving objects. In this paper, we propose a post-processing scheme that refines the set of node motion vectors obtained by the 2-D mesh motion
Logical Systems for Structured Specifications
, 2000
"... We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wir 91]. Following Goguen and Burstall, the notion of an underlying logical system over which we build specifications is fo ..."
Abstract
-
Cited by 46 (1 self)
- Add to MetaCart
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wir 91]. Following Goguen and Burstall, the notion of an underlying logical system over which we build specifications
Sparse two-scale FEM for homogenization problems
- In Proceedings of the Fifth International Conference on Spectral and High Order Methods (ICOSAHOM-01) (Uppsala
, 2002
"... We analyze two-scale Finite Element Methods for the numerical solution of elliptic homogenization prob-lems with coefficients oscillating at a small length scale ε 1. Based on a refined two-scale regularity on the solutions, two-scale tensor product FE spaces are introduced and error estimates whic ..."
Abstract
-
Cited by 8 (0 self)
- Add to MetaCart
We analyze two-scale Finite Element Methods for the numerical solution of elliptic homogenization prob-lems with coefficients oscillating at a small length scale ε 1. Based on a refined two-scale regularity on the solutions, two-scale tensor product FE spaces are introduced and error estimates
2D to 3D Conversion for Outdoor Scenes
"... This paper provides 2D to 3D conversion system based on dark channel prior. This method has low computation and high performance on outdoor scene. However traditional dark channel results suffer from noise that generated from wrong assumption to monocular cues. We use scene estimation and cubicsplin ..."
Abstract
- Add to MetaCart
This paper provides 2D to 3D conversion system based on dark channel prior. This method has low computation and high performance on outdoor scene. However traditional dark channel results suffer from noise that generated from wrong assumption to monocular cues. We use scene estimation
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
- in Proceedings of the International Conference of B and Z Users ZB2000
, 2000
"... The B-Method provides a collection of structuring mechanisms which support information hiding, modularisation and compositionality of module operations, although, in order to achieve compositionality and independent (parallel) refinement, sharing is restricted in B. In this paper we elaborate some n ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
, these proof obligations require that the uniform interpolant of the contextual extension axioms is implied by the base context.
A parallel implementation of a derivative pricing model incorporating SABR calibration and probability lookup tablesI
"... We describe a high performance parallel implementation of a derivative pricing model, within which we introduce a new parallel method for the calibration of the industry standard SABR (stochastic-αβρ) stochastic volatility model using three strike inputs. SABR calibration involves a non-linear three ..."
Abstract
- Add to MetaCart
-linear three dimensional minimisation and parallelisation is achieved by incorporating several assumptions unique to the SABR class of models. Our calibration method is based on principles of surface intersection, guarantees convergence to a unique solution and operates by iteratively refining a two
SUBMITTED TO IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY 1 Correspondence and Depth-Image Based Rendering a Hybrid Approach for Free-Viewpoint Video
"... Our main contribution is the formulation of a hybrid approach between image morphing and depth-image based rendering (DIBR). When rendering the scene from novel viewpoints, we use both pixel correspondences between image pairs as well as an underlying, view-dependent geometrical model. Furthermore, ..."
Abstract
- Add to MetaCart
, we present a reconstruction scheme that iteratively refines geometric and correspondence information. By combining the strengths of depth- and correspondence based approaches, our reconstruction and rendering scheme enables free-viewpoint video on challenging scenes which violate basic multi
ONE-SIDED TAUBERIAN THEOREMS FOR DIRICHLET SERIES METHODS OF SUMMABILITY
"... ABSTRACT. We extend recently established two-sided or O-Tauberian results concerning the summability method Dλ,a based on the Dirichlet series ane−λnx to one-sided Tauberian results. More precisely, we formulate one-sided Tauberian conditions, under which Dλ,a-summability implies convergence. Our th ..."
Abstract
- Add to MetaCart
theorems contain various known results on power series methods of summability and, in the so-called high index case we even obtain a new result for such methods. Our method of proof uses asymptotic properties of the Dirichlet series subject to the assumption that an and λn can be interpolated by smooth
for Sparse Translation-Invariant Signals
"... Document Version Early version, also known as pre-print Link to publication from Aalborg University Citation for published version (APA): ..."
Abstract
- Add to MetaCart
Document Version Early version, also known as pre-print Link to publication from Aalborg University Citation for published version (APA):
Results 1 - 10
of
69