• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 69
Next 10 →

Multilevel Schwarz Methods With Partial Refinement

by Hsuanjen Cheng , 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

by Pohsiang Hsu, K. J. Ray Liu, Tsuhan Chen - 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

by Tomasz Borzyszkowski , 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

by A. -m. Matache, Eidgenössische Technische Hochschule, A. -m. Matache - 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

by Chien Wu, Chung-te Li, Cheng-yuan Ko, Chen-han Chung, Liang-gee Chen
"... 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

by Theo Dimitrakos, Juan Bicarregui, Brian Matthews, Tom Maibaum - 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

by Qasim Nasar-ullah
"... 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

by Christian Lipski, Felix Klose, Marcus Magnor
"... 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

by David Borwein, Werner Kratz, Ulrich Stadtmüller
"... 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

by Aalborg Universitet, Karsten Duarte, Marco F. Jensen, Søren Holdt, Karsten Fyhn, Student Member, Marco F. Duarte, Søren Holdt Jensen, Senior Member
"... 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):
Next 10 →
Results 1 - 10 of 69
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University