199 search results - page 4 / 40 » Higher-Order Critical Pairs |
AGILEDC
2006
IEEE
15 years 5 months ago
2006
IEEE
116
Voted
EUROCAL
1987
15 years 5 months ago
1987
CORR
2010
Springer
14 years 12 months ago
2010
Springer
100
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...
90
Voted
IVC
2006
15 years 1 months ago
2006
When space points and camera optical center lie on a twisted cubic, no matter how many pairs there are used from the space points to their image points, camera parameters cannot b...