3040 search results - page 307 / 608 » Synergetic Tool Environments |
149
click to vote
KCAP
2005
ACM
16 years 7 days ago
2005
ACM
Current knowledge acquisition tools have limited understanding of how users enter knowledge and how acquired knowledge is used, and provide limited assistance in organizing variou...
189
click to vote
AIED
2005
Springer
16 years 7 days ago
2005
Springer
Interactive drama is increasingly being used as a pedagogical tool in a wide variety of computer-based learning environments. However, the effort required to build interactive dram...
189
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
324
click to vote
ISMDA
2005
Springer
16 years 6 days ago
2005
Springer
New biomedical technologies need to be integrated for research on complex diseases. It is necessary to combine and analyze information coming from different sources: genetic-molecu...
166
click to vote
MKM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...