313 search results - page 33 / 63 » Redundancy Elimination for LF |
ISSAC
1997
Springer
15 years 4 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...
113
click to vote
PLDI
1993
ACM
15 years 3 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...
109
click to vote
ACIVS
2006
Springer
15 years 3 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...
CADE
2010
Springer
15 years 28 days 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...
IAJIT
2008
14 years 12 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...