A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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
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
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
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
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
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
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
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
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
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
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
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
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. ...
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. ...
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