640,729 Hits in 6.4 sec

A Combination Method for Generating Interpolants [chapter]

Greta Yorsh, Madanlal Musuvathi
2005 Lecture Notes in Computer Science  
We present a combination method for generating interpolants for a class of first-order theories.  ...  Using interpolant-generation procedures for individual theories as black-boxes, our method modularly generates interpolants for the combined theory.  ...  In this paper, we provide a novel combination method for generating interpolants for a class of first-order theories.  ... 
doi:10.1007/11532231_26 fatcat:i3tqayqsrvggvk6onjl7b7swji

Curve interpolation and shape modeling via probabilistic nodes combination

Dariusz Jacek Jakóbczak
2014 Vietnam Journal of Computer Science  
The novelty of the paper consists of two generalizations: generalization of previous MHR method with various nodes combinations and generalization of linear interpolation with different (no basic) probability  ...  The proposed method, called probabilistic nodes combination (PNC), is the method of 2D curve interpolation and modeling using the set of key points (knots or nodes).  ...  importance of these points; c) PNC interpolation develops a linear interpolation into other functions as probability distribution functions; d) PNC is a generalization of the MHR method via different  ... 
doi:10.1007/s40595-014-0016-7 fatcat:ylvnj52zqfemrhlkjlbuglfhhm

An indirect interpolation method for Head-Related Transfer Function pole-zero models

Lin Wang, Fuliang Yin, Zhe Chen
2008 Acoustical Science and Technology  
The proposed method gives a promising way for HRTF interpolation.  ...  First, its interpolation performance is independent of the pole-zero approximation method, thus it is a general interpolation method.  ... 
doi:10.1250/ast.29.329 fatcat:332zxzok6vanze7c4twfpaw6hm

Synergetic merging of Cartosat-1 and RAMP to generate improved digital elevation model of Schirmacher oasis, east Antarctica

S. D. Jawak, A. J. Luis
2014 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
Our results indicate that, the overall trend of accuracy for the interpolation methods for generating continuous elevation surface from CartoDEM + RAMPv2 point elevation data, based on RMSE, is as follows  ...  In case of cokriging interpolation methods, OCoK yields more accurate eDEM with the least RMSE of 8.16 m, which can be utilized to generate a highly accurate DEM of the research area..  ...  Figure 4 . 4 Variation of average errors and RMSE values for Cokriging interpolation methods using various dataset combinations.  ... 
doi:10.5194/isprsarchives-xl-8-517-2014 fatcat:cr22d2catnhbdorj7cmrlvt3uy

An Adaptive Weighting Algorithm for Interpolating the Soil Potassium Content

Wei Liu, Peijun Du, Zhuowen Zhao, Lianpeng Zhang
2016 Scientific Reports  
Here we present a method of adaptive weighting combined environmental variables for soil properties interpolation (AW-SP) to improve accuracy.  ...  The experimental results showed that the methods combined with environmental variables did not always improve prediction accuracy even if there was a strong correlation between the soil properties and  ...  In contrast to ordinary interpolation methods (e.g., OK) that attempt to generate one learner from the training data, the ensemble method tries to construct a set of base learners and then to combine them  ... 
doi:10.1038/srep23889 pmid:27051998 pmcid:PMC4823722 fatcat:4jgqtii5jzcflnaefdblebeceq

Smoothly switching method of asynchronous multi-view videos using frame interpolation

Hidehiko Shishido, Aoi Harazaki, Yoshinari Kameda, Itaru Kitahara
2017 2017 3DTV Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON)  
ABSTRACT This paper proposes a method to generate smoothly view-point switching by reducing the flickering artifact observed at Bullet-Time generated from asynchronous multi-view videos using frame interpolation  ...  Therefore, by adapting the proposed method, we generate a bullet time image in which the blur of the observation position of the object is reduced.  ...  (c) This is the result of comparative bright combining processing applied to the interpolated image generated by the proposed method.  ... 
doi:10.1109/3dtv.2017.8280409 dblp:conf/3dtv/ShishidoHKK17 fatcat:2s5svsjw7ffrlggylido46hqyq

Constraint solving for interpolation

Andrey Rybalchenko, Viorica Sofronie-Stokkermans
2010 Journal of symbolic computation  
We propose an algorithm for the generation of interpolants for the combined theory of linear arithmetic and uninterpreted function symbols that does not require a priori constructed proofs to derive interpolants  ...  Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of 'good' and 'bad' states.  ...  Experiments We implemented the presented algorithms in a tool called CLP-Prover. 4 Although the presented algorithms are correct for both rational and real spaces, our implementation handles only rationals  ... 
doi:10.1016/j.jsc.2010.06.005 fatcat:5af5n2wizjetje6y4ujp5okhuy

Interpolation schemes for peptide rearrangements

