4698 search results - page 93 / 940 » Making Functionality More General |
175
click to vote
SIBGRAPI
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present the Hermite radial basis function (HRBF) implicits method to compute a global implicit function which interpolates scattered multivariate Hermite data (unstructured p...
129
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
132
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
137
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
133
click to vote
GIS
2009
ACM
15 years 7 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...