Sciweavers

423 search results - page 7 / 85
» Specifying Strategies for Exercises
Sort
View
KES
2004
Springer
15 years 3 months ago
Planning with Recursive Subgoals
In this paper, we introduce an effective strategy for subgoal division and ordering based upon recursive subgoals and combine this strategy with a genetic-based planning approach....
Han Yu, Dan C. Marinescu, Annie S. Wu, Howard Jay ...
IADIS
2004
14 years 11 months ago
WASA: An Intelligent Agent for Web-Based Self-Assessment
WASA is an intelligent self-assessment agent of WADIES, a web-based learning environment which adapts its material to reflect the needs of the individual learner, whether it is fo...
Katerina Georgouli
ASPDAC
2006
ACM
141views Hardware» more  ASPDAC 2006»
15 years 1 months ago
Depth-driven verification of simultaneous interfaces
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
CORR
2011
Springer
241views Education» more  CORR 2011»
14 years 1 months ago
An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
Luis Antonio de Santa-Eulalia, Sophie D'Amours, Je...
ICGA
2006
312views Optimization» more  ICGA 2006»
16 years 10 months ago
New Approximate Strategies for Playing Sum Games based on Subgame Types
In this work we investigate the potential of combining AI tree-search algorithms with the algorithms of combinatorial game theory to provide more efficient strategies for playing s...
Manal Zaky, Cherif Salama, Salma Ghoneim