1847 search results - page 57 / 370 » Hybrid Functional Interpretations |
162
click to vote
ENTCS
2007
15 years 5 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
196
click to vote
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
Hybrid processors are HW/SW co-designed processors that leverage blocked-execution, the execution of regions of instructions as atomic blocks, to facilitate aggressive speculative...
151
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- Local convergence is a limitation of many optimization approaches for multimodal functions. For hybrid model learning, this can mean a compromise in accuracy. We develop...
138
click to vote
CAGD
2006
15 years 5 months ago
2006
We suggest a local hybrid approximation scheme based on polynomials and radial basis functions, and use it to modify the scattered data fitting algorithm of [7]. Similar to that a...
159
click to vote
NPL
2000
15 years 5 months ago
2000
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...