2008 search results - page 186 / 402 » Computing with Equations |
249
Voted
EMMCVPR
2011
Springer
14 years 2 months ago
2011
Springer
The complex wave representation (CWR) converts unsigned 2D distance transforms into their corresponding wave functions. The underlying motivation for performing this maneuver is as...
115
click to vote
CSB
2003
IEEE
15 years 7 months ago
2003
IEEE
We have developed a novel algorithm for protein backbone structure determination using global orientational restraints on internuclear bond vectors derived from residual dipolar c...
123
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
100
Voted
FECS
2006
15 years 4 months ago
2006
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
TVCG
2008
15 years 2 months ago
2008
Abstract-- We present a novel GPU-based algorithm for highquality rendering of bivariate spline surfaces. An essential difference to the known methods for rendering graph surfaces ...