423 search results - page 14 / 85 » Specifying Strategies for Exercises |
LPAR
2001
Springer
15 years 2 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
ECIS
2000
14 years 11 months ago
2000
- Effective initiation and execution of IS/T projects and systems has become a critical core competence for many organizations. One key to this is the influence of the senior execu...
AIEDU
2008
14 years 10 months ago
2008
: This paper reports research concerning issues involved in adopting a computational dialectics approach to develop a human-computer dialogue system for educational debate. In part...
WIIW
2001
14 years 11 months ago
2001
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
SGAI
2009
Springer
15 years 4 months ago
2009
Springer
Real-time strategy games share many aspects with real situations in domains such as battle planning, air traffic control, and emergency response team management which makes them a...