647 search results - page 100 / 130 » A Geometric Functional for Derivatives Approximation |
137
Voted
SIAMNUM
2010
14 years 7 months ago
2010
A straightforward discretisation of problems in d spatial dimensions often leads to an exponential growth in the number of degrees of freedom. Thus, even efficient algorithms like ...
124
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
119
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
The problem of simultaneous feature extraction and selection, for classifier design, is considered. A new framework is proposed, based on boosting algorithms that can either 1) s...
101
click to vote
CHI
2006
ACM
16 years 1 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
145
click to vote
ETVC
2008
15 years 2 months ago
2008
Computational anatomy is an emerging discipline that aims at analyzing and modeling the individual anatomy of organs and their biological variability across a population. The goal ...