Computer Vision
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
An integrated system that unifies multiple shape from texture algorithms
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
An integrated system that unifies multiple shape from texture algorithms
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...