Duration calculus in COOZ.

Xiaodong Yuan Jiajun Chen Guoliang Zheng

Published in: ACM SIGSOFT Softw. Eng. Notes (1998)

Keyphrases

computer algebra
machine learning
provably correct
database
databases
data structure
artificial neural networks
cardinal directions
proof procedure