ANOSY: approximated knowledge synthesis with refinement types for declassification.
Sankha Narayan GuriaNiki VazouMarco GuarnieriJames ParkerPublished in: PLDI (2022)
Keyphrases
- domain knowledge
- prior knowledge
- data sets
- knowledge acquisition
- knowledge management
- knowledge representation
- neural network
- knowledge transfer
- knowledge sources
- knowledge sharing
- knowledge based systems
- knowledge discovery
- expert systems
- knowledge base
- probabilistic model
- case based reasoning
- artificial neural networks
- high level
- linear combination
- decision making
- computer vision
- knowledge extraction