Sciweavers

639 search results - page 86 / 128
» Engineering intelligent systems on the knowledge formalizati...
Sort
View
AIPS
1998
13 years 10 months ago
How to Solve It Automatically: Selection Among Problem Solving Methods
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
Eugene Fink
WIA
2004
Springer
14 years 2 months ago
Testability of Oracle Automata
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang   School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...
Gaoyan Xie, Cheng Li, Zhe Dang
IUI
2006
ACM
14 years 2 months ago
Fewer clicks and less frustration: reducing the cost of reaching the right folder
Helping computer users rapidly locate files in their folder hierarchies has become an important research topic in today’s intelligent user interface design. This paper reports o...
Xinlong Bao, Jonathan L. Herlocker, Thomas G. Diet...
AAAI
1994
13 years 10 months ago
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
Kenneth D. Forbus, Peter B. Whalley
ICALT
2006
IEEE
14 years 2 months ago
Reusing Learning Resources based on Semantic Web Technologies
Reusing existing web resources for e-learning is a very promising and highly promoted idea in the research field of web-based education, especially for intelligent or adaptive sys...
Sylvain Dehors, Catherine Faron-Zucker