2
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- Satisfiability and Completeness of Converse-PDL Replayed -- Optimality Theory through Default Logic -- Towards a...

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... of dynamic image sequences: A theory of signal separation, image segmentation, and optical flow estimation...