157 search results - page 20 / 32 » Interpolation and Symbol Elimination |
124
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
110
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
110
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
105
click to vote
ICIP
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, image processing and symbol processing are bridged with a common framework. A new computational architecture allows arbitrary fixed images to be used as attractors ...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
—In this paper, we propose an efficient selective receiver for space-time block coding (STBC) scheme. In this proposed scheme, we divide the received signals into two groups. By ...