Keyphrases
- distance function
- reactive systems
- nearest neighbor
- knn
- temporal logic
- similarity search
- model checking
- information flow
- default logic
- distance measure
- distance metric
- euclidean distance
- formal methods
- edit distance
- similarity function
- petri net
- k nearest neighbor
- control flow
- data points
- knn classification
- knowledge representation
- high dimensional
- learning algorithm
- database
- information systems
- real time systems
- databases
- quadratic form