3143 search results - page 98 / 629 » Minimization of entropy functionals |
107
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
141
Voted
ICCAD
2004
IEEE
16 years 12 days ago
2004
IEEE
— This paper presents Hermes, a depth-optimal LUT based FPGA mapping algorithm. The presented algorithm is based on a new strategy for finding LUTs allowing to find a good LUT ...
122
Voted
3DIM
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe a variation of the iterative closest point (ICP) algorithm for aligning two point sets under a set of transformations. Our algorithm is superior to previous algorithms...
132
Voted
ECML
2007
Springer
15 years 9 months ago
2007
Springer
Conventional classification learning allows a classifier to make a one shot decision in order to identify the correct label. However, in many practical applications, the problem ...
155
Voted
AISC
2004
Springer
15 years 9 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...