2070 search results - page 262 / 414 » A Reduced-Basis Element Method |
170
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
"Computer Science (CS) Unplugged"is an educational method for introducing non-specialists to concepts of CS through hands-on activities that don't require the use o...
307
click to vote
IPMI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Volumetric registration of brain MR images presents a challenging problem due to the wide variety of sulcal folding patterns. We present a novel volumetric registration m...
173
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
In the context of shape and image modeling by manifold learning, we focus on the problem of denoising. A set of shapes or images being known through given samples, we capture its s...
201
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
206
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...