Login / Signup
问题框架中问题领域因果行为的形式化验证 (Formal Validation of Causal Behaviors of Problem Domains in Problem Frames Approach).
Lilu Zhu
Zhi Li
Published in:
计算机科学 (2015)
Keyphrases
</>
causal graph
application domains
bayesian networks
moving objects
video frames
human behavior
causal relationships
neural network
real world
computer vision
key frames
directed acyclic graph
formal models
reasoning processes
model validation