Sciweavers

4057 search results - page 506 / 812
» Linear combination of transformations
Sort
View
IEEECGIV
2005
IEEE
16 years 6 days ago
Surface Modelling Using Fourth Order Geometric Flows
We use two fourth order geometric partial differential equations to efficiently solve several surface modelling problems, including the surface blending, the N-sided hole fillin...
Guoliang Xu, Qing Pan
ISCAS
2005
IEEE
137views Hardware» more  ISCAS 2005»
16 years 6 days ago
Direct-digital synthesis using delta-sigma modulated signals
Abstract— A new technique that use of DSM signal in a common technique for dgitally synthesizing an arbitrary waveform, which is generally known as direct-digital synthesis (DDS)...
Yuichiro Orino, Minoru Kuribayashi Kurosawa, Takas...
TPHOL
2005
IEEE
16 years 6 days ago
From PSL to LTL: A Formal Validation in HOL
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
Thomas Tuerk, Klaus Schneider
SC
2005
ACM
16 years 5 days ago
How Well Can Simple Metrics Represent the Performance of HPC Applications?
In this paper, a systematic study of the effects of complexity of prediction methodology on its accuracy for a set of real applications on a variety of HPC systems is performed. R...
Laura Carrington, Michael Laurenzano, Allan Snavel...
COLT
2005
Springer
16 years 5 days ago
Analysis of Perceptron-Based Active Learning
We start by showing that in an active learning setting, the Perceptron algorithm needs Ω( 1 ε2 ) labels to learn linear separators within generalization error ε. We then prese...
Sanjoy Dasgupta, Adam Tauman Kalai, Claire Montele...