11740 search results - page 76 / 2348 » More Problems in Rewriting |
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
Factorization methods use linear subspace constraints to recover 3D rigid structure from 2D motion. Usually, these methods give equal weight to the contribution of each region (or...
104
Voted
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
108
Voted
AWIC
2005
Springer
15 years 6 months ago
2005
Springer
In data integration systems there is a problem of answering queries through a target schema, given a set of mappings between source schemas and the target schema, and given that th...
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
89
Voted
AB
2007
Springer
15 years 4 months ago
2007
Springer
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...