An Application of Automatic Theorem Proving in Computer Vision
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Steerable Interfaces for Pervasive Computing Spaces
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Artificial Intelligence Review
DMCM: a knowledge-based cost-estimation tool
IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |