Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search.
François SchwarzentruberJin-Kao HaoPublished in: JELIA (2014)
Keyphrases
- region connection calculus
- hand drawn
- spatial information
- search algorithm
- memetic algorithm
- global search
- search space
- differential equations
- delay insensitive
- formal specification
- genetic algorithm
- class diagram
- stochastic local search
- tabu search
- systematic search
- specification language
- reactive systems
- engineering drawings
- hooke jeeves
- solving global optimization problems
- hill climbing
- combinatorial optimization
- evolutionary search
- neighborhood search
- simulated annealing
- sketch recognition
- optimal solution
- case study
- data sets