A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle.
Bernadette Charron-BostMatthias FüggerThomas NowakPublished in: CoRR (2015)
Keyphrases
- initial conditions
- dynamic model
- databases
- convergence speed
- temporal evolution
- iterative algorithms
- convergence rate
- real time
- machine learning
- theorem prover
- theorem proving
- geometry theorem proving
- image processing
- iterative learning control
- linear logic
- cross section
- learning algorithm
- dynamical systems
- hough transform
- mobile robot
- expert systems
- case study