3690 search results - page 334 / 738 » Computation with classical sequents |
185
Voted
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
182
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an improved method for decomposing multivariate polynomials. This problem, also known as the Functional Decomposition Problem (FDP) [17, 9, 27], is class...
203
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose Local Binary Pattern Histogram Fourier features (LBP-HF), a novel rotation invariant image descriptor computed from discrete Fourier transforms of local b...
141
click to vote
SIPEW
2009
Springer
16 years 1 months ago
2009
Springer
The M/G/1 queue is a classical model used to represent a large number of real-life computer and networking applications. In this note, we show that, for coefficients of variation o...
166
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...