313 search results - page 33 / 63 » Redundancy Elimination for LF |
105
click to vote
ISSAC
1997
Springer
15 years 6 months ago
1997
Springer
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...
126
click to vote
PLDI
1993
ACM
15 years 6 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
128
click to vote
ACIVS
2006
Springer
15 years 5 months ago
2006
Springer
Disparity estimation can be used to eliminate redundancy among different views in multi-view video compression to obtain high compression efficiency. However, the problem of high c...
103
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
116
click to vote
IAJIT
2008
15 years 1 months ago
2008
: In this paper, we present an approach for writer identification carried out using off-line Arabic handwriting. Our proposed method is based on the combination of global and struc...