Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea).
David HarelAssaf MarronAriel RosenfeldMoshe Y. VardiGera WeissPublished in: AAAI (2019)
Keyphrases
- machine learning
- search algorithm
- formal specification
- computer vision
- decision trees
- search strategy
- search efficiency
- search strategies
- machine learning methods
- search space
- information technology
- computer science
- pattern recognition
- learning algorithm
- data analysis
- active learning
- text mining
- keywords
- search methods
- high level
- information retrieval
- neural network