Intertwining query construction and relevance evaluation
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Human memory models and term association
SIGIR '95 Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval
Silk from a sow's ear: extracting usable structures from the Web
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Enhancing a digital book with a reading recommender
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Journal of the American Society for Information Science and Technology
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
The effects of information scent on visual search in the hyperbolic tree browser
ACM Transactions on Computer-Human Interaction (TOCHI)
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
SNIF-ACT: a cognitive model of user navigation on the world wide web
Human-Computer Interaction
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Phase Transition in the Bandwidth Minimization Problem
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Situated agents can have goals
Robotics and Autonomous Systems
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Algorithmic entropy, phase transition, and smart systems
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Using deep structure to locate hard problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
An average-case analysis of branch-and-bound with applications: summary of results
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Clustering at the phase transition
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Exploiting a theory of phase transitions in three-satisfiability problems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Automated personal course scheduling adaptive spreading activation model
ISNN'11 Proceedings of the 8th international conference on Advances in neural networks - Volume Part III
A study of non-Boolean constraints in variability models of an embedded operating system
Proceedings of the 15th International Software Product Line Conference, Volume 2
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
| Hi-index | 0.00 |