331 search results - page 28 / 67 » HOLCF: Higher Order Logic of Computable Functions |
111
Voted
WSCG
2004
15 years 1 months ago
2004
There are some different methods used for depth perception. In this paper, a new method for the depth perception, by using a single camera based on an interpolation, is introduced...
ISQED
2006
IEEE
15 years 6 months ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...
74
Voted
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, a method to generalize previously proposed Chebyshev Kernel function is presented for Support Vector Classification in order to obtain more robust and higher classi...
COMPUTING
2007
15 years 12 days ago
2007
In this paper, we propose an approach to the computation of more accurate divided differences for the interpolation in the Newton form of the matrix exponential propagator ϕ(hA)v...
83
Voted
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...