3690 search results - page 135 / 738 » Computation with classical sequents |
TCS
2011
14 years 5 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
118
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
The design of feature spaces for local image descriptors is an important research subject in computer vision due to its applicability in several problems, such as visual classifi...
123
click to vote
QCQC
1998
Springer
15 years 2 months ago
1998
Springer
The quantum Fourier transform (QFT), a quantum analog of the classical Fourier transform, has been shown to be a powerful tool in developing quantum algorithms. However, in classi...
ISPDC
2005
IEEE
15 years 3 months ago
2005
IEEE
Distributed or parallel rule-based systems are currently needed for real applications. The proposed architecture of such a system is based on a wrapper allowing the cooperation bet...
COMPUTING
2007
14 years 10 months 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...