The cost structure of sensemaking
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Automated Software Engineering
The computational complexity of avoiding spurious states in state space abstraction
Artificial Intelligence
Hi-index | 0.00 |