9 search results - page 1 / 2 » Monadic Simultaneous Rigid E-Unification and Related Problem... |
ICALP
1997
Springer
13 years 10 months ago
1997
Springer
ASIAN
1998
Springer
13 years 10 months ago
1998
Springer
We show that rigid reachability, the non-symmetric form of rigid E-unification, is undecidable already in the case of a single constraint. From this we infer the undecidability of ...
RTA
1998
Springer
13 years 10 months ago
1998
Springer
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
ISBI
2004
IEEE
14 years 6 months ago
2004
IEEE
Diffeomorphic non-rigid registration of shapes is a very difficult problem. We use the point-set representation for shapes since statistical shape analysis in this space is relati...
ICCV
2007
IEEE
14 years 3 days ago
2007
IEEE
When trying to extract 3D scene information and camera motion from an image sequence alone, it is often necessary to cope with independently moving objects. Recent research has un...