1508 search results - page 6 / 302 » A Combination Method for Generating Interpolants |
IJACTAICIT
2010
14 years 4 months ago
2010
A real-time path generation method with Non Uniform Rational B Spline(NURBS) technology in the Computer Aided Design(CAD) field is presented and realized in a five-axis Computer N...
118
click to vote
NA
2010
14 years 8 months ago
2010
In the field of spectral element approximations, the interpolation points can be chosen on the basis of different criteria, going from the minimization of the Lebesgue constant to ...
112
Voted
EMNLP
2004
14 years 11 months ago
2004
We compare and contrast two different models for detecting sentence-like units in continuous speech. The first approach uses hidden Markov sequence models based on N-grams and max...
CADE
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
79
Voted
ICCAD
2010
IEEE
14 years 7 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...