Abstract predicate entailment over points-to heaplets is syntax recognition.
René HaberlandKirill KrinkinSergey IvanovskiyPublished in: FRUCT (2016)
Keyphrases
- recognition rate
- object recognition
- automatic recognition
- monotonicity constraints
- pattern recognition
- recognition algorithm
- recognition accuracy
- high level
- recognition process
- gait recognition
- endpoints
- human activities
- logic programming
- data points
- feature extraction
- convex hull
- image recognition
- visual recognition
- data model
- knowledge base