Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent Vehicles.
Voichita PopescuMihai BaceSergiu NedevschiPublished in: SYNASC (2011)
Keyphrases
- automated reasoning
- intelligent vehicles
- lane detection
- probabilistic reasoning
- traffic signs
- theorem proving
- knowledge representation
- computer controlled
- hough transform
- theorem prover
- vehicle detection
- bayesian networks
- lane markings
- reasoning tasks
- driver assistance systems
- real time
- first order logic
- feature detection
- belief networks
- constraint satisfaction
- probabilistic model
- probabilistic inference
- programming language
- traffic scenes
- autonomous vehicles
- detection algorithm
- computer vision
- artificial intelligence