Novel designated ownership transfer with grouping proof.
Wei Tim LiewKuo-Yu TsaiJia-Ning LuoMing-Hour YangPublished in: DSC (2017)
Keyphrases
- transfer learning
- proof planning
- theorem prover
- grouping algorithm
- theorem proving
- mathematical proofs
- information retrieval
- genetic algorithm
- perceptual organization
- search algorithm
- perceptual grouping
- cross domain
- real time
- training data
- image segmentation
- image processing
- computer vision
- data mining
- neural network