A logic-based calculus of events
New Generation Computing
Principles of artificial intelligence
Principles of artificial intelligence
Journal of Symbolic Computation
Modular termination proofs for logic and pure PROLOG programs
Advances in logic programming theory
Proving Termination of General Prolog Programs
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Practical methods for proving termination of general logic programs
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Many representations in early vision can be constructed by performing orientation analysis along several sampling dimensions. Texture is often oriented in space, motion is oriented in space-time, and stereo is oriented in space-disparity. In these modalities, ...