A characterization of the consistent Hoare powerdomains over dcpos.

Zhongxi Zhang Qingguo Li Nan Zhang

Published in: CoRR (2018)

Keyphrases

real time
genetic algorithm
knowledge base
information technology
artificial intelligence
decision making
case study
face recognition
computational complexity
high dimensional
management system
d objects