An empirical study of algorithms for point-feature label placement
ACM Transactions on Graphics (TOG)
The Unison algorithm: fast evaluation of Boolean expressions
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Specification and Analysis of Real-Time Problem Solvers
IEEE Transactions on Software Engineering
Towards a Method of Searching a Diverse Theory Space for Scientific Discovery
DS '01 Proceedings of the 4th International Conference on Discovery Science
Artificial intelligence for design
Formal engineering design synthesis
A Dynamic Scheduling Benchmark: Design, Implementation and Performance Evaluation
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Can real-time search algorithms meet deadlines?
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Hi-index | 0.00 |