2932 search results - page 13 / 587 » Higher order mining |
CGF
2008
14 years 12 months ago
2008
In recent years, a wide range of generalized barycentric coordinates has been suggested. However, all of them lack control over derivatives. We show how the notion of barycentric ...
ENTCS
2006
14 years 11 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
MOC
2002
14 years 11 months ago
2002
Averaging techniques are popular tools in adaptive finite element methods since they provide efficient a posteriori error estimates by a simple postprocessing. In the second paper ...
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
ICC
2000
IEEE
15 years 4 months ago
2000
IEEE
The biggest limitation of Radio over Fiber (ROF) links in a wireless network is its limited dynamic range due to ‘Non Linear Distortions’ (NLD). In this paper a higher orde...