Sciweavers

2843 search results - page 149 / 569
» Interpolation by geometric algorithm
Sort
View
ISVC
2007
Springer
15 years 9 months ago
Tensor Lines in Tensor Fields of Arbitrary Order
This paper presents a method to reduce time complexity of the computation of higher–order tensor lines. The method can be applied to higher–order tensors and the spherical harm...
Mario Hlawitschka, Gerik Scheuermann, Alfred Anwan...
143
Voted
APLAS
2011
ACM
14 years 3 months ago
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
147
Voted
UIST
1997
ACM
15 years 7 months ago
Interactive Beautification: A Technique for Rapid Geometric Design
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...
Takeo Igarashi, Satoshi Matsuoka, Sachiko Kawachiy...
141
Voted
ACMACE
2005
ACM
15 years 9 months ago
D4MD: deformation system for a vehicle simulation game
This paper presents a hybrid geometrical-physical, plastic deformation technique applicable for solids, in the context of a car simulation game. This technique doesn’t aim to be...
Tiago Rodrigues, Rui Pires, José Miguel Sal...
ICIP
2010
IEEE
15 years 1 months ago
A fast accurate implicit polynomial fitting approach
This paper presents a novel hybrid approach that combines state of the art fitting algorithms: algebraic-based and geometric-based. It consists of two steps; first, the 3L algorit...
Mohammad Rouhani, Angel Domingo Sappa