Galois Connecting Call-by-Value and Call-by-Name.
Dylan McDermottAlan MycroftPublished in: FSCD (2022)
Keyphrases
- formal concept analysis
- formal concepts
- galois lattices
- database
- computer vision
- data sets
- sufficient conditions
- artificial intelligence
- machine learning
- pattern recognition
- markov random field
- image processing
- databases
- decision trees
- image segmentation
- support vector
- expert systems
- evolutionary algorithm
- data model
- domain knowledge
- image features