Marianne S. Bauer, Birgit Strodel, Szilard N. Fejer, Elena F. Koslover, David J. Wales
2010 Journal of Chemical Physics  
variety of methods ͑in total seven͒ comprising different combinations of internal and Cartesian coordinates are tested for interpolation and alignment in connection attempts for polypeptide rearrangements  ...  Checking the potential energy of the interpolated structures can act as a criterion for the choice of the interpolation coordinate system, which reduces failures and connection times significantly.  ...  ACKNOWLEDGMENTS M.B. gratefully acknowledges the Gates Cambridge Trust for financial support.  ... 
doi:10.1063/1.3273617 pmid:20136299 fatcat:bcqatsbso5fcxo26inps4qw3fa

FineNet: Frame Interpolation and Enhancement for Face Video Deblurring [article]

Phong Tran, Anh Tran, Thao Nguyen, Minh Hoai
2021 arXiv   pre-print
Experiments on three real and synthetically generated blurry video datasets show that our method outperforms the previous state-of-the-art methods by a large margin in terms of both quantitative and qualitative  ...  We propose a method that tackles this problem from two directions: (1) enhancing the blurry frames, and (2) treating the blurry frames as missing values and estimate them by interpolation.  ...  Combining enhanced and interpolated frames We use a simple network module to combine the output images from the enhancement and interpolation branches.  ... 
arXiv:2103.00871v1 fatcat:4lgjehjlfnbzbnsd37cgfjgw4a

MSTParser Model Interpolation for Multi-Source Delexicalized Transfer

Rudolf Rosa, Zdeněk Žabokrtský
2015 Proceedings of the 14th International Conference on Parsing Technologies  
We introduce interpolation of trained MSTParser models as a resource combination method for multi-source delexicalized parser transfer.  ...  Evaluation on the HamleDT treebank collection shows that the weighted model interpolation performs comparably to weighted parse tree combination method, while being computationally much less demanding.  ...  In this work, we present a novel method for src information combination, based on interpolation of trained parser models.  ... 
doi:10.18653/v1/w15-2209 dblp:conf/iwpt/RosaZ15 fatcat:bli7tshl7jdqji5gz7djonywky

Online motion generation for mirroring human arm motion

Roman Weitschat, Alexander Dietrich, Jorn Vogel
2016 2016 IEEE International Conference on Robotics and Automation (ICRA)  
In this paper, we combine a low-pass filter and spherical linear interpolation to realize a velocity-limited online trajectory generator for robot orientations in quaternion space.  ...  Furthermore, nonlinear programming methods like e.g. optimal control, or polynomial based methods are widely used for trajectory generation.  ...  Approach -Combining two methods for smooth motion generation in quaternion space. A low-frequency sensor signal is used as input command for the robot.  ... 
doi:10.1109/icra.2016.7487620 dblp:conf/icra/WeitschatDV16 fatcat:bc4l4mof3ncsbm62zx26wd4q4y

A Comparison between Interpolation Methods for More Accurate Elevation Surface Using Gnss And Gis

Farsat Abdulrahman, University of Duhok, Soleiman Foroughi, Sarhat Adam, University of Duhok, University of Duhok
2020 The Journal of The University of Duhok  
All survey points are transferred to Arc GIS environment for generating elevation surfaces and conducting interpolations.  ...  There are three scenarios for achieving this purpose by examining it in three different areas: mild slope area, steep slope area and combined case.  ...  The DEM interpolated values have sensitivity to the interpolation method and one has to be extremely precise when selecting the interpolation method for the generation of DEM.  ... 
doi:10.26682/csjuod.2020.23.2.27 fatcat:74znhcvom5dfnn7wtydcm74dh4

Page 2516 of Mathematical Reviews Vol. , Issue 98D [page]

1998 Mathematical Reviews  
Summary: “A portable package for uniform random number gen- eration is proposed, based on a backbone generator with period length near 2'', which combines four linear congruential genera- tors.  ...  (3-MTRL-I; Montreal, PQ); Andres, Terry H. (3-AECW; Pinawa, MB) A random number generator based on the combination of four LCGs.  ... 

Page 8032 of Mathematical Reviews Vol. , Issue 98M [page]

1998 Mathematical Reviews  
Specif- ically, we prove that the combination generator method is superior to each component random number generator method, in terms of (1) uniformity and (2) independence.”  ...  The functional is associated to some piecewise polynomial function interpolating the points. The proposed method combines the global Method II by R. J. Renka and A. K. Cline [cf. Rocky Mountain J.  ... 

Interpolation-Dependent Image Downsampling

Yongbing Zhang, Debin Zhao, Jian Zhang, Ruiqin Xiong, Wen Gao
2011 IEEE Transactions on Image Processing  
We also devise a content-dependent IDID for the interpolation methods with varying interpolation coefficients.  ...  Traditional methods for image downsampling commit to remove the aliasing artifacts. However, the influences on the quality of the image interpolated from the downsampled one are usually neglected.  ...  (b) Interpolated image generated by the combination of direct downsampling and Bicubic interpolation.  ... 
doi:10.1109/tip.2011.2158226 pmid:21632305 fatcat:7odb3w7xenerzfpirdzkaarttu
« Previous Showing results 1 — 15 out of 640,729 results