Publication
-
Digitized Circular Arcs: Characterization and Parameter Estimation Article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 17(6), 587-598.January 1995
-
January 1995
-
Why combine logics? Tech Report
January 1995
-
The nuclear microprobe used to investigate meteorites Article
Nuclear Instruments and Methods in Physics Research B, 104(1), 395-395.January 1995 -
Secure international payment and information transfer : towards a multi-currency electronic wallet Book
January 1995 -
On termination of constraint logic programs In Proceedings
January 1995 -
Transformation and analysis of (constraint) logic programs Dissertation
Networks and OptimizationJanuary 1995 -
A multimedia constraint system Tech Report
January 1995