Collision-Proof Warning System for Sea-Cross Bridge.

Hong-Tao Chen Hong-Jun Pan Xiao-qiu Yao

Published in: ICFCE (2011)

Keyphrases

collision detection
collision avoidance
linear logic
theorem proving
databases
theorem prover
geometry theorem proving
mathematical proofs
natural deduction
automated theorem proving
learning environment
case study
multimedia
e learning
feature selection
artificial intelligence
machine learning
neural network